이 페이지는 기계 번역을 사용하여 번역되었습니다. 최신 내용을 영문으로 보려면 여기를 클릭하십시오.
검증(Verification) 및 확인(Validation)
개발 전반에 걸쳐 모델과 코드를 검증하면 구현된 시스템에 대한 신뢰도가 높아집니다. Simulink® Check™, Simulink Design Verifier™, Simulink Test™, 및 Polyspace®는 모델 및 코드 검증 프로세스를 지원합니다. 개발 초기에는 상위 수준의 시스템 모델을 만들고 요구 사항 문서에 연결할 수 있습니다. 시스템 모델은 실행 가능한 사양 및 보다 세부적인 모델을 위한 기초 역할을 할 수 있습니다. 사용자 인터페이스나 플랜트 하드웨어에 연결된 시스템 프로토타입을 실행하여 요구 사항을 검증합니다.
모델 검증에는 표준에 대한 확인, 설계 오류 확인, 속성 증명, 결과가 예상 출력과 일치하는지 확인하기 위한 시뮬레이션 실행이 포함됩니다. 커버리지 측정은 테스트가 모델을 얼마나 광범위하게 실행하는지를 나타냅니다. 생성된 코드에 대해 동일한 테스트를 실행하여 코드-모델 동등성을 입증합니다.
생성되고 손으로 작성된 코드는 비슷한 검증 과정을 따릅니다. 모델 또는 코드 커버리지를 측정하여 코드가 테스트된 정도를 파악합니다. 코드에 오류가 있는지 확인하고, 표준 준수 여부를 확인하고, 코드 메트릭을 분석합니다. 테스트를 추가하고, 시스템을 개선하고, 요구 사항을 개선하여 설계가 완전히 작동하고, 의도치 않은 동작이 나타나지 않으며, 완전히 테스트될 때까지 반복합니다.
도움말 항목
- 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 Perform Software-in-the-Loop Testing
Detect code errors, generate code metrics, test code and model equivalence, test code against requirements.
