我怎样才能减少橙色警告我的Ada验证当使用Ada Polyspace客户吗?

2视图(30天)
当我跑的PolySpace验证代码与精度2,PolySpace发现800年橙色警告在我的应用程序。然后我跑的验证与精度3相同的代码,希望减少橙色警告,但是我发现完全相同数量的橙色警告。

接受的答案

MathWorks支金宝app持团队
橙色警报的数量很大程度上取决于代码。这里有一些编码建议减少橙色预警:
——在声明时初始化变量
使用约束类型(亚型和不是标准类型)
——减少使用“使用”条款
——减少使用的地址
——使用unchecked_conversion最小化
减少使用大型和复杂类型(如记录的记录和数组记录)
——使用volatile变量最小化
——使用操作符“<”或“>”条件,而不是“/ = "

更多的答案(0)

类别

找到更多的在故障诊断在为Ada Polyspace产品下载188bet金宝搏帮助中心文件交换

下载188bet金宝搏


释放

R2009a

社区寻宝

找到宝藏在MATLAB中央,发现社区如何帮助你!

开始狩猎!