检测和解决bug
检测运行时错误和逻辑错误,调试设计中的问题
金宝app®设计验证器™使用形式化方法识别模型中难以发现的设计错误,而不需要大量的测试或模拟运行。检测到的设计错误包括运行时错误,如整数溢出、除零、违反设计断言以及指示不可能发生的操作条件的逻辑错误。你使用金宝appSimulink设计验证器突出显示模型中包含设计错误的块和已证明没有设计错误的块。对于每个有错误的块,计算信号范围边界并生成在模拟中重现错误的测试向量。
类别
- 检测和处理运行时错误
发现设计错误,生成反例 - 检测和处理逻辑错误
使用死逻辑检测来识别模型中的逻辑错误