검증 및 확인(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.

검증 및 확인(V&V), 테스트 관련 제품

Requirements Toolbox

Author, link, and validate requirements for designs and tests

Simulink Check

설계 품질 측정, 검증 활동 추적, 표준 준수 확인

Simulink Coverage

Measure test coverage in models and generated code

Simulink Design Verifier

Identify design errors, prove requirements compliance, and generate tests

Simulink Fault Analyzer

Model faults and analyze effects

MATLAB Test

Develop, manage, analyze, and test MATLAB applications

Simulink Test

Develop, manage, and execute simulation-based tests

Polyspace Bug Finder

Identify software bugs via static analysis

Polyspace Code Prover

Prove the absence of run-time errors in software

Polyspace Test

Develop, manage, and execute tests for C and C++ code in embedded systems

Polyspace Access

코딩 결함 식별, 정적 분석 결과 검토, 소프트웨어 품질 메트릭 모니터링

도움말 항목

요구 사항 정의하기

Author Requirements in MATLAB or Simulink (Requirements Toolbox)
Create requirements and define the requirement hierarchy with MATLAB or Simulink^®.
Import Requirements from Third-Party Applications (Requirements Toolbox)
Import requirements from external documents and requirements management tools.

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

Test Model Against Requirements and Report Results (Requirements Toolbox)
Associate your model with detailed requirements, demonstrate traceability, test against requirements.
Link Test Cases to Requirements (Requirements Toolbox)
Associate Simulink Test™ test cases with requirements.
Track Requirement Links with a Traceability Matrix (Requirements Toolbox)
Track and manage links and change issues by using traceability matrices.
Validate Requirements by Analyzing Model Properties (Requirements Toolbox)
Validate requirements that are modeled as properties for a control system.
Link MATLAB Code to Requirements (Requirements Toolbox)
Associate requirements with MATLAB code and plain-text external code, such as C code.

설계 결함 식별 및 제거하기

Analyze Models for Design Errors (Simulink Design Verifier)
Run a Design Error Detection Analysis and interpret the results.
Analyze Models for Standards Compliance and Design Errors (Simulink Check)
Detect and resolve design errors, check against standards, analyze functional dependencies, and prove properties.

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

Requirements-Based Testing for Model Development (Simulink Test)
Test an autopilot system against requirements.
Verify Requirements in Projects with MATLAB Tests (MATLAB Test)
Verify requirements in projects by running linked MATLAB tests.
Use Specification Models for Requirements-Based Testing (Simulink Design Verifier)
Follow a systematic approach to verify your design model against requirements. (R2022b 이후)
Perform Functional Testing and Analyze Test Coverage (Simulink Coverage)
Analyze functional dependencies, test model components in isolation, create suites of test cases, test models, and code to achieve coverage.
Fix Requirements-Based Testing Issues (Simulink Check)
Fix model testing quality issues by using the Model Testing Dashboard.
Assess Requirements-Based Testing for ISO 26262 (Simulink Check)
Use the Model Testing Dashboard to analyze the completeness and quality of requirements-based testing activities in accordance with the ISO 26262 standard.

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

Analyze Code and Perform Software-in-the-Loop Testing (Simulink Check)
Detect code errors, generate code metrics, test code and model equivalence, test code against requirements.
Generate C/C++ Code and Test for Equivalence (MATLAB Test)
Generate C/C++ code from MATLAB code and verify that the execution of the generated code and MATLAB code are equivalent.
Integrate Polyspace with MATLAB and Simulink (Polyspace Bug Finder)
Integrate Polyspace^® with MATLAB and Simulink to identify potential bugs, run-time errors, and coding standard violations in your model and code.
Run Polyspace Analysis on Code Generated with Embedded Coder (Polyspace Bug Finder)
Check code generated with Embedded Coder^® for bugs, run-time errors or coding rule violations.