在使用PolySpace客户端的ADA时,如何减少我的ADA验证中的橙色警告数量?

9次观看(过去30天)
当我用精度2对我的代码进行了PolySpace验证时,PolySpace在我的应用中找到了800个橙色警告。然后我用精度3对同一代码进行了验证,希望减少橙色警告的数量,但我发现了完全相同数量的橙色警告。

接受答案

Mathworks支金宝app持团队
橙色警告的数量强烈取决于代码。以下是一些编码建议,以减少橙色警告的数量:
- 在声明时间初始化变量
- 使用受限类型(子类型而不是标准类型)
- 最大限度地减少“在”条款中的使用
- 最大限度地减少地址的使用
- 最大限度地使用Unchecked_conversion的使用
- 最大限度地减少使用大而复杂类型(例如记录和记录数组)
- 最大限度地减少挥发性变量的使用
- 在条件下使用操作员“<”或“>”而不是“/ =”

更多答案(0)

下载188bet金宝搏


发布

R2009A.

社区宝藏狩猎

找到Matlab Central中的宝藏,并发现社区如何帮助您!

开始狩猎!