万博1manbetxSimulink设计验证者

确定设计错误，证明要求合规性并生成测试

万博1manbetx^®设计验证器™用途正式方法确定模型中隐藏的设计错误。它检测到模型中的块，从而导致整数溢出，死亡逻辑，数组访问违规和零分割。它可以正式验证设计是否满足功能要求。对于每个设计错误或违反要求，它会生成用于调试的模拟测试案例。

万博1manbetxSimulink设计验证者生成模型覆盖率和自定义目标的测试用例，以扩展现有的基于需求的测试用例。这些测试用例推动您的模型以满足条件，决策，修改条件/决策（MCDC）和自定义覆盖目标。除了覆盖目标外，您还可以指定自动测试目标以自动生成基于需求的测试用例。