LDRA助力安全/安保關(guān)鍵型開(kāi)發(fā)團(tuán)隊(duì)實(shí)現(xiàn)MISRA C合規(guī)

經(jīng)過(guò)數(shù)十年的開(kāi)發(fā)，LDRA靜態(tài)代碼分析技術(shù)可以幫助嵌入式開(kāi)發(fā)人員加快對(duì)MISRA C指南所有版本的合規(guī)

新加坡、馬來(lái)西亞吉隆坡和越南河內(nèi)市2023年3月14日 /美通社/ -- 以20多年來(lái)的MISRA C支持為依托，LDRA今天宣布在其LDRA工具套件的靜態(tài)代碼分析和報(bào)告功能中添加最新的MISRA C:2023指南。在MISRA C工作組主席兼LDRA技術(shù)專家Andrew Banks的指導(dǎo)下，LDRA的新功能為航空航天、國(guó)防、工業(yè)和能源、醫(yī)療設(shè)備和汽車行業(yè)的嵌入式開(kāi)發(fā)人員提供支持，在日益復(fù)雜和難以測(cè)試的多線程、多處理器系統(tǒng)中識(shí)別潛在的危險(xiǎn)代碼并減輕其危害。

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

1998年推出的MISRA C是使用C編程語(yǔ)言開(kāi)發(fā)軟件的標(biāo)準(zhǔn)，在軟件開(kāi)發(fā)當(dāng)中，安全、保障和代碼質(zhì)量至關(guān)重要。在3月15日的嵌入式展覽會(huì)（Embedded World）上，MISRA C工作組將公布MISRA C:2012第4版（AMD4），其中規(guī)定了多線程和原子類型的規(guī)則和指令，并闡明現(xiàn)有指南，以便更好地契合當(dāng)今開(kāi)發(fā)人員使用C語(yǔ)言的方式。工作組還將推出MISRA C:2023，將以前版本的指南合并為一個(gè)單一的綜合版本，以便于實(shí)現(xiàn)合規(guī)。

LDRA運(yùn)營(yíng)總監(jiān)Ian Hennell表示："MISRA C指南推動(dòng)了安全、穩(wěn)固且可靠代碼的開(kāi)發(fā)；此版本的發(fā)布表明我們繼續(xù)致力于確保每個(gè)安全和安保關(guān)鍵型開(kāi)發(fā)團(tuán)隊(duì)都能實(shí)現(xiàn)MISRA C:2023合規(guī)。除了在制定指南本身方面發(fā)揮重要作用，我們還努力確保我們的靜態(tài)分析工具具備相關(guān)能力，在多線程、多處理器系統(tǒng)中識(shí)別、報(bào)告和修復(fù)關(guān)鍵編碼缺陷。這些新的MISRA添加進(jìn)一步提升了該指南與眾多行業(yè)嵌入式產(chǎn)品開(kāi)發(fā)人員的相關(guān)性。"

MISRA C的演變和LDRA靜態(tài)分析工具的作用

在LDRA技術(shù)專家Andrew Banks主席的領(lǐng)導(dǎo)下，MISRA C工作組多年來(lái)不斷發(fā)展指南，以適用于汽車以外的軟件，解決額外的安?？紤]因素，同時(shí)與最新版本的C標(biāo)準(zhǔn)保持一致，這包括通常稱為C11和C18的ISO/IEC 9899: 2011和2018中引入的多線程和原子類型方法。

MISRA C指南建議使用靜態(tài)分析工具來(lái)驗(yàn)證代碼是否符合其規(guī)則和指令。LDRA工具套件支持所有版本的MISRA指南，并且：

• 采用靜態(tài)分析來(lái)識(shí)別不合規(guī)的代碼領(lǐng)域，以幫助記錄和修改。
• 包括廣泛的報(bào)告和圖形顯示，以根據(jù)MISRA準(zhǔn)則增強(qiáng)對(duì)源代碼的理解。
• 促進(jìn)結(jié)構(gòu)覆蓋分析，以確保開(kāi)發(fā)人員能夠按照MISRA指南的建議測(cè)量和維持已測(cè)試代碼的數(shù)量。

Banks表示："采用靜態(tài)分析工具是對(duì)MISRA C合規(guī)性的一項(xiàng)寶貴投資。此類工具簡(jiǎn)化了MISRA合規(guī)性工作，降低了新軟件的開(kāi)發(fā)風(fēng)險(xiǎn)，同時(shí)支持開(kāi)發(fā)人員的MISRA C培訓(xùn)。這些工具為實(shí)現(xiàn)MISRA合規(guī)性提供了最佳選擇，這是所有嵌入式軟件認(rèn)證過(guò)程中不可或缺的組成部分。"

Banks與LDRA的同事、MISRA C++工作組主席Chris Tapp一起在MISRA C工作組工作。Banks補(bǔ)充道："此外，通過(guò)將最近的增強(qiáng)功能整合為單一來(lái)源，MISRA C:2023為與安全或安保相關(guān)的，或者說(shuō)任何高集成度的軟件開(kāi)發(fā)者提供了新的基準(zhǔn)指導(dǎo)。"

MISRA新白皮書(shū)和參觀嵌入式展覽會(huì)4-505展位

如需更多了解有關(guān)MISRA C倡導(dǎo)和部署合規(guī)工具框架的指南和戰(zhàn)略相關(guān)信息，開(kāi)發(fā)人員可以下載LDRA的新白皮書(shū)《Get ahead with the MISRA C guidelines》。開(kāi)發(fā)人員也可于3月14日至16日在德國(guó)紐倫堡2023年嵌入式展覽會(huì)上參觀LDRA展位（4-505）。歐洲中部夏令時(shí)間3月15日下午1點(diǎn)45分，Andrew Banks將在"MISRA形勢(shì)報(bào)告" 小組討論中介紹MISRA。