Simulink Design Verifier

重要更新

 

Simulink Design Verifier

识别设计错误、证明需求合规及生成测试

 

Simulink Design Verifier™ 使用形式化方法来识别模型中隐藏的设计错误。检测模型中导致整数溢出、死逻辑、数组访问越界和被零除的块。可以形式化验证设计符合功能需求。对于每个设计错误或需求违规,会生成一个仿真测试用例以供调试。

Simulink Design Verifier 可以生成测试用例用于满足模型覆盖率和自定义目标来扩展已有的基于需求的测试用例。这些测试用例使您的模型满足条件、决策、修改的条件/决策 (MCDC),以及自定义覆盖率目标。除了满足覆盖目标外,还可以指定自定义的测试目标来自动化产生基于需求的测试用例。

Simulink Design Verifier 中的 Model Slicer 工具可以隔离模型中的问题行为。您可以查看影响子系统输出的块,并通过多个开关和逻辑跟踪信号路径。

通过 IEC Certification Kit(符合 ISO 26262 和 IEC 61508)和 DO Qualification Kit(符合 DO-178),可提供对行业标准的支持。

设计错误检测

在仿真之前发现模型中的设计错误,包括运行时错误、诊断错误和死逻辑。

运行时和诊断错误

在运行仿真之前,您可以检测运行时和建模错误,包括整数溢出、被零除、数组越界、次正常值、浮点错误以及数据有效性错误。 

在仿真之前捕获运行时错误。

死逻辑

查找模型中在仿真和执行生成的代码时无法激活的对象。

查看模型中的死逻辑。

测试用例生成

生成动态仿真的测试用例,以实现结构和功能覆盖的目标。

通过测试用例增加覆盖范围

增强和扩展现有手动创建的测试用例,以解决不完整的模型覆盖。

基于需求的测试用例

从系统需求模型生成测试用例。

用于 C/C++ 代码的测试用例

生成测试用例以增加生成的代码以及从 Simulink® 模块和 Stateflow® 中调用的 C/C++ 代码的覆盖率。

为调用 C 代码的模型生成测试。

基于需求的验证

验证使用 MATLAB、Simulink 和 Stateflow 表示的形式需求。

安全需求

验证您的设计是否符合使用 MATLAB®、Simulink 和 Stateflow 表达的形式化定义的安全需求。

使用 Simulink 表达需求。

简化复杂设计的调试

使用 Model Slicer 工具隔离模型中有问题的行为。Model Slicer 使用动态和静态分析的组合来追踪依赖关系。

隔离有问题的行为

突出显示关注区域并指定相关的时间间隔,以生成用于调试的简化切片模型。

简化可变模型

使用 Variant Reducer 为有效配置的子集生成简化模型。

简化部署模型

在您完全验证主可变模型后,使用 Variant Reducer 为有效配置的子集生成简化模型。所有相关文件和变量依赖项也会减少。减少的工件打包在一个单独的文件夹中,以便与客户及合作伙伴轻松部署和共享。

创建简化模型。

最新功能

改进浮点分析

削弱包含单精度和双精度浮点运算的模型的理想逼近

导出-函数模型支持

通过自动创建可调用模型函数的调度程序,分析和生成模型的测试

Stateflow 自定义代码支持

分析和生成测试用于Stateflow里的C/C++设计

C 函数模块支持

为模块中的 C/C++ 代码分析和生成测试

浮点设计错误检测

检测是否出现非有限、NaN 和低于正常的浮点值

Model Slicer

利用快速重启来简化模型调试工作流程

关于这些功能和相应函数的详细信息,请参阅 发行说明

如何将 Simulink 用于 ISO 26262 项目

了解在您前往试验场之前,如何使用 基于模型设计通过Simulink 在各种驾驶条件和故障场景中设计和测试您的整个嵌入式汽车系统。      

获取免费试用版

30 天探索触手可及。

马上下载

准备购买?

获取详细价格和并探索相关产品。

您是学生吗?

获得 MATLAB 和 Simulink 学生版软件。

了解更多