主要内容

关于系统模型验证的应用动态仿真模块设计验证器

动态仿真模块®设计验证器™帮助您执行系统的模型验证，以识别隐藏的设计错误，证明属性，并为功能测试生成测试用例。Simulink设计验证器使用正式的方法测试设计正确性，以增加对生产代码生成使用的设计模型的信心。

您可以为以下场景执行系统模型验证:

  • 开发的应用程序基于模型的设计，在那里您执行设计验证，以演示模型满足功能需求，并且不包含意想不到的功能。

  • 分析用于控制软件的设计模型的子集。对于开环控制分析，形式化验证被广泛用于设计模型的严格测试。

  • 根据需求迭代验证您的模型，检查设计错误，并在设计周期的早期和整个设计过程中执行功能测试。

  • 孤立的小组件的系统验证和单元级测试，或用于集成设计模型的系统级测试。

何时使用Simulink设计验证器

考虑一个参与设计控制系统的控制工程师。在设计周期中，控制工程师根据系统需求创建设计模型。在整个开发过程中，工程师:

  • 识别并消除隐藏的设计错误

  • 根据需求测试模型

  • 执行模型和代码覆盖分析，以确认测试的完整性

  • 通过使用测试生成和死逻辑检测解决缺失覆盖

  • 执行基线测试和等价测试

Simulink设计验证器支持这些模型和代码验证过程。它与要求工具箱™，仿真软件覆盖™，模型检查™,仿真软件测试™实现模型和代码的验证。

在基于模型的设计工作流中使用Simulink设计验证器

模型验证包括检查标准，检查设计错误，证明属性，以及为覆盖率分析生成测试用例。

与Simulink设计验证器，你可以:

  • 识别隐藏的设计错误，例如整数溢出或除零，并生成反例来调试未预期的功能。您还可以从分析中证明或排除模型对象。

  • 根据需求验证模型需求的工具箱．

  • 实现模型覆盖(仿真软件覆盖)通过生成满足模型覆盖目标的测试用例。

  • 执行代码覆盖率(嵌入式编码)通过为Embedded Coder生成的代码生成测试用例进行分析®．

  • 扩展现有的测试用例并实现缺失的覆盖。

  • 将测试用例与仿真软件测试执行基线测试和等价测试。

  • 支持行业标准通过IEC认证套件(适用于iec61508及iso26262)及DO资格套件(- 178)。

的功能Simulink设计验证器在验证和验证工作流的各个阶段。

有关设计错误检测和测试生成的快速介绍，请参见在控制器模型中检测设计错误而且为简化的巡航控制模型生成测试用例．

要了解更多关于Simulink设计验证器分析,看到检测和解决bug，生成测试，证明模型中的属性,回顾分析结果．

创建分析结果报表

您还可以生成报告并查看分析结果。有几种方法可以检查分析结果:

  • 通过突出显示模型上的结果，可以一目了然地回顾分析结果。

  • 创建一个测试工具模型来模拟测试用例或调试反例。

  • 生成一个模型覆盖率报告。

  • 在“模拟数据检查器”中查看生成的测试。

  • 生成一个HTML或PDF报告，其中包含关于分析结果的详细信息。

相关的话题

Baidu
map