MATLAB的答案

Polyspace错误发现者报告没有行号显示

34视图(30天)
康生黄
康生黄 2019年11月19日
编辑: Anirban 2023年3月27日
我看见从bugfinder从生成的xml文件。rpt,表不显示行号在源代码缺陷产生的原因。我在code_prover运行另一个类似的报告生成开发人员。rpt显示行号。
如何实现类似与行号表代码验证报告?
顺便说一下我用r2013b matlab

在回答这个问题。

答案(1)

Anirban
Anirban 2019年11月21日
编辑:Anirban 2023年3月27日
错误发现者报告仅用于归档目的(快照的代码质量维持在特定的里程碑)。看到Polyspace错误的确切位置搜索结果的代码,你必须打开导致Polyspace GUI(或在Eclipse插件如果您使用Eclipse)。
R2019a以来,新产品Polyspace访问允许团队来看看常见结果托管服务器上,使用web浏览器。如果你是使用HTML /文字/ PDF报告结果与他人分享,你可以切换到新产品更方便的工作流。在这里看到的细节:
在Polyspace GUI或新Polyspace访问web界面,你的支持功能,如代码导航捷径,历史事件,工具提示,函数调用序列导致缺陷,和其他类似的工具来万博1manbetx更好地理解为什么一个缺陷或违反规则的可能发生。HTML报告只有结果本身不提供这些方便。
如果您使用的是运行分析:这些产品之一s manbetx 845
  • Polyspace错误发现者服务器
  • Polyspace代码验证服务器
和需要看到行号报告,请联系您的MathWorks代表。
3评论
显示2年长的评论
康生黄
康生黄 2019年11月28日
是的,这个过程中,我们需要的细节而不是概述。与Polyspace绝对是用户更容易追溯问题的根源,而不是归档的目的。
我希望BugFinder报告输出必须清晰,并且有相似CodeProver报告输出。
MISRA-C-report有另一个问题。从BugFinder xml是不可读的,我不能使用脚本分析内容
Capture.PNG

登录置评。