검증, 테스트 및 인증

파라미터 조정, 코드 성능 분석, 수치적 동등성 테스트, 코드 커버리지 분석 및 추적성 분석 수행

시스템 개발을 위해 V-모델 지속적 검증 방식을 사용하십시오.

하위 컴포넌트의 신속 프로토타이핑을 위해, 실시간 외부 시뮬레이션을 실행하여 타깃 애플리케이션에서 신호를 모니터링하고 모델 파라미터를 조정합니다.

코드 실행 프로파일링을 사용하여 생성된 코드가 타깃 하드웨어의 실시간 요구 사항을 충족하는지 확인하고 성능 개선이 필요한 코드 섹션을 파악합니다.

생성된 코드가 다음과 같은지 확인하십시오.

모델과 생성된 코드 간의 수치적 동등성을 테스트하여 모델이 올바르게 구현되었는지 확인합니다.
- 참조 모델과 같은 시스템, 컴포넌트 및 하위 컴포넌트의 경우 SIL/PIL 관리자 상위 모델, Model 블록 또는 테스트 하네스 워크플로를 사용합니다.
- Atomic Subsystem과 같은 하위 컴포넌트의 경우 SIL/PIL 관리자와 함께 Simulink^® Test™ 하네스를 사용하여 Atomic Subsystem에서 생성된 코드에 대한 단위 테스트를 수행합니다. 자세한 내용은 Configure and Run PIL Simulation 항목을 참조하십시오.
모델 커버리지와 코드 커버리지를 비교하거나 추적성 분석을 수행하여 의도하지 않은 기능이 포함되지 않도록 합니다. SIL 및 PIL 시뮬레이션을 구성하여 코드 커버리지 메트릭을 생성하십시오. 모델 객체와 생성된 코드 간의 양방향 추적성을 제공하는 리포트를 생성하십시오.

Embedded Coder^® 외에도 Requirements Toolbox™, Simulink Test, Polyspace^® 제품 등 다른 제품을 사용하여 코드 검증을 수행할 수 있습니다.

카테고리