检测除以零错误

发布的家伙卷轴,2011年8月2日,

(30天)| 89年视图0喜欢|0评论

不是很好如果你能分析仿真软件模型,并证明它永远不会遇到设计部门的零和溢出错误?金宝appMATLAB R2011a以来,这是可能的!

这个星期,我的朋友Nishaat Vasi介绍的这个新特性金宝app仿真软件设计验证器

检测设计与仿真软件设计校验错误金宝app

Nishaat Vasi客座博客,除以零检测器想象开车的新原型测试轨道上以每小时100英里的速度在嵌入式设计中除零错误造成不必要的传播转向第一个齿轮。甚至是一个汽车爱好者不会想要试车跑道司机在这种情况下!这些错误在设计逻辑和数学操作可以很容易地发现在你不需要广泛的测试或模拟运行仿真软件模型。金宝app

考虑一小部分的控制器模型的输入总线我在MATLAB中定义的工作区:

控制器实例模型

这个模型模拟好为我组输入InBus声明,但我想确保它不会引起任何动态执行错误。我使用了新发现设计错误选择的金宝app仿真软件设计验证器如下:

检测设计错误

工具强调模型的分析结果使它更容易调试潜在问题:

总结设计检测

对于每个块与一个错误(红色),金宝app仿真软件设计验证器计算范围边界和生成测试向量,再现了误差仿真。使用这个测试用例对我来说轻松多了找出组输入导致一个错误和工程师防御机制来避免这种情况。你可能会注意到,绿色突出表明,块不会产生一个设计违反。设计错误检测包括死去的逻辑,整数溢出,除零,违反设计属性和断言。这个信息可以用来改进设计及其需求或指导模拟调试和验证。

概述视频仿真软件设计的验证器(1:5金宝app0)

这个新的R2011a特性可以节省你大量的时间,精力,和金钱在调试设计错误——甚至在运行模拟!

现在轮到你了

你觉得设计错误检测功能?你遇到这样的设计错误在过去吗?离开我们这里的评论。