Simulink Design Verifier

验证需求

在开始设计之前,检查已建模的需求的一致性和完整性。

检测运行时和诊断错误

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

查找死逻辑

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

分析测试覆盖率缺失

增强和扩展现有手动创建的测试用例,以解决不完整的模型覆盖率以及从 Simulink 模块和 Stateflow 图中调用的生成代码和 C/C++ 代码的覆盖率。

验证形式安全需求

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

创建基于需求的测试用例

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

“基于模型的设计支持快速分析需求,重用以前产品的设计,并消除手动编码错误,从而减少了开发时间,使我们能够缩短工期以满足客户的需要。”

MyoungSuk Ko,LS Automotive