Simulink Coverage

모델 및 생성된 코드의 테스트 커버리지 측정

Simulink Coverage™는 모델 및 생성된 코드에 대한 테스트의 완전성을 측정하는 모델 및 코드의 커버리지 분석을 수행합니다. 이 제품은 결정 커버리지, 조건 커버리지, MC/DC(변경 조건/결정 커버리지), 관계 경계 커버리지와 같은 업계 표준 측정법을 적용하여 모델, 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를 통해 업계 표준 역시 지원 가능합니다.

시작하기:

모델 및 코드 커버리지 측정

시뮬레이션 중에 실행되는 모델 요소 및 C/C++ 코드를 측정하여 테스트의 완전성을 평가할 수 있습니다.

모델 커버리지

테스트의 효율성과 완전성을 평가하기 위해 시뮬레이션 테스트가 실제 설계를 얼마나 반영하고 있는지 측정할 수 있습니다. 요구 사항 기반 테스트 중에 수집된 커버리지를 분석하여 불충분한 테스트에서 빠진 부분이 있는지 누락된 요구 사항이 있는지, 또는 의도하지 않은 기능이 있는지 파악할 수 있습니다.

코드 커버리지

Embedded Coder로 생성된 코드의 SIL(software-in-the-loop) 및 PIL(processor-in-the-Loop) 테스트 또는 S-Function을 사용해 Simulink 모델 내에서 호출된 코드, Stateflow® 차트 및 C Caller 블록 내 사용자 지정 코드에 대한 커버리지를 측정할 수 있습니다.

C Caller 블록에서 호출된 코드의 커버리지 보기.

커버리지 측정법

결정, 조건, MC/DC, 관계 경계, 신호 범위를 비롯한 다양한 측정법에 대한 모델 및 코드의 커버리지를 측정할 수 있습니다.

MC/DC를 포함한 각종 커버리지 측정법 중에서 선택할 수 있습니다.

결과 검토 및 리포트 생성

여러 시뮬레이션 실행에 걸쳐 커버리지 결과를 축적하고 보고받을 수 있습니다. 누락된 커버리지를 보완할 수 있습니다.

축적된 커버리지 결과 관리 및 확인

여러 시뮬레이션의 커버리지를 누적할 수 있습니다. 단위 테스트에서 달성된 시스템 테스트 커버리지를 볼 수 있습니다.

단위 테스트 및 시스템 테스트에 대해 커버리지 결과를 분석합니다.

커버리지 리포트 생성

선택한 측정법에 대해 누적된 커버리지 결과를 포함하는 상세한 리포트를 생성할 수 있습니다. 모델 요소 및 테스트의 요구 사항 추적성에 대한 세부 정보를 확인할 수 있습니다.

커버리지 리포트에서 요구 사항 추적성 데이터를 확인합니다. 

누락된 커버리지 보완

모델에는 완전한 테스트 커버리지를 막는 구문이 있을 수 있습니다. 커버리지 기록 및 보고에서 이러한 구문을 필터링하면 누락된 커버리지 중에서 테스트할 수 있고 테스트해야 하는 부분에 집중할 수 있습니다.

Filter Editor에서 커버리지 필터 규칙을 추가합니다.