ISO 26262是功能安全的國際標(biāo)準(zhǔn)，它管理著所有汽車產(chǎn)品開發(fā)流程的軟件安全要求。雖然改編自IEC 61508，但現(xiàn)代法規(guī)在合規(guī)性方面變得更加嚴(yán)格。因此，根據(jù)汽車產(chǎn)品的功能，需要達(dá)到合規(guī)等級(jí)。

您可以在這里閱讀有關(guān)ISO 26262和Parasoft在合規(guī)性方面的更多信息，讓我們先討論如何實(shí)現(xiàn)ASIL-D合規(guī)性。畢竟，這是ISO 26262合規(guī)最難實(shí)現(xiàn)的方面。

Parasoft 產(chǎn)品免費(fèi)試用

什么是ISO 26262標(biāo)準(zhǔn)？

許多Parasoft的文章、白皮書和網(wǎng)絡(luò)研討會(huì)都涵蓋了ISO 26262，主要是因?yàn)樵摌?biāo)準(zhǔn)在汽車安全方面的重要性。它可以分為幾個(gè)關(guān)鍵概念。

• 一項(xiàng)為OEM提供汽車軟件安全生命周期活動(dòng)指導(dǎo)的標(biāo)準(zhǔn)。

• 包括安全分析、需求分析、質(zhì)量管理、驗(yàn)證、確認(rèn)等。

• 包括12個(gè)部分，涵蓋詞匯、生命周期、開發(fā)協(xié)議以及ISO 26262合規(guī)性的其他重要方面。

ISO 26262標(biāo)準(zhǔn)如此重要的原因很簡單。它能保證我們?cè)谄囍械陌踩?

什么是ASIL A-D？

ASIL，是汽車安全完整性級(jí)別，對(duì)道路車輛的功能安全風(fēng)險(xiǎn)進(jìn)行分類。汽車的不同部件都有不同的ASIL等級(jí)。如果產(chǎn)品是A級(jí)，那它的安全標(biāo)準(zhǔn)排名較低。如果它們是D級(jí)，那軟件和/或硬件必須遵守最嚴(yán)格的安全標(biāo)準(zhǔn)。

像后燈甚至儀表盤這樣的產(chǎn)品都不高于ASIL-B或以上。電動(dòng)轉(zhuǎn)向和ABS制動(dòng)器在安全合規(guī)性方面被列為ASIL-D，因?yàn)樗鼈儗?duì)車輛操作的影響很大。滿足這些要求必須使用像Parasoft C/C++test這樣的解決方案來確保合規(guī)性。

ASIL-D的要求是什么？

 這一部分的風(fēng)險(xiǎn)分類對(duì)應(yīng)于最高級(jí)別。任何符合ASIL-D規(guī)范的系統(tǒng)或組件都需要高度的風(fēng)險(xiǎn)緩解。一般來說，開發(fā)人員在考慮ASIL-D合規(guī)性時(shí)會(huì)考慮3個(gè)關(guān)鍵決定因素。

事件的嚴(yán)重性。如果發(fā)生故障，乘客、司機(jī)以及附近的人和車輛將受到什么樣的影響？損害的影響會(huì)有多嚴(yán)重？

可能或暴露的頻率。可能導(dǎo)致失敗的事情發(fā)送的可能性有多大？

故障的可控制性。如果一個(gè)系統(tǒng)或產(chǎn)品最終失敗，開發(fā)人員必須考慮失敗的原因。也許你可以通過快速反應(yīng)或故障安全措施來避免過度損害。

上面的圖確切地詳細(xì)說明了ASIL-D的安全要求。開發(fā)人員在嘗試實(shí)現(xiàn)ASIL-D合規(guī)性時(shí)面臨的最大挑戰(zhàn)是他們?cè)陂_發(fā)產(chǎn)品或服務(wù)時(shí)必須做出多少假設(shè)。

ASIL-D的要求是什么？

滿足ASIL-D安全功能需要進(jìn)行幾項(xiàng)測(cè)試來幫助暴露、預(yù)防和修復(fù)任何錯(cuò)誤。Parasoft C/C++test通過以下特征幫助根除這些問題：

單元測(cè)試。幫助團(tuán)隊(duì)開發(fā)、執(zhí)行、優(yōu)化和維護(hù)單元測(cè)試。

靜態(tài)分析。執(zhí)行數(shù)據(jù)流分析、控制流分析、度量分析等。

需求可追溯性。將測(cè)試和代碼鏈接到需求，以獲得更好的可見性。

代碼覆蓋率。顯示使用測(cè)試運(yùn)行執(zhí)行了哪些代碼。

運(yùn)行時(shí)錯(cuò)誤。查找內(nèi)存泄漏、訪問錯(cuò)誤、損壞等。

您實(shí)現(xiàn)這些元素的方式并不一定是困難或低效的。事實(shí)上，Parasoft的C/C++軟件開發(fā)解決方案使開發(fā)過程更流暢、更快、更準(zhǔn)確。

Parasoft C/C++test的好處

自動(dòng)化代碼分析

允許在任何時(shí)候進(jìn)行合規(guī)性監(jiān)控。利用數(shù)百個(gè)嵌入式規(guī)則，如MISRA C:2008、AUTOSAR C++14、MISRA C:2012等。圖形化的RuleWizard編輯器允許用戶進(jìn)行自定義規(guī)則。

無需執(zhí)行即可識(shí)別錯(cuò)誤

能夠在不執(zhí)行代碼的情況下找到問題。事實(shí)上，對(duì)于嵌入式代碼等內(nèi)容，對(duì)錯(cuò)誤進(jìn)行徹底的運(yùn)行時(shí)分析變得既可能又有效。

增強(qiáng)的代碼審查

為了發(fā)現(xiàn)代碼缺陷，所有團(tuán)隊(duì)都應(yīng)該進(jìn)行代碼審查。它確實(shí)需要付出大量的工作，但Parasoft DTP Change Explorer有助于使這個(gè)過程更加方便。

帶有覆蓋率分析的集成和單元測(cè)試

如果您想使您的合規(guī)協(xié)議更加敏捷和有效，自動(dòng)化是至關(guān)重要的。特定的GUI小部件簡化了測(cè)試管理和創(chuàng)建。測(cè)試用例向?qū)踔潦归_發(fā)人員能夠快速地在不同的功能集上進(jìn)行黑盒功能測(cè)試，而不需要擔(dān)心嵌入的數(shù)據(jù)依賴性。更重要的是，數(shù)據(jù)源向?qū)?duì)測(cè)試用例和存根進(jìn)行參數(shù)化，您可以在存根視圖中查看它們。

了解更多有關(guān)Parasoft產(chǎn)品咨詢，歡迎咨詢