Simulink Verification and Validation

모델 커버리지 분석

Simulink Verification and Validation은 논리적 조건, 스위치, 룩업 테이블 보간 간격 및 서브시스템 같은 설계의 테스트되지 않은 요소를 나타내는 모델 커버리지 보고서를 생성합니다. HTML 문서 형식으로 생성되는 이러한 보고서에는 구조적 커버리지에 대한 업계 표준 메트릭이 사용됩니다. 또한 모델에 대한 커버리지 정보를 표시하므로 모델에서 누락된 커버리지를 자세히 살펴보고 연결된 요구 사항으로 이동할 수 있습니다. 그런 다음 요구 사항, 테스트 케이스 또는 설계를 커버리지 목표에 맞게 수정해야 할지 여부를 결정할 수 있습니다.

Model coverage report for a group of test cases run in simulation.
시뮬레이션에서 실행된 테스트 케이스 그룹에 대한 모델 커버리지 보고서

Simulink Verification and Validation은 8가지 모델 커버리지 분석 메트릭을 제공합니다.

순환 복잡도(Cyclomatic Complexity)는 모델에서 생성된 코드에 대한 McCabe 복잡도 측정값의 근사치를 구해서 모델의 구조적 복잡도를 측정합니다.

결정 커버리지(Decision Coverage)는 Simulink Switch 블록 및 Stateflow 상태 같은 모델의 결정 지점을 나타내는 항목을 검사합니다.

조건 커버리지(Condition Coverage)는 논리 블록 및 Stateflow 전환 같은 입력의 논리적 결합을 출력하는 블록을 검사합니다.

수정 조건(Modified Condition)/결정 커버리지(Decision Coverage)(MC/DC)는 RTCA DO-178B의 정의에 따라 안정성이 필수적인 소프트웨어를 분석하고 논리 입력이 출력을 개별적으로 변경했는지 여부를 결정합니다.

룩업 테이블 커버리지(LUT: Lookup Table Coverage)는 각 보간 간격의 사용 빈도를 기록합니다. 테스트 케이스는 각 보간 및 보외 간격을 한 번 이상 실행하면 전체 커버리지를 달성합니다.

신호 범위 커버리지(Signal Range Coverage)는 시뮬레이션 중에 각 블록 출력에 의해, 그리고 모든 Stateflow 데이터 객체에 대해 생성된 최소치와 최대치를 나타냅니다.

신호 크기 커버리지(Signal Size Coverage)는 모델의 모든 가변 크기 신호에 대한 최소치, 최대치 및 할당된 크기를 기록합니다. 가변 크기 출력 신호가 포함된 블록만 보고서에 포함됩니다.

Simulink Design Verifier 커버리지(Simulink Design Verifier Coverage)는 Simulink Design Verifier 블록과 함수에 대한 모델 커버리지 데이터를 기록합니다.

평가판 사용 Simulink Verification and Validation

평가판 신청

Connecting Simulink with Other Simulation Frameworks

온라인 세미나 보기