万博1manbetxSimulink设计验证程序
识别设计错误，证明需求符合性，并生成测试
万博1manbetxSimulink Design Verifier™使用形式化方法识别模型中隐藏的设计错误。它检测模型中导致整数溢出、死逻辑、数组访问违规和被零除法的块。它可以正式验证设计满足功能需求。对于每个设计错误或需求违背，它生成一个模拟测试用例用于调试。
万博1manbetxSimulink Design Verifier为模型覆盖率和自定义目标生成测试用例，以扩展现有的基于需求的测试用例。这些测试用例驱动您的模型满足条件、决策、修改的条件/决策（MCDC）和自定义覆盖率目标。除了覆盖率目标之外，您还可以指定自定义测试目标以自动生成基于需求的测试用例。
万博1manbetx可通过以下途径获得对行业标准的支持：IEC认证工具包（适用于ISO 26262和IEC 61508）和DO资格鉴定套件（适用于DO-178和DO-254）。
开始：
死的逻辑
在模型中查找在模拟和执行生成的代码时无法激活的对象。 |
查看模型中的死逻辑。
安全要求
验证您的设计行为是否符合您所表达的正式定义的安全需求MATLAB®、S万博1manbetximulink和Stateflow。
简化部署模型
在完全验证主变异体模型之后，使用Variant Reducer为有效配置的子集生成一个简化模型。所有相关的文件和变量依赖关系也减少了。简化后的工件被打包在一个单独的文件夹中，便于与客户和合作伙伴进行部署和共享。
创建简化模型。
检测系统对象的错误
在Simulink中使用系统对象检测错误，生成测试，或证明MATLAB代码的属性万博1manbetx
检测违反高完整性系统建模(HISM)指南的情况
检查是否存在特定的HISM冲突，例如作为平方根块的数学函数
启用快速死逻辑检查
在投入计算时间执行详尽的分析之前，首先运行部分失效逻辑检查，以调试在设计时间附近发现的错误
母线元件支架万博1manbetx
分析包含“内总线元素”或“外总线元素”块的顶级模型
改进的死逻辑报告
在“结果检查器”窗口中查看死机逻辑的可能原因，包括短路和条件执行
并行测试用例验证
使用并行计算来验证测试用例或反例
看到发布说明有关这些功能和相应功能的详细信息。
