Simulink设计验证程序

Simulink公司^®Design Verifier™设计验证程序使用形式化方法识别模型中隐藏的设计错误。它检测块导致整数溢出、死逻辑、数组访问冲突和除法的模型乘以零。它可以正式验证设计是否满足功能要求。对于每个设计错误或违反要求，它会为生成模拟测试用例调试。

Simulink公司设计验证人为模型覆盖和自定义目标生成测试用例以扩展基于现有需求的测试用例。这些测试用例使您的模型满足条件、决策、修改的条件/决策（MCDC）和自定义覆盖目标。在除了覆盖率目标之外，您还可以将自定义测试目标指定为自动生成基于需求的测试用例。

可通过以下方式获得对行业标准的支持国际电工委员会认证工具包（适用于IEC 61508和ISO 26262）和执行鉴定工具包（适用于DO-178）。