什么是MISRA？

MISRA是指由汽車工業軟件可靠性協會（MISRA）開發的，針對C和C++廣泛采用的編碼標準。

MISRA編碼標準（MISRA C:2012和MISRA C++:2008）已廣泛用于除汽車以外的安全關鍵型行業，例如醫療、軍事和航空航天工程，它提供了一組用于編寫嵌入式C和C++代碼的最佳實踐，促進針對關鍵系統的安全、可靠和可移植代碼的編寫。（MISRA擁有C和C++的工作組，Parasoft是MISRA的兩個工作組的成員。）

MISRA C:2012

對于C開發，MISRA C標準支持C90，C99，C11和C18語言規范。當前版本的MISRA C:2012經過幾年的發展，包括158條MISRA C規則和17條指令，總共175條指南。于2020年發布的MISRA C:2012修正案2將標準擴展了2條規則。

MISRA C++:2008

對于C++編程，當前的MISRA標準是MISRA C++:2008標準。但是，許多組織選擇對AUTOSAR C++14標準進行標準化，該標準涵蓋了C++語言的最新更改。最近，MISRA和AUTOSAR組織宣布了他們在下一代這些標準上的合作。有關Parasoft為AUTOSAR提供的產品的更多信息，請單擊此處。

通過靜態分析加強MISRA的合規性

Parasoft為應用MISRA C:2004和MISRA C:2012（包括修訂2）提供了全面的解決方案，以幫助組織克服與確保設備上的汽車軟件質量相關的挑戰。Parasoft C/C++test已通過TüVSüD的認證，可自動執行和監控靜態分析編碼標準（例如MISRA）。它還提供了一個單元測試平臺，該平臺集成了測試創建、執行和覆蓋率報告。來自Parasoft C/C++test的測試和分析數據在Parasoft的集中式報告和分析中心中進行了匯總和關聯，從而為復雜軟件供應鏈中的每個步驟提供了額外的分析和報告。

Parasoft如何幫助實現MISRA合規性

MISRA編碼標準提供了一套全面的準則，可防止出現安全漏洞和程序故障。對于不使用Parasoft工具和產品的團隊，應用這些準則并證明合規性可能會帶來過多負擔。Parasoft簡化了此過程，這對于確保按時交付軟件至關重要。

為了成功實現合規性，Parasoft的MISRA C檢查器軟件提供了以下功能：

• 在每次構建軟件后，通過靜態代碼分析來驗證MISRA準則，以確保日常執行。

• 從Parasoft的MISRA Compliance Pack中快速獲取高級概述和詳細報告，以有效地展示合規性。

• 快速查看項目需求對測試的可追溯性，這不僅是MISRA的重要要求，還是您可能使用的安全標準。

在整個軟件開發生命周期中支持MISRA遵從性對于持續的執法和可追溯性非常重要，按照MISRA Compliance:2020指南自動化文檔編制，對于節省時間、資源和處理此指南的挫敗感至關重要。請參閱以下示例，了解Parasoft自動生成的關鍵報告。

MISRA準則執行計劃

MISRA準則執行計劃演示了如何驗證每個MISRA準則。在大多數情況下，這顯示了MISRA指令或規則與關聯的Parasoft分析之間的鏈接。請參閱以下示例：

MISRA指南重新分類計劃

MISRA指南重新分類計劃用于傳達作為指南的商定重要性，作為供應商/客戶關系的一部分。該文檔演示了如何針對當前項目對每條指南進行專門分類。

強制性和必需的準則不能降級到較低的水平；但是，項目可能會決定將要求或咨詢準則升級到更嚴格的設置，并且咨詢可能會不適用（即，不需要遵從該準則）。請參閱下面的重新分類計劃示例：

MISRA偏差報告

MISRA偏差報告以合理的理由記錄了偏離準則的情況。每當檢測到規則違例但允許其繼續存在時，必須將其記錄在偏差報告中。在大多數情況下，這些是從代碼分析報告的抑制的錯誤。報告示例如下所示：

MISRA合規性摘要

合規性摘要是總體項目合規性的主要記錄。該報告記錄了每個準則的遵守狀況，以及任何相關的偏差或重新分類。一個例子如下所示：

白皮書

通過Parasoft C/C++test實現MISRA C:2012合規性

Parasoft C/C++test具有全面的代碼覆蓋率，支持MISRA C++ 2008，MISRA C 2012和MISRA C的所有常見版本，可在主機和目標上自動執行C和C++靜態分析，對等代碼審查以及單元和組件測試，從而實現自動化。以及MISRA C:2012 Amendment 2安全準則。在本文中，了解Parasoft C/C++test如何簡化您的部署并幫助創建ISO 26262和MISRA所需的安全、可靠、可信賴的軟件。

點擊下載白皮書