Main Content

验证、确认和测试

验证和确认嵌入式系统

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

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

主题

定义需求

将需求与设计相关联

识别并消除设计缺陷

执行基于需求的测试

执行基于代码的测试和验证