我们正在使用PC-Lint对我们的源代码进行代码检查以符合MISRA-2004。由于这是一个与安全相关的项目，我们正在寻找TUV的证书，我们需要证明我们对该工具的信心（他们不接受任何类似“我多次使用它”）。
我们的目标是拥有一套完整的负面测试，通过打破它并通过工具强制出错或警告来检查MISRA-2004集的每个规则的工具。
有人已经这样做了，你愿意分享你的结果/ C代码吗？
答案 0 :(得分：2)
我不知道有任何全面的MISRA合规测试套件，但您可以从MISRA的website下载MISRA“Exemplar Suite”。您需要注册（这是免费的），然后您可以在“MISRA C资源”部分下载该套件。该套件并不具有实用性，但它包含大量示例，是创建自己的测试的良好起点。
答案 1 :(得分：1)
不确定在你的情况下它的价值，但我知道Gimpel有MISRA 1998和2004的合规性图表。这些图表列出规则，说明Lint是否可以验证规则合规性，并提供说明原因或方式的评论
如果您有兴趣，可以找到here for MISRA:2004。还有MISRA 1998的版本。
答案 2 :(得分：0)
有一个很好的工具 - QA-C MISRA