20多年來(lái)，LDRA的MISRA C提供支持，推動(dòng)汽車(chē)、航空航天、醫(yī)療、國(guó)防和其他關(guān)鍵應(yīng)用的風(fēng)險(xiǎn)降低舉措。 

英國(guó)利物浦2023年2月3日 /美通社/ -- 作為工程機(jī)構(gòu)和軟件從業(yè)者編寫(xiě)安全可靠代碼的領(lǐng)先指南，MISRA C于本月迎來(lái)了其創(chuàng)建25周年。作為MISRA C Working Group的關(guān)鍵貢獻(xiàn)者，LDRA在標(biāo)準(zhǔn)遵從、自動(dòng)化軟件驗(yàn)證、靜態(tài)代碼分析和測(cè)試工具方面的專(zhuān)業(yè)知識(shí)使相關(guān)標(biāo)準(zhǔn)能夠更好地適應(yīng)現(xiàn)代C語(yǔ)言和開(kāi)發(fā)實(shí)踐。

LDRA運(yùn)營(yíng)總監(jiān)Ian Hennell表示："從汽車(chē)軟件到醫(yī)療設(shè)備，處于任何成熟階段的制造商都依賴(lài)MISRA C來(lái)指導(dǎo)、評(píng)估和認(rèn)證其安全和安全關(guān)鍵產(chǎn)品。MISRA長(zhǎng)期致力于通過(guò)不斷參與MISRA C工作組并同時(shí)開(kāi)發(fā)行業(yè)領(lǐng)先的產(chǎn)品來(lái)支持制造商的認(rèn)證活動(dòng)，減少和消除軟件安全應(yīng)用中的風(fēng)險(xiǎn)，這一點(diǎn)得到了LDRA的認(rèn)可。"

MISRA與制造商、組件供應(yīng)商和工程咨詢(xún)公司合作，于1998發(fā)布了第一份C編程語(yǔ)言指南，以幫助嵌入式軟件開(kāi)發(fā)人員降低可能導(dǎo)致不良行為或危險(xiǎn)行為的編碼風(fēng)險(xiǎn)。這套標(biāo)準(zhǔn)化方案擬訂語(yǔ)言的限制性子集為數(shù)十年的發(fā)展和遵約活動(dòng)奠定了基礎(chǔ)，包括兩個(gè)后續(xù)版本、四項(xiàng)修訂和多個(gè)指導(dǎo)文檔。

LDRA技術(shù)專(zhuān)家兼MISRA C Working Group主席Andrew Banks表示："25年來(lái)，MISRA C已成為幫助開(kāi)發(fā)人員防止嚴(yán)重問(wèn)題在其代碼中突然出現(xiàn)的寶貴資源，使他們能夠減少未定義和未指定行為的發(fā)生。MISRA繼續(xù)幫助無(wú)數(shù)系統(tǒng)和產(chǎn)品團(tuán)隊(duì)在日益活躍和復(fù)雜的軟件環(huán)境中最大限度地降低安防風(fēng)險(xiǎn)。"

LDRA產(chǎn)品是制造商開(kāi)發(fā)環(huán)境的關(guān)鍵組成部分，支持關(guān)鍵編碼缺陷的識(shí)別、報(bào)告和修正。這些缺陷通常很難或不可能通過(guò)人工方法檢測(cè)到，而使用LDRA靜態(tài)代碼分析工具將其最小化，包括支持MISRA指南的所有版本。