Simulink Verification and Validation

구성요소 테스트

Simulink Verification and Validation은 하나 이상의 참조된 모델, 서브시스템 또는 모델의 atomic 서브차트를 분석 및 시뮬레이션하기 위한 API를 제공합니다. 모든 구성요소 테스트 기능은 명령행에서 사용할 수도 있고 MATLAB® 스크립트에 통합할 수도 있습니다.

하네스 모델 생성

하네스 모델 생성 기능을 사용하면 더 큰 제어 시스템 모델에서 참조한 atomic 서브시스템 또는 모델을 분리하고 이를 추출하여 추가 테스트와 분석을 위한 하네스 모델로 생성할 수 있습니다. 개발 중인 구성요소의 완전한 테스트를 수행하려는 경우나 나머지 시스템 모델을 시뮬레이션에 사용할 수 없는 경우 하네스 모델을 사용할 수 있습니다.

하네스 모델 생성 기능은 복잡하고 깊이 중첩된 버스를 포함한 루트 레벨 입력과 출력에 대한 인터페이스 구성을 자동화합니다. 외부 데이터 저장소 같은 서브시스템 종속성은 하네스에 통합되어 새 모델 입력과 연결됩니다. 또한 모든 필요한 신호 라벨링과 연결은 테스트 대상 구성요소의 속성과 일치하도록 자동으로 수행됩니다.

데이터 로깅, 가져오기 및 작성

데이터 로깅 기능을 사용하여 폐루프 시뮬레이션 중에 입력 신호를 캡처하고 로깅된 테스트 벡터를 하네스 모델의 시뮬레이션에 재사용할 수 있습니다. 기반 데이터 형식이 Simulink Design Verifier™와 호환되므로 Simulink Design Verifier에 제공된 테스트 생성 기능을 사용하여 테스트 케이스를 추가로 생성할 수 있습니다.

하네스 모델을 생성할 때 모델 하네스 생성 기능을 통해 로깅된 데이터를 포함하고 이를 Signal Builder 블록으로 가져와서 편집할 수 있습니다.

Signal Builder 블록이 포함된 하네스 블록을 디버깅 및 상세 분석에 사용할 수 있습니다. Simulink Signal Builder 블록을 사용하면 그래픽을 통해 테스트 벡터를 편집하고 스프레드시트 문서에서 기존 테스트 데이터를 가져올 수 있습니다.

Workflow in Simulink Verification and Validation utilizing component testing functions to augment tests done on the control system model and to verify the model and code in the simulation.
Simulink Verification and Validation을 이용한 구성요소 테스트 작업 흐름. 제품 내에 있는 구성요소 테스트 기능을 활용하여 제어 시스템 모델에서 수행한 테스트를 보완하고 시뮬레이션에서 모델과 코드를 검증하는 식으로 작업 흐름이 진행됩니다.

테스트 실행

테스트 실행 기능을 사용하여 시뮬레이션, SIL 및 PIL 모드에서 모델과 생성된 코드에 대해 테스트 케이스를 자동으로 실행할 수 있습니다. SIL 및 PIL 모드를 사용하려면 Embedded Coder가 필요합니다.

추가 분석을 위해 구성요소 테스트 결과를 Data Inspector로 가져올 수 있습니다. 테스트 실행 기능은 테스트 완전성에 관한 추가 정보를 수집하기 위해 모델 커버리지 및 코드 커버리지 툴에 통합됩니다.

요구 사항과 테스트 연결

Signal Builder 창의 Requirements 창을 통해 Signal Builder의 테스트 케이스를 기능 요구 사항 및 테스트 계획 같은 외부 문서에 연결할 수 있습니다. 또한 개별 테스트 케이스에 어설션을 할당하여 합격/불합격 결과를 자동으로 분석할 수 있습니다.

Using the Simulink Signal Builder block to link test cases with verification blocks and requirements.
] Simulink Signal Builder 블록을 사용하여 테스트 케이스를 검증 블록 및 요구 사항과 연결. Verification block settings 창과 Requirements 창이 표시됩니다.
다음: 모델 커버리지 분석

평가판 사용 Simulink Verification and Validation

평가판 신청

Best Practices for DO-178 Compliant Software using Model-Based Design

온라인 세미나 보기