我们正在使用 PC-Lint 对我们的来源进行代码检查，以确保其符合 MISRA-2004。由于这是一个与安全相关的项目，并且我们正准备获得 TUV 的证书，因此我们需要证明我们对该工具的信心（他们不接受诸如“我多次使用它”之类的东西）。
我们的目标是拥有一套完整的负面测试，通过破坏 MISRA-2004 集的每个规则并强制工具产生错误或警告来检查工具。
是否有人已经这样做了，您愿意分享您的结果/C 代码吗？
问问题
795 次
3 回答
2
我不知道任何用于 MISRA 合规性的综合测试套件，但您可以从 MISRA 的网站下载 MISRA“示例套件” 。您需要注册（免费），然后您可以在“MISRA C 资源”部分下载该套件。该套件并不详尽，但它包含大量示例，是创建您自己的测试的良好起点。
于 2011-05-06T22:45:37.613 回答
1
不确定在您的情况下它有什么价值，但我知道 Gimpel 有 MISRA 1998 和 2004 的合规图表。这些图表列出了规则，说明 Lint 是否可以验证规则合规性，并提供说明原因或方式的评论。
如果您有兴趣，可以在这里找到 MISRA:2004。MISRA 1998也有一个版本。
于 2011-11-30T22:36:59.337 回答
0
有一个很好的工具 - QA-C MISRA
于 2012-06-25T14:37:41.597 回答