是否有人建立了一个C文件来验证MISRA-2004的代码检查工具？
我们正在使用PC作为代码，检查我们的源代码是否符合MISRA-2004。由于这是一个与安全相关的项目，我们正准备由TUV颁发证书，我们需要证明我们对该工具的信心(他们不接受类似“我多次使用它”之类的东西)。
我们的目标是有一套完整的负面测试，检查MISRA-2004的每条规则的工具，方法是破坏它，并强制工具出错或警告。
是否有人已经这样做了，您是否愿意分享您的结果/C代码？
回答 3
Stack Overflow用户
发布于 2011-05-06 22:45:37
我不知道任何关于MISRA遵从性的全面测试套件，但是您可以从MISRA的网站下载MISRA的“范例套件”。您需要注册(这是免费的)，然后可以在"MISRA参考资料“部分下载该套件。该套件不是exhuastive的，但它包含了许多示例，是创建您自己的测试的良好起点。
Stack Overflow用户
发布于 2011-11-30 22:36:59
不知道在你的情况下它的价值，但我知道Gimpel有米斯拉1998和2004年的合规图表。这些图表列出了规则，说明了Lint是否可以验证规则的遵从性，并提供了说明原因或方法的注释。
如果你感兴趣，你可以找到它这里是MISRA:2004。MISRA 1998也有一个版本。
Stack Overflow用户
发布于 2012-06-25 14:37:41
有一个很好的工具- QA-C MISRA
https://stackoverflow.com/questions/4656707
复制相似问题
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号