基于功能安全的汽車嵌入式軟件單元驗(yàn)證技術(shù)研究

隨著汽車嵌入式軟件功能的不斷疊加，軟件復(fù)雜性不斷提升，對(duì)汽車嵌入式軟件的安全性提出了更高要求，基于功能安全的嵌入式軟件開(kāi)發(fā)和測(cè)試已成為汽車行業(yè)非常重要的流程標(biāo)準(zhǔn)。本文基于ISO 26262標(biāo)準(zhǔn)，對(duì)滿足功能安全ASIL等級(jí)的汽車嵌入式軟件單元驗(yàn)證技術(shù)進(jìn)行詳細(xì)介紹，從而提高軟件質(zhì)量，減少軟件安全隱患，對(duì)汽車嵌入式軟件開(kāi)發(fā)和測(cè)試工作具有一定的指導(dǎo)意義。

1 研究背景

隨著汽車使用場(chǎng)景的增加和輔助駕駛功能的擴(kuò)展，汽車嵌入式軟件的集成度和復(fù)雜性也隨之增加，愈加龐大的軟件系統(tǒng)意味著存在更多難以發(fā)現(xiàn)的安全風(fēng)險(xiǎn)。傳統(tǒng)的軟件開(kāi)發(fā)和測(cè)試流程難以滿足現(xiàn)階段對(duì)汽車軟件安全性的要求[1-3]。ISO 26262《道路車輛功能安全》國(guó)際標(biāo)準(zhǔn)是為滿足道路車輛上特定電子電器系統(tǒng)的需求而編寫，適用于道路車輛上特定的由電子、電氣和軟件組件組成的安全相關(guān)系統(tǒng)在安全生命周期內(nèi)的所有活動(dòng)，目前已成為非常前沿的汽車安全相關(guān)標(biāo)準(zhǔn)。其主要基于汽車電子行業(yè)公認(rèn)的“V模型”，強(qiáng)調(diào)通過(guò)各開(kāi)發(fā)階段的測(cè)試和驗(yàn)證來(lái)降低風(fēng)險(xiǎn)[4-5]。

軟件單元驗(yàn)證作為軟件測(cè)試的第一道關(guān)卡，能夠盡早發(fā)現(xiàn)代碼漏洞、降低開(kāi)發(fā)成本、縮短開(kāi)發(fā)周期，能有效提高軟件質(zhì)量，是軟件測(cè)試中最重要的部分?；诠δ馨踩能浖卧?yàn)證是為了證明軟件最小單元滿足軟件設(shè)計(jì)，以及安全措施得到實(shí)施，并滿足根據(jù)所需ASIL等級(jí)分配的軟件要求而開(kāi)展的活動(dòng)，兼顧軟件安全要求和非安全要求。為了保證驗(yàn)證的充分性和完整性，功能安全要求通過(guò)評(píng)審、分析和測(cè)試等組合方法對(duì)軟件進(jìn)行單元驗(yàn)證。

本文基于ISO 26262《道路車輛功能安全》國(guó)際標(biāo)準(zhǔn)第6部分第9章節(jié)“Software unit verification”中的要求，對(duì)符合功能安全的軟件單元驗(yàn)證技術(shù)進(jìn)行詳細(xì)研究，對(duì)汽車軟件開(kāi)發(fā)和測(cè)試從業(yè)人員具有一定的參考意義。

2 軟件單元驗(yàn)證流程

軟件單元驗(yàn)證流程如圖1所示。按照靜態(tài)測(cè)試在先、動(dòng)態(tài)測(cè)試在后的準(zhǔn)則進(jìn)行，每一步都需要有上一步的輸出資料作為輸入，且上一步未評(píng)審?fù)ㄟ^(guò)不可進(jìn)入下一步，保證驗(yàn)證過(guò)程可靠且閉環(huán)。開(kāi)始前，需要有《軟件單元設(shè)計(jì)規(guī)范》 《軟件接口規(guī)范》 《軟件開(kāi)發(fā)環(huán)境文檔》等文檔作為驗(yàn)證過(guò)程的需求輸入。需要注意的是，功能安全側(cè)重于對(duì)活動(dòng)過(guò)程的檢查和確認(rèn)，因此對(duì)重要步驟的審查是非常有必要的。

圖1 軟件單元驗(yàn)證流程圖

2.1 編制和評(píng)審軟件單元測(cè)試計(jì)劃

測(cè)試負(fù)責(zé)人根據(jù)各模塊ASIL等級(jí)要求對(duì)單元測(cè)試的各項(xiàng)工作內(nèi)容編制單元測(cè)試計(jì)劃，規(guī)定時(shí)間進(jìn)度要求，確認(rèn)測(cè)試的范圍、方法、測(cè)試用例設(shè)計(jì)方法、覆蓋率要求等，輸出《軟件單元測(cè)試計(jì)劃》。測(cè)試小組內(nèi)部對(duì)《軟件單元測(cè)試計(jì)劃》內(nèi)的各項(xiàng)工作安排進(jìn)行評(píng)審，評(píng)審?fù)ㄟ^(guò)則開(kāi)始靜態(tài)測(cè)試，若評(píng)審不通過(guò)，則修改計(jì)劃再次評(píng)審直到通過(guò)。

2.2 執(zhí)行和評(píng)審靜態(tài)測(cè)試

根據(jù)要求對(duì)模型或代碼執(zhí)行靜態(tài)測(cè)試，確認(rèn)對(duì)建模規(guī)范、編碼規(guī)范、軟件質(zhì)量度量以及相關(guān)文檔的符合性，記錄測(cè)試執(zhí)行結(jié)果并輸出《軟件單元驗(yàn)證靜態(tài)代碼分析報(bào)告》。對(duì)于需要修改的缺陷執(zhí)行缺陷修正，對(duì)于不需要修改的缺陷進(jìn)行分析說(shuō)明。根據(jù)測(cè)試結(jié)果評(píng)審靜態(tài)測(cè)試是否通過(guò)，評(píng)審?fù)ㄟ^(guò)則進(jìn)行動(dòng)態(tài)測(cè)試，若評(píng)審不通過(guò)，通知開(kāi)發(fā)組修改代碼直到再次評(píng)審?fù)ㄟ^(guò)。

2.3 編制和評(píng)審軟件單元測(cè)試說(shuō)明

測(cè)試工程師依據(jù)《軟件詳細(xì)設(shè)計(jì)說(shuō)明》 《軟件單元驗(yàn)證測(cè)試策略》和ASIL等級(jí)要求編寫用例的ID、名稱、設(shè)計(jì)方法、預(yù)置條件、執(zhí)行步驟、預(yù)期結(jié)果、判斷準(zhǔn)則，輸出《軟件單元測(cè)試說(shuō)明》，根據(jù)追溯一致性要求需要建立軟件詳細(xì)設(shè)計(jì)與軟件單元測(cè)試用例的追溯關(guān)系。評(píng)審小組評(píng)審?fù)ㄟ^(guò)，則開(kāi)始執(zhí)行單元測(cè)試，若評(píng)審不通過(guò)，測(cè)試組修改測(cè)試用例直至再次評(píng)審?fù)ㄟ^(guò)。

2.4 執(zhí)行單元測(cè)試

測(cè)試工程師搭建測(cè)試環(huán)境并執(zhí)行軟件單元測(cè)試，測(cè)試覆蓋率需達(dá)到要求。若覆蓋率未達(dá)標(biāo)，測(cè)試發(fā)現(xiàn)缺陷，需按照《問(wèn)題解決管理過(guò)程規(guī)范》流程執(zhí)行分析、處理。對(duì)測(cè)試用例未通過(guò)的情形，測(cè)試工程師根據(jù)策略執(zhí)行回歸測(cè)試并記錄結(jié)果。對(duì)不能通過(guò)測(cè)試驗(yàn)證的非功能需求，進(jìn)行評(píng)審或采用其他方法驗(yàn)證。依據(jù)測(cè)試記錄和結(jié)果輸出《軟件單元測(cè)試記錄》。

2.5 編制和評(píng)審軟件單元測(cè)試報(bào)告

測(cè)試工程師依據(jù)軟件單元測(cè)試記錄和結(jié)果，編制《軟件單元測(cè)試報(bào)告》。報(bào)告內(nèi)容主要包括：測(cè)試目標(biāo)、測(cè)試結(jié)果、結(jié)果分析、測(cè)試結(jié)論和意見(jiàn)。評(píng)審小組評(píng)審《軟件單元測(cè)試報(bào)告》，評(píng)審內(nèi)容主要包括：從技術(shù)角度檢查靜態(tài)驗(yàn)證、測(cè)試用例的執(zhí)行情況；確認(rèn)測(cè)試執(zhí)行符合策略要求；確保建立追溯關(guān)系的一致性。評(píng)審?fù)ㄟ^(guò)則結(jié)束軟件單元驗(yàn)證活動(dòng)。

3 軟件單元驗(yàn)證方法

表1列出了目前常用的軟件單元驗(yàn)證方法，大致可分為評(píng)審、分析、測(cè)試3大類，分別對(duì)應(yīng)1a-1c、1d-1i和1j-1n。標(biāo)準(zhǔn)要求通過(guò)這些方法的適當(dāng)組合，對(duì)軟件單元設(shè)計(jì)和已實(shí)現(xiàn)的軟件單元進(jìn)行驗(yàn)證，來(lái)證明軟件的功能和特性滿足軟件安全要求。不同ASIL等級(jí)對(duì)不同方法的推薦度不一樣，其中“++”為特別推薦，“+”為推薦，“o”為不推薦。為滿足單元驗(yàn)證的完整性和充分性，通常會(huì)在不同大類中選擇所有無(wú)重復(fù)項(xiàng)目的“++”項(xiàng)進(jìn)行組合測(cè)試。注意，如果代碼保留了模型特性，可以通過(guò)在模型層面執(zhí)行驗(yàn)證來(lái)替代在源碼層面執(zhí)行驗(yàn)證，但需要證明該模型具有足夠的置信度。

表1 軟件單元驗(yàn)證方法

以ASIL B等級(jí)為例，可選擇檢查+靜態(tài)代碼分析+基于需求的測(cè)試+接口測(cè)試方法進(jìn)行組合驗(yàn)證。

3.1 檢查

對(duì)開(kāi)發(fā)文檔、代碼和設(shè)計(jì)的一致性、代碼執(zhí)行標(biāo)準(zhǔn)的情況、代碼邏輯表達(dá)的正確性、代碼結(jié)構(gòu)的合理性以及代碼的可讀性等進(jìn)行檢查。將所有與文檔和代碼相關(guān)的檢查項(xiàng)列舉在《軟件單元驗(yàn)證檢查審查單》中，根據(jù)檢查結(jié)果給予“通過(guò)”“建議”和“不通過(guò)”，審查通過(guò)率高于90%判定為通過(guò)。

3.2 靜態(tài)代碼分析

在不運(yùn)行應(yīng)用程序的情況下,對(duì)軟件的源代碼的語(yǔ)義、結(jié)構(gòu)和行為進(jìn)行分析,由此找出程序中的不規(guī)范、不合理或者可能造成程序運(yùn)行異常的代碼。靜態(tài)代碼分析可借助軟件對(duì)源代碼進(jìn)行靜態(tài)分析。圖2為HelixQAC軟件對(duì)某代碼進(jìn)行靜態(tài)分析的結(jié)果示意圖，編碼規(guī)范遵守MISRA C++。

圖2 HelixQAC靜態(tài)分析結(jié)果

3.3 基于需求的測(cè)試

基于需求的測(cè)試是根據(jù)單元設(shè)計(jì)文檔提取明確要求進(jìn)行的測(cè)試活動(dòng)。通過(guò)分析各接口具有的意義、值的范圍及算法，確認(rèn)需求的輸入值和預(yù)期值，對(duì)單元代碼進(jìn)行測(cè)試，從而實(shí)現(xiàn)基于設(shè)計(jì)需求的單元測(cè)試。

3.4 接口測(cè)試

根據(jù)所測(cè)單元代碼被調(diào)用的輸入參數(shù)與該單元的形式參數(shù)在個(gè)數(shù)、屬性、量綱、順序上是否一致等方面設(shè)計(jì)測(cè)試用例進(jìn)行測(cè)試。

基于需求的測(cè)試和接口測(cè)試范圍存在重疊，通常以基于需求的測(cè)試為主，接口測(cè)試進(jìn)行查缺補(bǔ)漏。此過(guò)程需要根據(jù)軟件詳細(xì)設(shè)計(jì)文檔、安全需求文檔和接口文檔進(jìn)行測(cè)試用例設(shè)計(jì)，保證測(cè)試用例對(duì)功能、安全需求和接口的100%覆蓋。圖3為VectorCAST軟件對(duì)某源代碼進(jìn)行單元測(cè)試的結(jié)果示意圖，測(cè)試結(jié)果和預(yù)期結(jié)果一致，測(cè)試通過(guò)。

圖3 VectorCAST單元測(cè)試結(jié)果

4 軟件單元測(cè)試用例得出方法

標(biāo)準(zhǔn)要求使用表2列出的軟件單元測(cè)試用例得出方法。

表2 軟件單元測(cè)試用例得出方法

1） 需求分析法。根據(jù)《軟件詳細(xì)設(shè)計(jì)文檔》中的功能描述來(lái)設(shè)計(jì)測(cè)試用例，每一個(gè)測(cè)試用例用來(lái)檢驗(yàn)一個(gè)或者多個(gè)測(cè)試需求。每個(gè)測(cè)試用例需要與測(cè)試需求編號(hào)一一對(duì)應(yīng)形成追溯關(guān)系，需求覆蓋率需要達(dá)到100%。所有功能安全等級(jí)均要求使用此方法。

2） 等價(jià)類劃分法。根據(jù)被測(cè)函數(shù)的輸入、輸出范圍劃分有效等價(jià)類和無(wú)效等價(jià)類。針對(duì)每一個(gè)等價(jià)類設(shè)計(jì)至少一個(gè)有效等價(jià)類和一個(gè)無(wú)效等價(jià)類測(cè)試用例來(lái)確保被測(cè)程序單元的處理是完整的。此方法適用于具有取值范圍或值為個(gè)數(shù)的函數(shù)輸入單元。

3） 邊界值分析法。邊界值分析法使用與等價(jià)類劃分法相同的劃分，但是邊界值分析假定錯(cuò)誤更多地存在于兩個(gè)劃分的邊界上，需相應(yīng)地為邊界上及兩側(cè)的情況設(shè)計(jì)測(cè)試用例。此方法適用于對(duì)接口、接近邊界的值與邊界交叉的值較為敏感的函數(shù)單元。

4） 錯(cuò)誤推測(cè)法。根據(jù)以往測(cè)試經(jīng)驗(yàn)和其他一些測(cè)試技術(shù)，猜測(cè)錯(cuò)誤的類型及在特定的軟件中錯(cuò)誤發(fā)生的位置，并設(shè)計(jì)測(cè)試用例去發(fā)現(xiàn)它們。此方法適用于存在易錯(cuò)代碼的函數(shù)單元，通?；诮?jīng)驗(yàn)學(xué)習(xí)和專家判斷中收集的數(shù)據(jù)。

5 軟件單元層面結(jié)構(gòu)覆蓋率度量

對(duì)單元測(cè)試完整性的另一個(gè)重要評(píng)估標(biāo)準(zhǔn)是軟件單元層面的結(jié)構(gòu)覆蓋率要求，結(jié)構(gòu)覆蓋率分析可以發(fā)現(xiàn)測(cè)試用例的不足、需求的缺陷、無(wú)效代碼或非預(yù)期功能，因此標(biāo)準(zhǔn)要求按照表3列出的度量對(duì)結(jié)構(gòu)覆蓋率進(jìn)行測(cè)試。

表3 軟件單元層面結(jié)構(gòu)覆蓋率度量

1） 語(yǔ)句覆蓋率是指被測(cè)試到的語(yǔ)句數(shù)量/可執(zhí)行的語(yǔ)句總數(shù)×100%。

2） 分支覆蓋率是指被測(cè)試到的分支數(shù)量/總分支總數(shù)×100%。

3） MC/DC（修改條件/決策覆蓋率） 要求在一個(gè)程序中每一種輸入輸出至少出現(xiàn)一次，每一個(gè)判定中的每一個(gè)條件必須產(chǎn)生所有輸出結(jié)果至少一次，每一個(gè)判定必須產(chǎn)生所有可能的輸出結(jié)果至少一次，并且每一個(gè)判定中的每一個(gè)條件都能獨(dú)立影響一個(gè)判定結(jié)果，因此MC/DC是最可靠的覆蓋率。但由于其時(shí)間成本過(guò)高，目前只在功能安全要求最高的ASIL D中實(shí)施。實(shí)際進(jìn)行軟件單元測(cè)試用例設(shè)計(jì)時(shí)，可以將測(cè)試用例導(dǎo)出方法與MC/DC標(biāo)準(zhǔn)相結(jié)合，提高測(cè)試效率、測(cè)試力度和測(cè)試充分性。

當(dāng)軟件只需要滿足ASIL B等級(jí)時(shí)，選擇語(yǔ)句覆蓋和分支覆蓋并滿足覆蓋率要求即可。圖4為VectorCAST軟件對(duì)某源代碼進(jìn)行單元測(cè)試的覆蓋率統(tǒng)計(jì)結(jié)果。需要注意的是，無(wú)理由的覆蓋率無(wú)目標(biāo)值或低目標(biāo)值會(huì)被認(rèn)為不滿足功能安全要求。

圖4 VectorCAST單元測(cè)試覆蓋率統(tǒng)計(jì)結(jié)果

對(duì)于可接受的死代碼（用于調(diào)試的代碼） 或不同軟件配置的代碼區(qū)段，可以給出接受所達(dá)到的覆蓋率水平的理由，或使用補(bǔ)充方法（代碼走審查） 驗(yàn)證未被覆蓋的代碼。如果認(rèn)為已實(shí)現(xiàn)的結(jié)構(gòu)覆蓋率不充分，需要定義額外的測(cè)試用例或提供基于其他方法可補(bǔ)充覆蓋率以達(dá)到要求的理由，此部分證據(jù)可在《軟件單元驗(yàn)證測(cè)試報(bào)告》中提供。

6 結(jié)論

功能安全是當(dāng)下汽車軟件行業(yè)的主流趨勢(shì)，根據(jù)功能安全開(kāi)發(fā)流程對(duì)汽車軟件進(jìn)行開(kāi)發(fā)和測(cè)試可以大大提高軟件的質(zhì)量，減少軟件安全隱患，提升汽車核心競(jìng)爭(zhēng)力。本文基于ISO 26262標(biāo)準(zhǔn)結(jié)合不同功能安全等級(jí)從軟件單元驗(yàn)證流程、軟件單元驗(yàn)證方法的選擇、軟件單元測(cè)試用例得出方法的選擇和使用以及軟件單元測(cè)試結(jié)構(gòu)覆蓋率度量4方面對(duì)滿足功能安全的汽車嵌入式軟件單元驗(yàn)證技術(shù)進(jìn)行了詳細(xì)闡述，對(duì)汽車嵌入式軟件開(kāi)發(fā)和測(cè)試行業(yè)具有一定的指導(dǎo)意義。

審核編輯：湯梓紅