原創|使用教程|編輯:鄭恭琳|2020-06-18 17:44:03.030|閱讀 426 次
概述:希望通過應用AUTOSAR C++編碼準則來簡化ISO 26262合規性工作的團隊,如果他們在選擇用于項目的靜態分析工具時掌握了充分的信息,將會更加成功。閱讀有關交易的一些技巧。
# 界面/圖表報表/文檔/IDE等千款熱門軟控件火熱銷售中 >>
相關鏈接:
希望通過應用AUTOSAR C++編碼準則來簡化ISO 26262合規性工作的團隊,如果他們在選擇用于項目的靜態分析工具時掌握了充分的信息,將會更加成功。閱讀有關交易的一些技巧。
多年來一直占據著汽車領域主導地位的C語言已不足以滿足日益增長的汽車軟件體系結構的復雜性,并且由于面向對象設計的要求,C++對于許多汽車團隊來說是一種自然的選擇。但是C++是一門復雜的語言,需要付出大量努力才能確??深A測性、安全性和安全性。
汽車功能安全標準ISO 26262提供了有關軟件開發和V&V流程的一些指導,但在語言結構層面上并沒有深入探討。為了獲得這樣的指導,組織轉向諸如MISRA C/C++或AUTOSAR C++之類的編碼標準。在此文中,我將分享如何使用配置有AUTOSAR C++ 14符合性檢查器的靜態分析工具來符合ISO 26262。
遵守功能性安全標準(例如ISO 26262)需要付出巨大的努力,并且從一開始就需要成為項目的組成部分。即使在軟件組件的情況下,合規性也需要在需求收集,計劃和實施過程中進行特定的活動,并且絕對不能“稍后添加”。
ISO 26262指定了達到標準要求的方法的集合。要聲明其合規性,用戶必須提供證據證明所有適用的要求和方法均已實施。并非所有方法都適用于所有人。該方法的適用性取決于汽車安全完整性等級(ASIL),這是標準中定義的風險分類(ASIL A代表最低等級,ASIL D代表最高汽車危害等級)??梢?強烈推薦、推薦或中性的方法。
團隊在嘗試遵守該標準時通常面臨的挑戰是如何實施為其流程推薦的方法。有關如何遵守特定方法或要求的決定通常取決于團隊經驗。在某些簡單情況下,手動操作和檢查可能是一個答案,但是在大多數情況下,團隊正在嘗試尋找可以自動化所需方法的工具。
必須通過稱為工具認證的正式流程來批準用于符合ISO26262的工具以用于預期用途。鑒定軟件工具的目的是提供軟件工具適用性的證據,以便在開發與安全相關的項目或元素時使用。這可能是一項時間和資源消耗的任務。(如果您使用的是Parasoft C/C++test,則它具有自動化的鑒定套件來支持,該套件簡化了鑒定過程,并包括TüVSüD認證,在許多情況下足以進行工具鑒定。
遵循像AUTOSAR C++這樣的編碼標準,是滿足ISO 26262某些要求的一種廣為接受的方法。AUTOSARC++ 14提供了可追溯性表,這些表將ISO 26262的原理和建議映射到適當的編碼準則。該映射主要涵蓋了ISO 26262第6部分的第8節,并極大地簡化了實現符合標準中相應方法和要求的過程。
但是,僅AUTOSAR C++ 14編碼指南不足以實現軟件組件符合ISO 26262的要求。該標準中的某些方法無法應用于AUTOSAR準則,例如建議使用“樣式指南的使用”的方法1g或建議使用“命名約定的使用”的方法1h。AUTOSAR C++ 14不包含任何樣式指南或命名約定。但是,這兩種方法都可以使用Parasoft C/C++test輕松實現,該軟件包括3000多個靜態分析檢查器(包括代碼樣式檢查器),并提供了用于創建自定義靜態分析規則的模塊。通常,標準中無法通過靜態分析實現的方法需要其他測試技術,例如故障注入測試。
因此,這當然使我們能夠找到合適的工具來簡化合規性。將編碼標準合規性流程引入團隊開發工作流程并非易事。因此,選擇一種有助于實現合規性而又不增加過多開銷且不需要其他手動程序的工具非常重要。選擇靜態分析解決方案時,以下幾點是重要的決策因素。
1.本標準涵蓋的編碼指南
AUTOSAR C++ 14定義了大量指南。目前,AUTOSAR編碼標準的最新版本包含大約400條準則,其中350條準則可以通過靜態分析來實施。支持如此多的準則對靜態分析工具供應商來說是一個挑戰,并不是市場上所有可用的靜態分析工具都能充分滿足標準的要求。(無恥的插件:在這種情況下,Parasoft C/C++test是領先的解決方案,涵蓋了數量最多的AUTOSAR C++準則,并且每天都在繼續實施。)
2.支持數據和流分析技術
AUTOSAR C++編碼標準中定義的準則具有不同級別的復雜性。一些簡單的準則可以使用相對簡單的靜態分析技術來實施,但是有些準則則需要復雜的數據和控制流分析,以模擬所分析源代碼中的路徑并確定是否違反了給定準則。
您選擇的靜態分析工具必須評估代碼中的路徑,以正確確定用于訪問容器中數據的索引是否在正確范圍內。市場上的許多商業工具和大多數開源工具都對此類問題進行了非常基本的流程分析,實際上,它們要么錯過了代碼中的問題,要么報告了大量的誤報,這浪費了大量的時間。審查并殺死生產力。在對靜態分析工具進行基準測試時,我強烈建議您特別注意比較結果,以獲取更復雜的準則,這需要流量分析技術。
3.支持工具鑒定
盡管AUTOSAR C++并沒有明確要求工具資格來批準使用靜態分析解決方案,但ISO 26262卻需要。因此,當計劃使用AUTOSAR C++簡化對ISO 26262的遵從時,建議選擇一種靜態分析解決方案,該解決方案為最終用戶提供適當的證書和資格認證工具。
遵循像AUTOSAR C++ 14這樣的編碼標準可以幫助組織達到ISO 26262的合規性,因為ISO 26262標準中定義了多種方法和要求,可以通過符合AUTOSAR編碼準則來滿足這些方法和要求。AUTOSAR C++ 14提供了專用的可追溯性表,這些表演示了ISO 26262要求和編碼準則之間的映射,希望通過應用AUTOSAR C++編碼準則來簡化ISO 26262遵從性工作的團隊如果選擇了充分的信息后會更加成功。用于項目的靜態分析工具。
本站文章除注明轉載外,均為本站原創或翻譯。歡迎任何形式的轉載,但請務必注明出處、不得修改原文相關鏈接,如果存在內容上的異議請郵件反饋至chenjj@fc6vip.cn