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에서 커버리지 필터 규칙을 추가합니다.

최신 기능

요구 사항 기반 테스트에 대한 커버리지

Simulink Test의 Test Manager 내 연결된 요구 사항에 대한 모델 커버리지범위 확인

복수의 커버리지 필터 관리

결과에 여러 커버리지 필터 적용

요구사항부터 테스트 케이스까지의 추적성

Simulink Test Manager에서 커버리지 리포트 생성 시 각 Simulink 블록에 대한 Simulink Requirements 링크 및 커버리지 세부 사항 보기

단위 테스트부터 시스템 테스트 커버리지까지 누적

커버리지 리포트의 새로운 Aggregated Tests 섹션에서 단위 테스트로부터 누적된 시스템 테스트 커버리지 보기

커버리지 결과의 테스트 케이스 추적성

커버리지 결과를 Simulink Test Manager 및 Coverage Results Explorer의 관련 시뮬레이션을 통해 추적

Simulink 툴스트립의 Coverage 앱

새로운 Simulink 툴스트립에서 모델 강조 표시, 커버리지 세부 사항, 리포트 생성 등 자주 쓰이는 커버리지 기능에 사용

위 기능과 해당 함수의 자세한 내용은 릴리스 정보를 참조하십시오.

ISO 26262 프로젝트에 Simulink를 사용하는 방법

자동차 성능 시험장으로 가기 훨씬 전에 Simulink의 모델 기반 설계로 광범위한 주행 조건과 오류 시나리오를 적용해 임베디드 자동차 시스템을 설계하고 테스트할 수 있는 방법에 대해 알아보십시오.