我怎么能生成报告和源代码行信息编码规则检查吗?

7视图(30天)
工具:Polyspace Bug仪/ Polyspace代码验证
我想从上面生成的代码规则检查报告工具。
他们工作很好,我可以看到完整的报告Polyspace GUI(当然,我可以看到line-wise违反规则的结果)。
然而,一个 生成的报告文件(HTML等)不包含违反规则的行号。
你能告诉我如何生成这些报告,好吗?

接受的答案

Anirban
Anirban 2019年11月6日
错误发现者报告仅用于归档目的(快照的代码质量维持在特定的里程碑)。看到Polyspace错误的确切位置搜索结果的代码,你必须打开导致Polyspace GUI(或在Eclipse插件如果您使用Eclipse)。
R2019a,新产品Polyspaces manbetx 845错误发现者访问和Polyspace代码验证访问允许团队共同结果托管服务器上,使用web浏览器。如果你是使用HTML报告结果与他人分享,你可以切换到新产品更方便的工作流。在这里看到的细节: //www.tianjin-qmedu.com/help/polyspace_bug_finder_server/gs/polyspace-s manbetx 845products-for-code-analysis-and-verification.html
在Polyspace GUI或新Polyspace错误发现者访问web接口,你的支持功能,如代码导航捷径,历史事件,工具提示,函数调用序列导致缺陷,和其他工具来更好地理解为什么一万博1manbetx个缺陷或违反规则的可能发生。HTML报告只有结果本身不提供这些方便。
1评论
Anirban
Anirban 2020年4月13日
编辑:Anirban 2020年4月13日
从R2020a、报告生成的结果在Polyspace访问一个链接返回结果(详细信息和源代码)Polyspace访问web界面。如果你归档结果的报告,你可以从导致导航档案,进一步导致Polyspace访问接口的细节。

登录置评。

更多的答案(0)