Main Content

验证、确认和测试

使用基于模型的设计验证和确认嵌入式系统

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

使用这些产品来补充基于模型的设计,您可以:

  • 从需求追溯到架构、设计、测试和代码。

  • 确认您的设计符合需求且不存在严重的运行时错误。

  • 检查合规性并测量模型和代码的质量。

  • 识别死逻辑并生成测试用例来解决缺失覆盖率。

  • 生成报告和工件,并验证您的设计是否满足合规性标准。

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.

主题

定义需求

将需求与设计相关联

识别并消除设计缺陷

执行基于需求的测试

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