什么是MISRA？

MISRA是指由汽車工業(yè)軟件可靠性協(xié)會(huì)（MISRA）開發(fā)的，針對(duì)C和C++廣泛采用的編碼標(biāo)準(zhǔn)。

MISRA編碼標(biāo)準(zhǔn)（MISRA C:2012和MISRA C++:2008）已廣泛用于除汽車以外的安全關(guān)鍵型行業(yè)，例如醫(yī)療、軍事和航空航天工程，它提供了一組用于編寫嵌入式C和C++代碼的最佳實(shí)踐，促進(jìn)針對(duì)關(guān)鍵系統(tǒng)的安全、可靠和可移植代碼的編寫。（MISRA擁有C和C++的工作組，Parasoft是MISRA的兩個(gè)工作組的成員。）

MISRA C:2012

對(duì)于C開發(fā)，MISRA C標(biāo)準(zhǔn)支持C90，C99，C11和C18語言規(guī)范。當(dāng)前版本的MISRA C:2012經(jīng)過幾年的發(fā)展，包括158條MISRA C規(guī)則和17條指令，總共175條指南。于2020年發(fā)布的MISRA C:2012修正案2將標(biāo)準(zhǔn)擴(kuò)展了2條規(guī)則。

MISRA C++:2008

對(duì)于C++編程，當(dāng)前的MISRA標(biāo)準(zhǔn)是MISRA C++:2008標(biāo)準(zhǔn)。但是，許多組織選擇對(duì)AUTOSAR C++14標(biāo)準(zhǔn)進(jìn)行標(biāo)準(zhǔn)化，該標(biāo)準(zhǔn)涵蓋了C++語言的最新更改。最近，MISRA和AUTOSAR組織宣布了他們?cè)谙乱淮@些標(biāo)準(zhǔn)上的合作。有關(guān)Parasoft為AUTOSAR提供的產(chǎn)品的更多信息，請(qǐng)單擊此處。

通過靜態(tài)分析加強(qiáng)MISRA的合規(guī)性

Parasoft為應(yīng)用MISRA C:2004和MISRA C:2012（包括修訂2）提供了全面的解決方案，以幫助組織克服與確保設(shè)備上的汽車軟件質(zhì)量相關(guān)的挑戰(zhàn)。Parasoft C/C++test已通過TüVSüD的認(rèn)證，可自動(dòng)執(zhí)行和監(jiān)控靜態(tài)分析編碼標(biāo)準(zhǔn)（例如MISRA）。它還提供了一個(gè)單元測(cè)試平臺(tái)，該平臺(tái)集成了測(cè)試創(chuàng)建、執(zhí)行和覆蓋率報(bào)告。來自Parasoft C/C++test的測(cè)試和分析數(shù)據(jù)在Parasoft的集中式報(bào)告和分析中心中進(jìn)行了匯總和關(guān)聯(lián)，從而為復(fù)雜軟件供應(yīng)鏈中的每個(gè)步驟提供了額外的分析和報(bào)告。

Parasoft如何幫助實(shí)現(xiàn)MISRA合規(guī)性

MISRA編碼標(biāo)準(zhǔn)提供了一套全面的準(zhǔn)則，可防止出現(xiàn)安全漏洞和程序故障。對(duì)于不使用Parasoft工具和產(chǎn)品的團(tuán)隊(duì)，應(yīng)用這些準(zhǔn)則并證明合規(guī)性可能會(huì)帶來過多負(fù)擔(dān)。Parasoft簡(jiǎn)化了此過程，這對(duì)于確保按時(shí)交付軟件至關(guān)重要。

為了成功實(shí)現(xiàn)合規(guī)性，Parasoft的MISRA C檢查器軟件提供了以下功能：

• 在每次構(gòu)建軟件后，通過靜態(tài)代碼分析來驗(yàn)證MISRA準(zhǔn)則，以確保日常執(zhí)行。

• 從Parasoft的MISRA Compliance Pack中快速獲取高級(jí)概述和詳細(xì)報(bào)告，以有效地展示合規(guī)性。

• 快速查看項(xiàng)目需求對(duì)測(cè)試的可追溯性，這不僅是MISRA的重要要求，還是您可能使用的安全標(biāo)準(zhǔn)。

在整個(gè)軟件開發(fā)生命周期中支持MISRA遵從性對(duì)于持續(xù)的執(zhí)法和可追溯性非常重要，按照MISRA Compliance:2020指南自動(dòng)化文檔編制，對(duì)于節(jié)省時(shí)間、資源和處理此指南的挫敗感至關(guān)重要。請(qǐng)參閱以下示例，了解Parasoft自動(dòng)生成的關(guān)鍵報(bào)告。

MISRA準(zhǔn)則執(zhí)行計(jì)劃

MISRA準(zhǔn)則執(zhí)行計(jì)劃演示了如何驗(yàn)證每個(gè)MISRA準(zhǔn)則。在大多數(shù)情況下，這顯示了MISRA指令或規(guī)則與關(guān)聯(lián)的Parasoft分析之間的鏈接。請(qǐng)參閱以下示例：

MISRA指南重新分類計(jì)劃

MISRA指南重新分類計(jì)劃用于傳達(dá)作為指南的商定重要性，作為供應(yīng)商/客戶關(guān)系的一部分。該文檔演示了如何針對(duì)當(dāng)前項(xiàng)目對(duì)每條指南進(jìn)行專門分類。

強(qiáng)制性和必需的準(zhǔn)則不能降級(jí)到較低的水平；但是，項(xiàng)目可能會(huì)決定將要求或咨詢準(zhǔn)則升級(jí)到更嚴(yán)格的設(shè)置，并且咨詢可能會(huì)不適用（即，不需要遵從該準(zhǔn)則）。請(qǐng)參閱下面的重新分類計(jì)劃示例：

MISRA偏差報(bào)告

MISRA偏差報(bào)告以合理的理由記錄了偏離準(zhǔn)則的情況。每當(dāng)檢測(cè)到規(guī)則違例但允許其繼續(xù)存在時(shí)，必須將其記錄在偏差報(bào)告中。在大多數(shù)情況下，這些是從代碼分析報(bào)告的抑制的錯(cuò)誤。報(bào)告示例如下所示：

MISRA合規(guī)性摘要

合規(guī)性摘要是總體項(xiàng)目合規(guī)性的主要記錄。該報(bào)告記錄了每個(gè)準(zhǔn)則的遵守狀況，以及任何相關(guān)的偏差或重新分類。一個(gè)例子如下所示：

白皮書

通過Parasoft C/C++test實(shí)現(xiàn)MISRA C:2012合規(guī)性

Parasoft C/C++test具有全面的代碼覆蓋率，支持MISRA C++ 2008，MISRA C 2012和MISRA C的所有常見版本，可在主機(jī)和目標(biāo)上自動(dòng)執(zhí)行C和C++靜態(tài)分析，對(duì)等代碼審查以及單元和組件測(cè)試，從而實(shí)現(xiàn)自動(dòng)化。以及MISRA C:2012 Amendment 2安全準(zhǔn)則。在本文中，了解Parasoft C/C++test如何簡(jiǎn)化您的部署并幫助創(chuàng)建ISO 26262和MISRA所需的安全、可靠、可信賴的軟件。

點(diǎn)擊下載白皮書