Simulink Coverage는 모델 및 생성된 코드에 대한 테스트의 완전성을 측정하는 모델 및 코드의 커버리지 분석을 수행합니다. 이 제품은 결정 커버리지, 조건 커버리지, MCDC(수정 조건/결정 커버리지), 관계적 경계 커버리지와 같은 산업 표준 메트릭을 적용하여 모델, SIL(Software-in-the-Loop) 및 PIL(Processor-in-the-Loop)에 대한 시뮬레이션 테스트의 유효성을 평가합니다. 누락된 커버리지 데이터를 사용하면 테스트의 미비점, 누락된 요구사항 또는 의도하지 않은 기능 등을 찾아낼 수 있습니다.
Simulink Coverage는 모델, C/C++ S-Function, MATLAB 함수 및 Embedded Coder에 의해 생성된 코드에서 실행된 부분이 얼마나 되는지를 보여주는 대화형 방식의 리포트를 생성합니다. 커버리지 결과를 블록과 서브시스템에 강조 표시하여 테스트의 미비점을 시각화할 수 있습니다. 테스트 완전성을 평가하려는 경우 여러 번의 테스트 실행을 통해 커버리지 데이터를 축적하고 단위 테스트 및 시스템 테스트를 통해 달성된 커버리지를 확인할 수 있습니다. 커버리지 결과는 요구사항 및 테스트로 추적될 수 있습니다. 필터를 적용하여 커버리지에서 특정 블록을 제외하여 리포트의 누락된 커버리지에 대해 정당성을 명시할 수도 있습니다.
DO Qualification Kit 및 IEC Certification Kit를 통해 산업 표준 지원이 가능합니다.
모델 커버리지
테스트의 유효성과 완전성을 평가하기 위해 시뮬레이션 테스트가 실제 설계를 얼마나 다루고 있는지 측정할 수 있습니다. 요구사항 기반 테스트 중에 수집된 커버리지를 분석하여 테스트에서 미비점이 있는지, 누락된 요구사항이 있는지, 또는 의도하지 않은 기능이 있는지 파악할 수 있습니다.
코드 커버리지
Embedded Coder를 통해 생성된 코드나 Simulink 모델 내부로부터 호출된 코드의 SIL(Software-in-the-Loop) 및 PIL(Processor-in-the-Loop) 테스트에 대해 커버리지를 측정할 수 있습니다.
누적 커버리지 결과 관리
여러 시뮬레이션의 커버리지를 누적할 수 있습니다. 단위 테스트에서 달성된 시스템 테스트 커버리지를 볼 수 있습니다.
커버리지 메트릭
결정, 조건, MCDC, 관계적 경계, 신호 범위를 비롯한 다양한 메트릭에 대한 모델 및 코드 커버리지를 측정할 수 있습니다.
누락된 커버리지 보완
방어적 모델링 패턴 등 전체 테스트 커버리지를 방지하는 모델 구문을 필터링하여 설계의 다른 부분을 테스트하는 데 집중할 수 있습니다.