LDRA工具套件支持新的MISRA-C++:2008标准
完善了LDRA工具套件对已有的MISRA-C:1998和MISRA-C:2004的支持
|

图
1: LDRA
工具套件中对新的MISRA-C++:2008
标准违反的详细情况截图 |
图
2: LDRA
工具套件中LDRA
Testbed
代码评审报告结果的截图 |
Monks
Ferry, Wirral, UK – 2008年一月25日.
LDRA,自动化软件验证,源代码分析和测试工具的领先提供商,已经进一步增强了
LDRA
工具套件的能力以支持汽车工业软件可靠性协会(MISRA)即将发布的MISRA-C++:2008
标准。对
MISRA-C++:2008
标准的支持完善了LDRA
工具套件对已经支持的MISRA-C:1998
和
MISRA-C:2004, HIS (Herstellerinitiative
Software)
以及
GJB (中国军用标准)
C语言标准的支持程度。
MISRA
是一个由汽车制造商,部件提供商以及工程顾问组成的协会,其目标是通过发布标准指南来提升在安全性相关的汽车电子开发以及其它一些嵌入式系统开发的通用性,并推广最佳实践经验。从MISRA-C
发布以来,
MISRA-C
的成功应用已经被作为“最佳实践”解决方案不仅在全球的汽车工业中被全面采用,同时也在包括铁路,航空,国防和医疗器械等在内地多个行业的安全性相关和安全苛刻性相关的软件开发项目和应用中被广泛应用。
在MISRA-C
标准取得成功后,
MISRA-C++
委员会在
2005成立,开始进行争对C++
编程语言的MISRA标准指南的编定工作。作为MISRA委员会的一个长期成员,
LDRA
深入参与了新的MISRA-C++:2008
标准的编定工作,这使得
LDRA
工具套件能够尽早的实现对该标准的支持。
LDRA运营官Ian
Hennell
说:“C++
语言在开发安全苛刻性软件应用中被广泛使用,LDRA工具套件提供目前市场上最全面的
C++
编码标准支持,并且通过进一步增强来支持即将发布的MISRA-C++:2008。在C++语言编程规则方面,LDRA已经和
Lockheed Martin
开发了
JSF AV C++
标准,
High-Integrity C++
编码标准以LM
火车控制项目(LMTCP)
标准。
更多关于
LDRA
对MISRA-C++:2008
的支持,
请访问
http://www.ldra.com/misracpp.asp.
关于MISRA的信息请访问:
http://www.misra.org.uk.
关于LDRA
LDRA公司有超过30年度历史,是世界上最早的为源代码提供分析和测试工具的公司,LDRA是自动化软件开发和测试工具市场的领导者,也为各个行业提供测试解决方案。LDRA的产品和服务能应用于航空,航天,国防工业,以及核工业和汽车工业。通过使用LDRA的工具这些公司能够保证他们开发的系统满足苛刻的标准,并且在实际应用中可靠,稳定。LDRA工具支持多种编程语言摈弃能在所有主流的主机平台上运行。LDRA公司的总部在英国,在美国有分公司,并且拥有遍布全球的分销网络。LDRA的详细定位和其它信息可以参考公司网站www.ldra.com。