Main Content

검증 및 확인(V&V), 테스트

모델 기반 설계를 이용한 임베디드 시스템 확인 및 검증

체계적인 검증을 통해 설계가 요구 사항을 정확하게 구현하고 테스트가 이러한 요구 사항을 완전히 충족한다는 확신을 높일 수 있습니다. 개발 초기에 하이 레벨 시스템 모델을 만들고 시스템 요구 사항에 연결할 수 있습니다. 이 시스템 모델을 더 상세한 모델을 위한 실행 가능한 사양이자 기반으로 삼을 수 있습니다.

이러한 MathWorks® 제품을 사용해서 다음을 수행하여 모델 기반 설계를 보완할 수 있습니다.

  • 아키텍처, 설계, 테스트 및 코드로 요구 사항을 추적합니다.

  • 설계가 요구 사항을 충족하며 치명적인 런타임 오류가 없다는 사실을 확인합니다.

  • 표준 준수 여부를 점검하고 모델과 코드의 품질을 측정합니다.

  • 데드 로직을 식별하고 테스트 케이스를 생성하여 누락된 커버리지를 해결합니다.

  • 리포트와 아티팩트를 생성하고 설계가 표준을 준수하는지 확인합니다.

또한 다음을 수행하여 MATLAB® 소프트웨어 개발을 지원할 수 있습니다.

  • 요구 사항을 작성하고 테스트 및 코드에 연결.

  • 동적 테스트를 실행하여 코드 기능의 회귀 모니터링.

  • 산업 표준 코드 커버리지 메트릭을 사용하여 테스트되지 않은 코드 경로 식별.

Workflow using Model-Based Design: Start by establishing system requirements and architecture, then component requirements and architecture. Continue with unit design, implementation, and testing. Next, perform integration testing at the component level followed by embedded testing. Finish with integration and testing at the system level.

도움말 항목

요구 사항 정의하기

요구 사항을 설계에 연결하기

설계 결함 식별 및 제거하기

요구 사항 기반 테스트 수행하기

코드 기반 모델 테스트 및 검증 수행하기