MISRA-C合规检验工具对比研究》概要.PDF

《MISRA-C 合规检验工具对比研究》 概要 TERA 实验室（TERA-Labs）独立研究 (安特卫普〃卡瑞尔格若特应用科学大学研究部) （Karel de Grote University College, Antwerp） 2012 年5 月9 日，TERA 实验室（比利时〃安特卫普〃卡瑞尔格若特应用科学大学的 研究部）发布了《MISRA-C 合规检验工具对比研究》报告的最终版本。[参考1] 本白皮书由两部分组成：  第一部分 对TERA 实验室所做的80 页的研究进行了一个全面、详细的概述。 该概述由 PRQA 生成，其中包含对TERA 实验室所作报告的关键的直接引 用。TERA 实验室做研究报告的原作者已经确认，认为该概述清楚、准确地 概括了原报告。  第二部分 PRQA 根据TERA 实验室所作的报告提出了自己的观点和意见。 关键词：MISRA ，静态代码分析，编码规范，合规 1 第一部分 : 报告概述 本部分包含对TERA 实验室80 页的详细原报告所作的概述【参考1】。 1.1 引言 TERA 实验室是卡瑞尔格若特应用科学大学（Karel de Grote University College ）的研究部，该大学坐落在比利 时的安特卫普。TERA 实验室所做的研究主要集中在各个应用程序/行业中的嵌入式系统方面，研究的范围十分 广泛，大至汽车工业，小至分布计算程序。此次专门对 MISRA-C 合规检验工具进行的独立研究在 IWT （agentschap voor Innovatie door Wetenschap en Technologie, www.iwt.be ）资助下完成，该研究持续了20 个月。该研究报告的最初版本发布于2010 年10 月6 日，最终版本发布于2012 年5 月9 日。 1.2 研究范围和目标 该研究的目标是评估软件工具在实施 MISRA-C:2004 编码规则方面的有效性。评估方法是 TERA 实验室的工程 师用 C 编程语言写一系列测试用例（“试样”），并用各个工具中对这些测试用例进行测试，而每个测试用例 中都包含故意违反 MISRA-C:2004 编码规则的代码。研究团队通过各个工具识别这些违规代码的情况，来评估 每个工具发现违规代码的能力。 1.3 参与者 TERA 实验室选取了以下静态分析/代码分析工具进行研究。这些工具是通过因特网有哪些信誉好的足球投注网站选出的，它们都明确提 到支持MISRA-C 规则的检测： 1. Development Assistant for C (DAC) - RistanCASE 2. IAR embedded workbench 3. Klocwork Insight 4. LDRA Testbed 5. Parasoft C++test 6. QA·C – Programming Research/PRQA 7. PC-Lint - Gimpel 8. (Prevent - Coverity) * 9. Raincode ** （* TERA 实验室在发现Coverity 的工具只支持MISRA-C 规则的最小子集之后，立刻放弃了继续对其进行研究， 所以报告的结果部分并没有 Coverity 的相关数据。**之后将 Raincode 加入到研究项目中，所以结果中包含了 Raincode 的数据。） 另外需要注意的是，根据法律要求，在 TERA 实验室所作的最终报告中，工具供应商都是匿名的，这些供应商 被称为Company 01 到09 。上面所列出的工具的顺序和图表以及表格中的列的顺序并没有关联。但是，在这份 总结性的白皮书中，我们可以确定PRQA (QA•C)是Company04 。 1.4 研究标准 在研究中“软性”和“硬性”评估标准均被考虑在内，主要有以下标准： 软性标准： 1. 方便在现有开发环境中集成。 2. 可用性：方便用户使用某些特定的工具。 3. 扩展性：用