정적 분석과 동적 테스팅을 위한 Polyspace 단일 플랫폼
MathWorks Korea 유용출 Application Engineer
다양한 국제 표준이나 자동차 OEM, 국방 기관에서의 요구 사항들을 만족하기 위해 정적 분석이나 동적 테스팅을 기반한 검증 과정은 필수적입니다. 이 과정에는 MISRA, CERT와 같은 코딩 규칙, 각종 결함 등을 검사하는 것과 Statement Coverage, MCDC와 같은 커버리지 등을 확인하는 것을 포함합니다.
본 세션에서는 정적 분석과 동적 테스팅을 하나의 Polyspace® 플랫폼에서 효율적으로 수행할 수 있는 방안을 소개합니다.
- 정적 분석과 동적 테스팅을 위한 Polyspace 단일 플랫폼 소개
- 정적 분석과 동적 테스팅의 연계
게시 날짜: 2025년 5월 6일
추천 제품
