有可能使替代品在Polyspace预处理器指令的代码验证R2019b吗?

8视图(30天)

显示旧的评论

MathWorks支万博1manbetx持团队 2020年2月19日

0
链接

这个问题直接联系

//www.tianjin-qmedu.com/matlabcentral/answers/506341-is-there-a-possibility-to-make-replacements-in-preprocessor-directives-in-polyspace-code-prover-r201

回答: MathWorks支万博1manbetx持团队 2020年2月19日

答:接受 MathWorks支万博1manbetx持团队

我有一个问题关于宏定义:

是否可以覆盖一个特殊的值由宏来定义另一个验证行为?

在下面的例子中,我想操纵CONSTANT_A并将其设置为0虽然是在代码中设置为2。我的目标是迫使验证分析也else-path不碰代码。

                         #包括< stdio . h >
                        
                         #定义CONSTANT_A (2)
                        
                         #如果(CONSTANT_A ! = 0)
                        
                         #定义MY_MACRO (_var) {_var = 0;}
                        
                         #其他的
                        
                         #定义MY_MACRO (_var) {_var = 1;}
                        
                         #endif
                        
                         int主要(空白)
                        
                         {
                        
                         int = 10;
                        
                         int b = 20;
                        
                         int res = a + b;
                        
                         MY_MACRO (res);
                        
                         返回0;
                        
                         }