MATLAB的答案

从代码注释Polyspace 2017 b不填充

11视图(30天)
特伦顿福尔摩斯
特伦顿福尔摩斯 2017年11月7日
评论道: 奥利弗•穆勒2019年10月28日
看来Polyspace 2017 b不是阅读自己的pre-jusifications从代码文件。当我从工具的代码复制一个理由,并重新运行分析,我看不到评论预先填充的列。评论出现在“源”窗口中,评论是正确的文件。
如果我使用前面的理由样式,我看到列肾上腺素。
在2017 b, pre-justification看起来像:
/ * polyspace MISRA-C3:7.1[[的][不是一个缺陷]:低)“解释”* /
以前(2016 b)它看起来像:
/ * polyspace < MISRA-C3:7.1:不是缺陷:合理>解释* /
为什么2017 b不正确阅读评论复制直接从Polyspace本身?

在回答这个问题。

答案(2)

Alexandre De Barros
Alexandre De Barros 2017年11月7日
编辑:Alexandre De Barros 2017年11月7日
你好,
我不能重现这个prejustified发表评论。你设置什么地位和严重性侵犯?
这里是一个例子与R2017b理由:
/ * polyspace MISRA-C3:5.3(解决办法:高)“一些评论”* /
事实上,代码注释的格式已经改变了在这个版本中,和更灵活。例如,状态,严重程度和评论现在可选的。和指定的地位和严重性,格式是:
(状态:严重程度)
在你的情况中,它就像你有两个状态。
使用的语法是:
/ * polyspace MISRA-C3:7.1(不是一个缺陷:低)“解释”* /
,如果状态应该设置为“不是一个缺陷”。
新格式的更多信息: //www.tianjin-qmedu.com/help/bugfinder/ug/annotate-and-hide-known-or-acceptable-results.html
亚历克斯
4评论
显示3年长的评论
奥利弗•穆勒
奥利弗•穆勒 2019年10月28日
像这样被发现一个错误在Polyspace: //www.tianjin-qmedu.com/support/bugreports/details/179万博1manbetx9794

登录置评。

漂煮锅
漂煮锅 2018年5月15日
我也有这个问题。“添加Pre-Justification生成的文本到剪贴板”是不可接受的语法Polyspace承认。
剪贴板的文本不工作:
/ * polyspace MISRA-C3:2.5[合理:低]“未来调试使用。”* /
…和here's the manually modified syntax that does work:
/ * polyspace < MISRA-C3:2.5:低:合理>未来调试使用。* /
这个语法匹配文档的问题是:为什么不添加Pre-Justification剪贴板生成正确的语法吗?
2的评论
显示1年长的评论
漂煮锅
漂煮锅 2018年5月16日
谢谢你的信息。所以总结:
——有一个新的格式生成的“添加Pre-Justification”这违反必须在同一行。
——成功的旧格式应用于线仍承认2017 b。
我的理解正确吗?
谢谢。
漂煮锅。

登录置评。