经过数十年的努力发展，LDRA 静态代码分析技术帮助嵌入式开发人员加速对所有版本的 MISRA C 指南的合规性

 

新加坡、马来西亚吉隆坡和越南河内2023年3月14日 /美通社/ --基于MISRA C 20 多年的支援，LDRA 今天宣布将最新的 MISRA C:2023 指南添加到其 LDRA 工具套件的静态代码分析和报告功能。在 MISRA C 工作组主席和 LDRA 技术专员 Andrew Banks 的指导下，LDRA 的新功能支援航天、国防、工业和能源、医疗设备和汽车行业的嵌入式开发人员在日益複杂和难以测试的多线程、多处理器系统中，识别并减轻潜在危险代码。

LDRA's support for MISRA C:2023 is underpinned by their unparalleled in-house expertise

MISRA C 于 1998 年推出，是使用 C 编程语言开发软体的标準，其中安全性、保密性和代码质量至关重要。在 3 月 15 日的 Embedded World 上，MISRA C 工作组将公布 MISRA C:2012 第 4 版修订 （AMD4），其中规定了多线程和原子类型的规则和指令以及对现有指南的澄清，以便更好地与当今开发人员使用 C 语言的方式保持一致。该小组还将推出 MISRA C:2023，将以前版本的指南整合为单一全面的版本，以促进符合合规性。

LDRA 运营总监 Ian Hennell 表示：「MISRA C 指南推动开发朝着安全可靠的代码方向发展，此版本表明我们继续致力于确保每个安全和安保关键开发团队都能获得 MISRA C:2023 合规性。」 「除了在制定指南本身方面发挥重要作用外，我们一直在努力确保我们的静态分析工具包括识别、报告和修复多线程、多处理器系统中的关键编码缺陷所必需的能力。这些 MISRA 新增加的内容使该指南与各行各业的嵌入式产品开发人员更加相关。」

MISRA C 的演进与 LDRA 静态分析工具的作用

在主席和 LDRA 技术专员 Andrew Banks 的领导下，MISRA C 工作组多年来发展了指南，以套用于汽车以外的软体并解决额外的安全考虑，同时与 C 标準的新版本保持一致，包括多线程以及 ISO/IEC 9899:2011 和 2018 （俗称 C11 和 C18）中引入的原子类型。

MISRA C 指南建议使用静态分析工具根据其规则和指令验证代码。 LDRA 工具套件支援所有版本的 MISRA 指南：

採用静态分析来识别不一致代码的区域，以帮助记录和修改。 包括广泛的报告和图形显示，以增强对符合 MISRA 指南的源代码的理解。 促进结构覆盖率分析，以确保开发人员能够按照 MISRA 指南的建议测量和维护已测试代码的数量。

「採用静态分析工具是对 MISRA C 合规性的一项宝贵投资。」Banks 表示，「此类工具简化了 MISRA 合规性工作并降低了新软体开发中的风险，同时支持 MISRA C开发人员的训练。其为实现 MISRA 合规性提供了最佳选择，这是任何嵌入式软体认证过程的一个组成部分。」

「此外，透过将最近的增强功能整合到单一来源中，MISRA C:2023 为安全或安保相关软体或任何高完整性软体的开发人员提供了新的基準指南。」Banks 补充道。Banks 与 LDRA 同事和 MISRA C++ 工作组主席 Chris Tapp 一起在 MISRA C 工作组工作。

新的 MISRA 白皮书和参观 Embedded World（展位 4-505）

要了解更多关于支援和部署合规工具框架的 MISRA C 指南和策略，开发人员可以下载 LDRA 的新白皮书「Get ahead with the MISRA C guidelines」，还可以在 3 月 14 日至 16 日于德国纽伦堡举行的 Embedded World 2023 上参观 LDRA（展位 4-505）。Andrew Banks 将于 3 月 15 日下午 1 时 45 分（欧洲中部夏令时间）在「MISRA — 情况报告」小组讨论 MISRA。

关于 LDRA 

逾 45 年间，LDRA 开发和推动软体市场，为安全、任务、安保和业务关键市场自动进行代码分析和软体测试。与客户合作以实现早期错误识别和消除，并完全符合行业标準，LDRA 透过静态和动态分析追蹤需求，以对各种硬体和软体平台进行单元测试和验证。LDRA 的业务遍及全球，在英国、美国、德国和印度设有总部，并拥有广泛的分销商网络。有关 LDRA 工具套件的更多资讯，请浏览 www.ldra.com。

读者如有问题，可直接联络： 

Mark James电邮： [email protected]

传媒联络人： 

LDRA 市场传讯助理经理 Neeraja Nair 电话：+91-80-40808707，电邮： [email protected]

LDRA 市场推广经理 Mark James 电话：利来w66+44 (0) 151 649 9300，电邮： [email protected]