关于使用 Simulink Design Verifier 进行系统模型验证
Simulink® Design Verifier™ 可帮助您执行系统性模型验证,以识别隐藏的设计错误、证明属性并生成用于功能测试的测试用例。Simulink Design Verifier 使用形式化方法来测试设计正确性,从而增加对产品代码生成使用的设计模型的信心。
您可以针对以下场景执行系统性模型验证:
使用基于模型的设计开发的应用程序,您可以在其中执行设计验证以证明模型满足功能需求并且不包含非预期功能。
分析用于控制软件的设计模型的子集。对于开环控制分析,形式化验证广泛用于设计模型的严格测试。
根据需求以迭代方式验证您的模型,检查设计错误,并在设计周期的早期和整个设计过程中执行功能测试。
对孤立的小型组件进行系统性验证和单元级测试,或对集成设计模型进行系统级测试。
何时使用 Simulink Design Verifier
假设有一位参与设计控制系统的控制工程师。在设计周期中,这位控制工程师根据系统需求创建设计模型。在整个开发过程中,这位设计师:
识别并消除隐藏的设计错误
根据需求测试模型
执行模型和代码覆盖率分析以确认测试完整性
通过使用测试生成和死逻辑检测来消除缺失的覆盖率
执行基线和等效性测试
Simulink Design Verifier 支持这些模型和代码验证过程。它与 Requirements Toolbox™、Simulink Coverage™、Simulink Check™ 和 Simulink Test™ 相集成,以实现模型和代码验证。
在基于模型的设计工作流中使用 Simulink Design Verifier
模型验证包括检查模型是否符合标准,是否存在设计错误,证明属性以及生成用于覆盖率分析的测试用例。
使用 Simulink Design Verifier,您可以:
识别隐藏的设计错误,例如整数溢出或除以零,并生成反例来调试非预期功能。您还可以对模型对象进行申述或将模型对象排除在分析之外。
使用 Requirements Toolbox 根据需求验证模型。
通过生成满足模型覆盖率目标的测试用例来实现模型覆盖率 (Simulink Coverage)。
通过为 Embedded Coder® 生成的代码生成测试用例来执行代码覆盖率 (Embedded Coder)分析。
扩展现有测试用例并实现缺失覆盖率。
将测试用例与 Simulink Test 相集成,以执行基线和等效性测试。
通过 IEC Certification Kit (for IEC 61508 and ISO 26262) 和 DO Qualification Kit (for DO-178) 支持行业标准。
下列工作流图演示了 Simulink Design Verifier 在验证和确认工作流各个阶段的功能。
有关设计错误检测和测试生成的快速简介,请参阅检测控制器模型中的设计错误和为简化巡航控制模型生成测试用例。
要了解有关 Simulink Design Verifier 分析的详细信息,请参阅检测并消除 Bug、生成测试、Prove Properties in a Model 和 查看分析结果。
创建分析结果报告
您还可以生成报告并查看分析结果。有几种方法可以查看分析结果:
通过在模型上突出显示结果,一目了然地查看分析结果。
创建测试框架模型以对测试用例进行仿真或调试反例。
生成模型覆盖率报告。
在仿真数据检查器中查看生成的测试。
生成包含有关分析结果的详细信息的 HTML 或 PDF 报告。