仿真软件设计验证器

识别设计错误,证明合规要求,并生成测试

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

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