How can I reduce the number of orange warnings in my Ada verification when using Polyspace Client for Ada?
1 次查看(过去 30 天)
显示 更早的评论
When I ran the PolySpace verification for my code with precision 2, PolySpace found 800 orange warnings in my application. I then ran the verification for the same code with precision 3, hoping to reduce the number of orange warnings, but I found exactly the same number of orange warnings.
采纳的回答
MathWorks Support Team
2009-7-30
The number of orange warnings depends strongly on the code. Here are a few coding suggestions to reduce the number of orange warnings:
- Initialize variables at declaration time
- Use constrained types (subtypes and not standard types)
- Minimize use of "use at" clauses
- Minimize use of address
- Minimize use of unchecked_conversion
- Minimize use of big and complex types (such as record of record and array of record)
- Minimize use of volatile variables
- Use operator "<" or ">" in conditions instead of "/="
0 个评论
更多回答(0 个)
另请参阅
类别
在 Help Center 和 File Exchange 中查找有关 Verification Mode 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!