Polyspace代码验证结果分析了一半

3视图(30天)
你好,
polyspace代码验证结果分析也不够,因为大部分的函数去灰色的代码,并进一步我没有发现红/绿传递。
似乎我的其他项目,但是这个即使相同的配置不是。
我可以得到一些关于这个指针。

接受的答案

Anirban
Anirban 2018年10月4日
你的意思是颜色的灰色的代码指示遥不可及的代码或代码不分析(没有颜色)?
在这两种情况下,如果你的代码不是分析,它通常意味着你有一个问题相当高的程序中的函数调用层次结构。例如,你可以有一个无限循环的主要功能和大多数函数调用发生在无限循环。在这种情况下,所有这些函数的身体不会分析。可以有很多其他原因代码不是分析代码验证。看文档 检查代码的原因
为更多的帮助与你的特定情况下,您可能想要联系MathWorks技术支持。金宝app
1评论
身为理发师对冲基金
身为理发师对冲基金 2018年10月5日
嘿,
谢谢你的回复,
在跟踪函数调用层次结构在主函数,我发现主函数调用的是空的(代码编写)。因此,我和Polyspace主要生成方法的方法,它可以覆盖所有提供的函数调用模块。

登录置评。

更多的答案(0)