經(jīng)過數(shù)十年的開發(fā),LDRA靜態(tài)代碼分析技術(shù)可以幫助嵌入式開發(fā)人員加快對(duì)MISRA C指南所有版本的合規(guī)
新加坡、馬來西亞吉隆坡和越南河內(nèi)市2023年3月14日 /美通社/ -- 以20多年來的MISRA C支持為依托,LDRA今天宣布在其LDRA工具套件的靜態(tài)代碼分析和報(bào)告功能中添加最新的MISRA C:2023指南。在MISRA C工作組主席兼LDRA技術(shù)專家Andrew Banks的指導(dǎo)下,LDRA的新功能為航空航天、國防、工業(yè)和能源、醫(yī)療設(shè)備和汽車行業(yè)的嵌入式開發(fā)人員提供支持,在日益復(fù)雜和難以測(cè)試的多線程、多處理器系統(tǒng)中識(shí)別潛在的危險(xiǎn)代碼并減輕其危害。
1998年推出的MISRA C是使用C編程語言開發(fā)軟件的標(biāo)準(zhǔn),在軟件開發(fā)當(dāng)中,安全、保障和代碼質(zhì)量至關(guān)重要。在3月15日的嵌入式展覽會(huì)(Embedded World)上,MISRA C工作組將公布MISRA C:2012第4版(AMD4),其中規(guī)定了多線程和原子類型的規(guī)則和指令,并闡明現(xiàn)有指南,以便更好地契合當(dāng)今開發(fā)人員使用C語言的方式。工作組還將推出MISRA C:2023,將以前版本的指南合并為一個(gè)單一的綜合版本,以便于實(shí)現(xiàn)合規(guī)。
LDRA運(yùn)營總監(jiān)Ian Hennell表示:"MISRA C指南推動(dòng)了安全、穩(wěn)固且可靠代碼的開發(fā);此版本的發(fā)布表明我們繼續(xù)致力于確保每個(gè)安全和安保關(guān)鍵型開發(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)品開發(fā)人員的相關(guān)性。"
MISRA C的演變和LDRA靜態(tài)分析工具的作用
在LDRA技術(shù)專家Andrew Banks主席的領(lǐng)導(dǎo)下,MISRA C工作組多年來不斷發(fā)展指南,以適用于汽車以外的軟件,解決額外的安??紤]因素,同時(shí)與最新版本的C標(biāo)準(zhǔn)保持一致,這包括通常稱為C11和C18的ISO/IEC 9899: 2011和2018中引入的多線程和原子類型方法。
MISRA C指南建議使用靜態(tài)分析工具來驗(yàn)證代碼是否符合其規(guī)則和指令。LDRA工具套件支持所有版本的MISRA指南,并且:
Banks表示:"采用靜態(tài)分析工具是對(duì)MISRA C合規(guī)性的一項(xiàng)寶貴投資。此類工具簡化了MISRA合規(guī)性工作,降低了新軟件的開發(fā)風(fēng)險(xiǎn),同時(shí)支持開發(fā)人員的MISRA C培訓(xùn)。這些工具為實(shí)現(xiàn)MISRA合規(guī)性提供了最佳選擇,這是所有嵌入式軟件認(rèn)證過程中不可或缺的組成部分。"
Banks與LDRA的同事、MISRA C++工作組主席Chris Tapp一起在MISRA C工作組工作。Banks補(bǔ)充道:"此外,通過將最近的增強(qiáng)功能整合為單一來源,MISRA C:2023為與安全或安保相關(guān)的,或者說任何高集成度的軟件開發(fā)者提供了新的基準(zhǔn)指導(dǎo)。"
MISRA新白皮書和參觀嵌入式展覽會(huì)4-505展位
如需更多了解有關(guān)MISRA C倡導(dǎo)和部署合規(guī)工具框架的指南和戰(zhàn)略相關(guān)信息,開發(fā)人員可以下載LDRA的新白皮書《Get ahead with the MISRA C guidelines》。開發(fā)人員也可于3月14日至16日在德國紐倫堡2023年嵌入式展覽會(huì)上參觀LDRA展位(4-505)。歐洲中部夏令時(shí)間3月15日下午1點(diǎn)45分,Andrew Banks將在"MISRA形勢(shì)報(bào)告" 小組討論中介紹MISRA。