LDRA，自动化软件开发和软件测试工具供应商的市场领导者，已经进一步强化了其工具套件对MISRA规范的适应性。LDRA工具套件可用于商业性和高安全性的应用软件，并可应用于各种不同的编程语言和平台。

 LDRA工具套件的一个关键组成部分是它提供了对软件的静态和动态的分析功能。LDRA工具套件所约束的代码编写标准，作为一个重要的组成部分，被MISRA-C:2004用于包括航空、汽车、铁路、医疗和其他的工业领域。虽然MISRA－C：2004最初是为汽车工业标准起草的，但后来越来越多地被应用于与安全有关的甚至对安全性要求非常苛刻的软件开发项目中，它被看作是最佳解决方案。

 关于对MISRA-C:2004的支持，目前有一个范例套件，专门为每一项规则提供了遵守和不遵守的例子，该套件可从MISRA网站：www.misra-c.com获得。套件包括201个文件，形成了一套清晰的系统，该套件并不详尽，但是提供了关键问题的例子。

 Ian Hennell，LDRA业务总监，在评论MISRA规范套件时是这么说的：“共有698个不符合规定的例子存在，其中675个是直接对某个特定规则的一个违反的例子，其它的是例子可能同时违反一个以上的规则。”

 “LDRA工具包能提供对所有在MISRAC:2004中能用工具来验证的规则的支持，目前规范套件中675个不符合规则中的659个都能得到工具包的支持，支持率达到98％，另外，在C语言版的LDRA工具包中，一些非工具可查的违反可通过数据流分析来查找。”

 关于LDRA

 LDRA公司成立于1975年，是世界上历史最悠久的自动化源代码分析和测试工具供应商，是提供自动化软件开发和测试工具及为各市场领域提供测试解决方案的市场领导者，LDRA的产品和服务在软件测试技术和许多具有突破性意义的测试方法上处于领先地位。通过部署LDRA工具包，客户能够提交结构良好的被测试软件和文档，同时受惠于节约成本和时间。LDRA公司的地址和其他信息可在公司网站上获取：www.ldra.com.

 编者注：

 MISRA

 MISRA（汽车工业软件可靠性协会）已经发布了MISRA-C的范例套件，它举例说明了在苛刻性系统中C语言的规则的问题，套件包含201个文件形成一个清晰的系统，提供遵守和违反MISRA－C规则的例子。

 MISRA-C:2004共21节，总共142条规则，其中有14条规则被MISRA确认的但不能用工具验证的，在范例套件中对工具可验证的规则提供了近700个违反的范例，其中675个是高亮的表示对某一个具体规则的违反，而其它的是例子可能同时违反一个以上的规则。关于MISRA更多的信息请访问：http://www.misra.org.uk/.