金宝app仿真软件设计验证器使用正式的方法来识别隐藏的设计模型中的错误。它检测块模型中,导致整数溢出,死去的逻辑,数组访问违规,除零。它可以正式验证设计满足功能需求。对于每一个设计错误或违反要求,它生成一个模拟的测试用例进行调试。
金宝app仿真软件设计验证器为模型生成测试用例覆盖率和定制的目标来扩展现有的基于需求的测试用例。这些测试用例驱动模型,以满足条件,决定,修改条件/决定(MCDC)和自定义覆盖的目标。除了覆盖目标,您可以指定自定义测试目标自动生成基于需求的测试用例。
金宝app支持行业标准可以通过IEC认证工具包(ISO 26262和IEC 61508)做资格工具包(- 178和- 254)做。
运行时检测和诊断错误
在运行模拟之前,你可以检测运行时和建模错误,包括整数溢出,除零,数组越界,低于正常的价值观,和浮点错误以及数据有效性错误。
分析了测试覆盖率
增强和扩展现有的手动创建的测试用例覆盖率和地址不完整模型生成的代码覆盖率和C / c++代码从仿真软件模块和调用Stateflow图表。金宝app
产品资源:
”,使我们能够迅速分析需求,重用以前的设计产品,并消除手动编码错误,基于模型的设计减少了开发时间和使我们缩短时间表来满足客户的需求。”下载188bet金宝搏
MyoungSuk Ko, LS汽车
