金宝app仿真软件设计验证器
识别设计错误，证明需求遵从性，并生成测试
金宝appSimulink设计验证™使用正规的方法模型来识别隐藏设计错误。它检测在导致整数溢出，死逻辑，数组访问违规，并除以零的模型块。它可以正式确认其设计符合功能要求。对于每个设计错误或要求违反时，它产生一个模拟测试案例进行调试。
金宝appSimulink设计验证器为模型覆盖和自定义目标生成测试用例，以扩展现有的基于需求的测试用例。这些测试用例驱动您的模型来满足条件、决策、修改条件/决策(MCDC)和自定义覆盖目标。除了覆盖目标之外，您还可以指定自定义测试目标来自动生成基于需求的测试用例。
金宝app可以通过以下方式获得对行业标准的支持IEC认证工具包(适用于iec61508及iso26262)及做资格工具包(- 178)。
开始:
死逻辑
查找你的模型对象无法模拟和生成的代码执行过程中被激活。 |
查看模型中的死逻辑。
安全要求
验证按照正式定义的安全要求，你表达你使用的行为设计MATLAB®Si金宝appmulink和Stateflow。
使用Simulink表达需求。金宝app
改进的死逻辑报告
在“结果检查器”窗口中查看死逻辑的可能原因，包括短路和条件执行
并行测试用例验证
使用并行计算来验证测试用例或反例
公共汽车元素支持金宝app
分析包含在总线单元或输出总线单元块顶级车型
特定的参数
分析配置为使用引用模型的实例特定参数的模型
输入范围设计错误检查
检测几种类型的查找表块、多端口开关块和cordic配置的三角函数块的输入范围违规
证明设计错误
分析迭代工作流程后，创建设计错误检查过滤器和规则的理由
查看发行说明有关这些功能和相应功能的详细信息。
