汽車行業(yè)的嵌入式軟件測(cè)試

汽車行業(yè)的嵌入式軟件測(cè)試|  ISO  26262  |  MISRA

服務(wù)熱線：400-669-0203  020-29178595 QQ2557064750   2649046091   

現(xiàn)在汽車行業(yè)的競(jìng)爭(zhēng)日益激烈，公司要取得成功必須通過(guò)引進(jìn)新型軟件，來(lái)不斷進(jìn)行創(chuàng)新。在過(guò)去的100年里，汽車已經(jīng)從簡(jiǎn)單的機(jī)械裝置發(fā)展成為了由引擎控制、傳動(dòng)、懸吊、制動(dòng)、娛樂(lè)等系統(tǒng)組成的集成機(jī)器，這些主要系統(tǒng)都應(yīng)用了嵌入式軟件。

對(duì)于汽車行業(yè)的供應(yīng)商而言，控制嵌入式系統(tǒng)的成本是極為重要的，因?yàn)榍度胧较到y(tǒng)在本行業(yè)的使用量遠(yuǎn)遠(yuǎn)超過(guò)其他高安全性的行業(yè)。人們一直認(rèn)為軟件測(cè)試成本比較高，然而，在產(chǎn)品發(fā)布之前找出軟件存在的問(wèn)題卻是降低成本的關(guān)鍵，因?yàn)檫@樣既能避免產(chǎn)品品牌受損，又能減少產(chǎn)品召回造成的直接損失。因此，持續(xù)集成和測(cè)試對(duì)于汽車行業(yè)來(lái)說(shuō)是非常必要的。

汽車軟件的驗(yàn)證和確認(rèn)標(biāo)準(zhǔn)

ISO  26262和MISRA是用于驗(yàn)證和確認(rèn)車載軟件的兩大標(biāo)準(zhǔn)。

ISO  26262《道路車輛——功能安全》是一個(gè)功能安全標(biāo)準(zhǔn)。這一標(biāo)準(zhǔn)是根據(jù)汽車電子/電氣系統(tǒng)的功能安全標(biāo)準(zhǔn)IEC  61508衍生出來(lái)的。該標(biāo)準(zhǔn)的第六部分提出將軟件測(cè)試和驗(yàn)證作為軟件開(kāi)發(fā)標(biāo)準(zhǔn)的一部分。

建議測(cè)試既要在單元級(jí)別，也要在系統(tǒng)級(jí)別進(jìn)行，如功能測(cè)試（以需求為基礎(chǔ)的測(cè)試和分區(qū)測(cè)試）和結(jié)構(gòu)覆蓋率測(cè)試。VectorCAST工具可以獲取和報(bào)告ISO  26262提出的所有汽車安全完整性等級(jí)（ASIL）關(guān)于結(jié)構(gòu)代碼覆蓋率的要求。ASIL是汽車專用的以風(fēng)險(xiǎn)為導(dǎo)向的，判定產(chǎn)品風(fēng)險(xiǎn)等級(jí)的方法。風(fēng)險(xiǎn)等級(jí)分為從A到D四個(gè)等級(jí)，D等級(jí)代表出現(xiàn)故障可能造成的最高風(fēng)險(xiǎn)。

ISO  26262

VectorCAST如何協(xié)助遵循ISO  26262標(biāo)準(zhǔn)

VectorCAST是一個(gè)能滿足ISO  26262標(biāo)準(zhǔn)的嵌入式測(cè)試工具，符合該標(biāo)準(zhǔn)的第6部分關(guān)于軟件開(kāi)發(fā)的測(cè)試和驗(yàn)證的擬議，因?yàn)閂ectorCAST可以通過(guò)創(chuàng)建和管理測(cè)試用例，來(lái)證明已經(jīng)對(duì)等級(jí)不高的軟件需求進(jìn)行了測(cè)試。

VectorCAST也廣泛用在堅(jiān)固性測(cè)試中，如值域和邊界測(cè)試。此外，VectorCAST工具還可以獲取和報(bào)告ISO  26262所要求的各個(gè)級(jí)別的結(jié)構(gòu)代碼覆蓋率。

VectorCAST/C++是針對(duì)C  和  C++  語(yǔ)言進(jìn)行單元和集成測(cè)試的測(cè)試工具，它與針對(duì)系統(tǒng)級(jí)別進(jìn)行測(cè)試驗(yàn)證的VectorCAST/Cover相結(jié)合，為主機(jī)、模擬器和目標(biāo)級(jí)測(cè)試提供了一個(gè)完整的動(dòng)態(tài)測(cè)試組。

支持ISO  26262所要求的各個(gè)級(jí)別的代碼覆蓋率：

．語(yǔ)句

．分支

支持以汽車安全完整性等級(jí)（ASIL）為基礎(chǔ)的差異測(cè)試需求

支持自動(dòng)生成并完整編譯的測(cè)試樁，以及單元和集成測(cè)試的驅(qū)動(dòng)程序

支持自動(dòng)化回歸測(cè)試

支持將測(cè)試用例與需求進(jìn)行映射

支持堅(jiān)固性測(cè)試 

支持?jǐn)?shù)值越界測(cè)試

支持邊界條件測(cè)試

支持在主機(jī)、模擬器、嵌入式目標(biāo)系統(tǒng)上執(zhí)行測(cè)試

MISRA

MISRA的集成支持

自從汽車工業(yè)軟件可靠性聯(lián)合會(huì)（MISRA）出臺(tái)了C編程規(guī)范之后，靜態(tài)分析便成為汽車應(yīng)用開(kāi)發(fā)流程的重要組成部分。

《汽車專用軟件的C語(yǔ)言編程指南》于1998年首次發(fā)行，用以提高汽車工業(yè)在C語(yǔ)言方面的使用安全。該指南里包含了定義C語(yǔ)言子集的規(guī)則，現(xiàn)在該規(guī)則已經(jīng)被廣泛接受，成為良好編程習(xí)慣的模板。

《MISRA  C++：2008  C++語(yǔ)言在關(guān)鍵系統(tǒng)標(biāo)準(zhǔn)中的使用指南》發(fā)行于2008年，為C++語(yǔ)言制定了相似的規(guī)則。

VectorCAST/Lint整合了Gimpel  Software公司的lint分析引擎。VectorCAST/Lint為MISRA  C，MISRA  C  2004，MISRA  C++  2008提供了