万博1manbetx^®设计验证器™使用正式的方法在模型识别隐藏的设计错误。它检测块模型中,导致整数溢出,死去的逻辑,数组访问违规,除零。它可以正式验证设计满足功能需求。对于每一个设计错误或违反要求,它生成一个模拟的测试用例进行调试。

万博1manbetx仿真软件设计验证器为模型生成测试用例覆盖率和定制的目标来扩展现有的基于需求的测试用例。这些测试用例驱动模型,以满足条件,决定,修改条件/决定(MCDC)和自定义覆盖的目标。除了覆盖目标,您可以指定自定义测试目标自动生成基于需求的测试用例。

万博1manbetx支持行业标准可以通过IEC认证工具包(IEC 61508和ISO 26262)做资格工具包(- 178)。