이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.

검증(Verification) 및 확인(Validation)

Simulink 제품을 사용하여 모델 및 코드 테스트, 설계 오류 확인, 표준 확인, 커버리지 측정, 시스템 검증

개발 전반에 걸쳐 모델과 코드를 검증하면 구현된 시스템에 대한 신뢰도가 높아집니다. Simulink^® Check™, Simulink Design Verifier™, Simulink Test™ 및 Polyspace^®는 모델 및 코드 확인 프로세스를 지원하는 데 도움이 됩니다. 개발 초기에 높은 수준의 시스템 모델을 생성하고 요구 사항 문서에 연결할 수 있습니다. 시스템 모델은 보다 상세한 모델을 위한 실행 가능한 사양 및 기초 역할을 할 수 있습니다. 사용자 인터페이스 또는 플랜트 하드웨어에 연결된 시스템 프로토타입을 실행하여 요구 사항을 검증합니다.

모델 검증에는 표준 검사, 설계 오류 검사, 속성 증명, 결과가 예상 출력과 일치하는지 입증하기 위한 시뮬레이션 실행이 포함됩니다. 커버리지 측정은 테스트가 모델을 얼마나 광범위하게 실행하는지 나타냅니다. 생성된 코드에 대해 동일한 테스트를 실행하여 코드-모델 동등성을 입증합니다.

생성되고 직접 작성된 코드는 유사한 확인 프로세스를 따릅니다. 모델 또는 코드 커버리지를 측정하여 코드가 테스트되는 범위를 결정합니다. 코드에 오류가 있는지 확인하고, 표준 준수 여부를 확인하고, 코드 메트릭을 분석하세요. 설계가 완벽하게 작동하고, 의도하지 않은 동작을 보여주지 않고, 완벽하게 테스트될 때까지 테스트를 추가하고, 시스템을 개선하고, 요구 사항을 개선합니다.

Workflow for high-level verification and validation tasks

도움말 항목

Test Model Against Requirements and Report Results
Associate your model with detailed requirements, demonstrate traceability, test against requirements.
Analyze Models for Standards Compliance and Design Errors
Detect and resolve design errors, check against standards, analyze functional dependencies, and prove properties.
Perform Functional Testing and Analyze Test Coverage
Analyze functional dependencies, test model components in isolation, create suites of test cases, test models, and code to achieve coverage.
Analyze Code and Test Software-in-the-Loop
Detect code errors, generate code metrics, test code and model equivalence, test code against requirements.