simulink design verifier 产品信息 -凯发k8网页登录

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

simulink design verifier 可以生成测试用例以满足模型覆盖率和自定义目标，从而扩展现有的基于需求的测试用例。这些测试用例有助于您的模型满足条件覆盖率、决策覆盖率、修正条件/决策覆盖率 (mcdc) 以及自定义覆盖率目标。除了满足覆盖率目标外，您还可以指定自定义的测试目标来自动生成基于需求的测试用例。

配合 iec certification kit (for iso 26262 and iec 61508) 和 do qualification kit (for do-178 and do-254)，可实现对行业标准的支持。