精品国产乱码,日韩国产中文综合,精品合集系列在线观看

行業認證標準支持（九）：Parasoft幫助實現ISO 26262合規性

原創|行業資訊|編輯：鄭恭琳|2020-11-03 11:50:31.000|閱讀 374 次

概述：ISO 26262“道路車輛–功能安全”是一項功能安全標準，涵蓋了電氣和電子汽車系統及其開發過程，包括需求規范、設計、實施、集成、驗證、確認和配置。該標準通過在軟件和硬件級別上指定要求來提供有關汽車安全生命周期活動的指南。Parasoft用戶可以利用Parasoft C/C++test通過自動執行標準所需的多種測試方法來降低達到ISO 26262法規遵從性的成本。

# 界面/圖表報表/文檔/IDE等千款熱門軟控件火熱銷售中 >>

相關鏈接：

什么是ISO 26262？

ISO 26262“道路車輛–功能安全”是一項功能安全標準，涵蓋了電氣和電子汽車系統及其開發過程，包括需求規范、設計、實施、集成、驗證、確認和配置。該標準通過在軟件和硬件級別上指定要求來提供有關汽車安全生命周期活動的指南。

通過源代碼分析和單元測試來增強ISO 26262的合規性

Parasoft用戶可以利用Parasoft C/C++test通過自動執行標準所需的多種測試方法來降低達到ISO 26262法規遵從性的成本。該標準的第6部分專門針對軟件級別的產品開發，Parasoft用戶可以節省遵循該標準這一部分的時間和精力。

ISO 26262合規要求

了解如何遵守ASIL風險等級

對于軟件級別的系統開發，用戶需要部署一系列軟件測試技術。需要哪種特定的測試方法取決于系統的ASIL等級分類。例如，開發歸類為ASIL A的系統的用戶僅需要證明語句覆蓋范圍即可證明足夠的軟件測試水平，而開發ASIL D系統的用戶將需要投入更多的工作來確保適當水平的MC/DC覆蓋范圍。

實施靜態分析和單元測試

為了符合ISO 26262，組織必須實施多個流程和要求，并且使軟件開發活動自動化的靜態分析和單元測試等技術可以極大地幫助組織滿足ISO 26262的要求。軟件工具資格證明該工具適合開發與安全相關的項目或元素。

確保您的工具具有使用資格

Parasoft C/C++test已通過TüVSüD認證，適合在開發安全關鍵系統時使用。我們的TüV認證涵蓋了所有ASIL等級的C/C++test資格。為了支持其他行業標準，Parasoft提供了一個資格認證套件，該套件可自動執行工具資格認證流程的重要部分，從而減少了手工工作量，并消除了軟件團隊的分心。

Parasoft如何幫助實現ISO 26262合規性

Parasoft用戶可以通過自動執行標準所需的多種測試方法來節省時間和精力，從而利用Parasoft C/C++test降低符合ISO 26262要求的成本。自動生成的報告和儀表板為團隊提供了一種實用的方法來防止、暴露和糾正軟件中的錯誤，并準備審核所需的文檔。

Parasoft幫助組織執行靜態分析、單元測試、結構代碼覆蓋率、需求可追溯性和標準推薦的其他測試方法。

Parasoft C/C++test促進并自動執行ISO 26262中指定的軟件測試方法，該方法的第6部分專門用于軟件級別的產品開發。規定了以下開發活動的要求：

初始化產品開發
軟件安全要求規范
軟件架構設計
單元設計與實施
單元測試
軟件集成和測試
驗證軟件安全要求

以下各節中列出的表格將ISO 26262中的關鍵軟件測試方法與Parasoft C/C++test相匹配。（這些表旨在提供Parasoft功能的示例，并且絕不完整。）

在軟件級別初始化產品開發

ISO 26262（第6部分）的此部分定義有關軟件開發和驗證過程的一般信息。詳見下表。

5.4.6實現軟件設計和實現正確性的要求。此處描述的方法適用于建模和編程語言。

要求	Parasoft C/C++test功能
低復雜度的執行	報告循環復雜度、基本復雜度、Halstead復雜度和其他代碼指標
使用語言子集	編碼標準強制措施，例如檢測不安全的語言構造
實施強類型	編碼標準實施、隱式轉換檢測
防御性實現技術的使用	針對適當的編碼標準規則執行防御性編程，例如，檢查malloc的返回值，檢查被調用函數返回的錯誤代碼值等。
使用既定的設計原則	實施行業編碼標準規則集，例如MISRA C/C++，JSF，HIS源代碼指標等。
使用明確的圖形表示	實施特定的格式約定
樣式指南的使用	強制執行特定的編碼約定
命名約定的使用	特定命名約定的執行

軟件單元設計與實現

本節定義了指定和實現軟件單元的過程，以及對設計和實現的驗證。

8.4.5指定用于檢查軟件單元設計和實施的驗證方法。

要求	Parasoft C/C++test功能
控制流分析	控制流分析
數據流分析	數據流分析
靜態代碼分析	編碼標準執行

軟件單元測試

本節定義了計劃、定義和執行軟件單元測試的過程。

9.4.1描述有關單元測試執行的一般信息

要求	Parasoft C/C++test功能
單元測試執行	單元測試執行模塊報告模塊，用于顯示結果
單元測試規范	可配置的單元測試生成模塊根據定義的規范創建測試測試用例瀏覽器模塊顯示所有已定義測試用例的列表，以及通過/失敗狀態

9.4.2描述用于指定和執行單元測試的方法

要求	Parasoft C/C++test功能
基于需求的測試	用戶可以根據需求使用Parasoft C/C++test設計單元測試用例單元測試用例可以帶有需求ID Parasoft C/C++test報告框架與需求管理系統集成，并生成報告以在特定需求的上下文中顯示測試結果
單元測試規范	與協奏曲一起映射具有需求和/或缺陷的測試用例支持手動創建的用戶定義的測試用例以及使用“測試用例編輯器”創建的測試
接口測試	可以創建單元測試用例使用功能存根和數據源來模擬外部組件的行為以自動執行單元測試
故障注入測試	使用功能存根執行故障條件使用不同的前提條件自動生成單元測試（例如，最小、最大、啟發式值）

9.4.3定義用于創建測試用例的方法

要求	Parasoft C/C++test功能
語句覆蓋率	代碼覆蓋率模塊
分支機構覆蓋	代碼覆蓋率模塊
MC/DC（修改的條件/決策范圍）	代碼覆蓋率模塊

9.4.5定義測試環境的要求。

要求	Parasoft C/C++test功能
單元測試的測試環境應盡可能與目標環境相對應	可以在目標設備和模擬器上執行單元測試，以在不同的環境中執行測試（例如，軟件在環，處理器在環，硬件在環）

軟件集成與測試

10.4.2描述有關執行軟件集成測試的一般信息。

要求	Parasoft C/C++test功能
集成測試	靈活配置測試軟件范圍（從單個功能到整個應用程序）

10.4.5定義用于證明集成測試完整性的方法。

要求	Parasoft C/C++test功能
功能覆蓋率	代碼覆蓋率模塊
功能呼叫覆蓋范圍	代碼覆蓋率模塊

10.4.7定義集成測試環境的要求。

要求	Parasoft C/C++test功能
用于軟件集成測試的測試環境應盡可能與目標環境相對應	可以在目標設備和模擬器上執行集成測試，以在不同的環境中執行測試（例如，軟件在環，處理器在環，硬件在環）靈活的存根框架