验证、确认和测试

验证和确认嵌入式系统

系统化验证让您更有信心，确保设计准确地实现您的需求，并且测试可充分地执行那些需求。在开发的早期阶段，您可以创建一个高级系统模型并链接到系统要求。系统模型可以作为更详细模型的可执行规范和基础。

通过使用这些 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.

适用产品: 验证、确认和测试

Requirements Toolbox

编写、链接和验证设计和测试的需求

Simulink Check

测量设计质量、跟踪验证活动并验证是否符合标准

Simulink Coverage

测量模型和生成代码中的测试覆盖率

Simulink Design Verifier

识别设计错误，证明需求符合要求并生成测试

Simulink Fault Analyzer

Model faults and analyze effects

MATLAB Test

Develop, manage, analyze, and test MATLAB applications

Simulink Test

开发、管理和执行基于仿真的测试

Polyspace Bug Finder

通过静态分析标识软件 Bug

Polyspace Code Prover

证明软件中不存在运行时错误

Polyspace Test

在嵌入式系统中开发、管理与执行 C 和 C++ 代码测试

Polyspace Access

识别编码缺陷、审查静态分析结果并监控软件质量度量

主题

定义需求

MATLAB 或 Simulink 中的作者需求 (Requirements Toolbox)
创建需求并使用 MATLAB 或 Simulink^® 定义需求层次结构。
从第三方应用程序导入需求 (Requirements Toolbox)
从外部文档和需求管理工具导入需求。

将需求与设计相关联

根据需求测试模型并报告结果 (Requirements Toolbox)
将您的模型与详细需求联系起来，展示可追溯性，并根据需求进行测试。
将测试用例链接到需求 (Requirements Toolbox)
将 Simulink Test™ 测试用例与需求相关联。
使用可追溯性矩阵跟踪需求链接 (Requirements Toolbox)
使用可追溯性矩阵来跟踪和管理链接和变更问题。
通过分析模型属性来验证需求 (Requirements Toolbox)
验证作为控制系统属性建模的需求。
MATLAB 代码的需求可追溯性 (Requirements Toolbox)
将需求与MATLAB代码和纯文本外部代码（例如 C 代码）关联起来。

识别并消除设计缺陷

分析模型中的设计错误 (Simulink Design Verifier)
运行设计错误检测分析并解释结果。
Analyze Models for Standards Compliance and Design Errors (Simulink Check)
Detect and resolve design errors, check against standards, analyze functional dependencies, and prove properties.

执行基于需求的测试

基于需求的模型开发测试 (Simulink Test)
根据需求测试自动驾驶仪系统。
Verify Requirements in Projects with MATLAB Tests (MATLAB Test)
Verify requirements in projects by running linked MATLAB tests.
使用规范模型进行基于需求的测试 (Simulink Design Verifier)
按照系统的方法根据需求验证您的设计模型。 (自 R2022b 起)
执行功能测试并分析测试覆盖率 (Simulink 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.
将 Polyspace 与 MATLAB 和 Simulink 集成 (Polyspace Bug Finder)
将 Polyspace^® 与 MATLAB 和 Simulink 集成，以标识模型和代码中潜在的 Bug、运行时错误以及编码标准违规。
对通过 Embedded Coder 生成的代码运行 Polyspace 分析 (Polyspace Bug Finder)
检查通过 Embedded Coder^® 生成的代码是否存在 Bug、运行时错误或编码违规情况。