符合iso26262標(biāo)準(zhǔn)的軟件測(cè)試解決方案

1、符合符合ISO26262標(biāo)準(zhǔn)的軟件測(cè)試解決方案標(biāo)準(zhǔn)的軟件測(cè)試解決方案隨著汽車行業(yè)的迅速發(fā)展，汽車電子電器EE系統(tǒng)在汽車中的作用不斷提高，ECU開(kāi)發(fā)所占用的時(shí)間和成本也越來(lái)越高。與此同時(shí)，越來(lái)越多的電子控制系統(tǒng)（例如車身穩(wěn)定控制系統(tǒng)ESP，防抱死制動(dòng)系統(tǒng)ABS，自適應(yīng)前照明系統(tǒng)AFS等）具有與安全相關(guān)的功能，因此對(duì)ECU的安全要求也越來(lái)越高。為了減少產(chǎn)品的開(kāi)發(fā)時(shí)間和成本，降低由于安全問(wèn)題而導(dǎo)致的維護(hù)甚至召回的風(fēng)險(xiǎn)，越來(lái)越多的整車廠和供應(yīng)商

2、開(kāi)始重視汽車領(lǐng)域的功能安全問(wèn)題，ECU軟件功能安全的問(wèn)題也成為汽車行業(yè)迫切需要解決的問(wèn)題，車輛功能安全標(biāo)準(zhǔn)ISO26262就在這樣的環(huán)境和需求下應(yīng)運(yùn)而生，并于2011年11月正式發(fā)布第一版本，該標(biāo)準(zhǔn)是當(dāng)前汽車業(yè)中最流行、最復(fù)雜、也是最重要的一份標(biāo)準(zhǔn)。ISO26262的目標(biāo)是通過(guò)避免汽車EE系統(tǒng)故障行為可能導(dǎo)致的危害來(lái)提高EE系統(tǒng)的功能安全。ISO26262采用車輛安全完整性等級(jí)（ASIL）來(lái)判斷系統(tǒng)的功能安全程度，ASIL由ASILA（

3、最低）、ASILB、ASILC及ASILD（最高）四個(gè)等級(jí)組成，ASIL等級(jí)越高表示系統(tǒng)的功能安全評(píng)估越嚴(yán)格相應(yīng)的表示系統(tǒng)正確執(zhí)行安全功能，或者說(shuō)的避免該功能出錯(cuò)的概率越高，即系統(tǒng)的安全可靠性越高。ISO26262標(biāo)準(zhǔn)的組成架構(gòu)由十個(gè)規(guī)范和信息指導(dǎo)文件組成，其中ISO26262—456闡述的是系統(tǒng)級(jí)硬件級(jí)軟件級(jí)的產(chǎn)品開(kāi)發(fā)，使用嵌套的V模型定義了每個(gè)開(kāi)發(fā)階段的過(guò)程以及相應(yīng)的工作產(chǎn)品。本解決方案主要闡明了在軟件級(jí)產(chǎn)品開(kāi)發(fā)階段如何去理解ISO

4、26262的要求，并且指出了在實(shí)際的軟件開(kāi)發(fā)過(guò)程中如何結(jié)合ISO26262的軟件測(cè)試生命周期，通過(guò)包括軟件測(cè)試工作的執(zhí)行以及過(guò)程控制等方面來(lái)確保ECU軟件質(zhì)量滿足ISO26262軟件級(jí)功能安全相應(yīng)等級(jí)的要求?；诨赩模式的模式的ISO26262軟件測(cè)試生命周期軟件測(cè)試生命周期如圖所示，基于V模式的ISO262626軟件測(cè)試生命周期可以劃分為五個(gè)階段：靜態(tài)分析需求和功能需求：在軟件級(jí)產(chǎn)品開(kāi)發(fā)初始化階段和軟件安全需求規(guī)范制定階段確定了一些

5、基本的嵌入式軟件靜態(tài)分析需求和功能需求，這部分內(nèi)容是以后設(shè)計(jì)和測(cè)試的基礎(chǔ)；架構(gòu)驗(yàn)證：在軟件架構(gòu)設(shè)計(jì)階段，我們可以使用人工分析的方式來(lái)驗(yàn)證和測(cè)試軟件架構(gòu)層的內(nèi)容，但是有條件的話最好使用合適的架構(gòu)設(shè)計(jì)工具，在設(shè)計(jì)的過(guò)程中同時(shí)進(jìn)行架構(gòu)驗(yàn)證；靜態(tài)測(cè)試：在軟件單元設(shè)計(jì)和實(shí)現(xiàn)階段同時(shí)進(jìn)行靜態(tài)測(cè)試，可以使用開(kāi)發(fā)輔助工具來(lái)進(jìn)行靜態(tài)測(cè)試，這樣不必因?yàn)殪o態(tài)測(cè)試的活動(dòng)而改變開(kāi)發(fā)流程。動(dòng)態(tài)測(cè)試：在軟件單元測(cè)試階段以及軟件集成和測(cè)試階段，使用合適的動(dòng)態(tài)測(cè)試工具進(jìn)

6、行動(dòng)態(tài)單元和集成在靜態(tài)測(cè)試中，靜態(tài)分析主要包括規(guī)則檢測(cè)和質(zhì)量度量；可靠性測(cè)試主要進(jìn)行運(yùn)行時(shí)錯(cuò)誤的檢測(cè)。上面提到ASILA中針對(duì)編碼準(zhǔn)則的需求以及其他ASIL等級(jí)所強(qiáng)烈推薦的例如使用風(fēng)格指南等需求都是不需要運(yùn)行源程序來(lái)檢測(cè)，因此都屬于靜態(tài)分析的范疇，雖然這些需求也可以通過(guò)人工檢查的方式實(shí)現(xiàn)，但一個(gè)好的靜態(tài)分析工具幾乎可以自動(dòng)化地執(zhí)行表1中所有的要求，通過(guò)靜態(tài)分析工具來(lái)幫助我們檢查和滿足這些規(guī)定可以明顯地幫助組織更有效率地實(shí)現(xiàn)ISO2626

7、2靜態(tài)分析的相關(guān)需求。針對(duì)靜態(tài)分析的需求，我們提供DAC這樣一個(gè)工具，它的主要功能包括：可以自動(dòng)化地地執(zhí)行C代碼及匯編代碼的靜態(tài)分析，支持包括MISRAC1998和2004的規(guī)則檢測(cè)；提供項(xiàng)目、文件和函數(shù)質(zhì)量度量；提供方便快捷的代碼結(jié)構(gòu)生成，高亮顯示代碼結(jié)構(gòu)并生成報(bào)告文檔等。在靜態(tài)測(cè)試中，除了規(guī)則檢測(cè)和質(zhì)量度量以外，還有一類錯(cuò)誤我們稱之為運(yùn)行時(shí)錯(cuò)誤，例如數(shù)組越界、標(biāo)量溢出等。運(yùn)行時(shí)錯(cuò)誤顧名思義是程序運(yùn)行的時(shí)候才會(huì)出現(xiàn)的錯(cuò)誤，針對(duì)這樣的錯(cuò)

8、誤，使用傳統(tǒng)的測(cè)試方式只有在動(dòng)態(tài)地運(yùn)行測(cè)試用例的時(shí)候才有可能發(fā)現(xiàn)，但是現(xiàn)在的測(cè)試工具可以使用先進(jìn)的代碼分析技術(shù)，不需要真正去執(zhí)行源代碼，而是使用數(shù)學(xué)方法分析源代碼，發(fā)現(xiàn)代碼中在運(yùn)行的時(shí)候可能會(huì)出現(xiàn)錯(cuò)誤的地方，從而實(shí)現(xiàn)通過(guò)靜態(tài)測(cè)試的方式來(lái)達(dá)到一定的動(dòng)態(tài)測(cè)試的效果。因?yàn)檫\(yùn)行時(shí)錯(cuò)誤會(huì)直接影響的程序執(zhí)行的可靠性，所以針對(duì)這類錯(cuò)誤的測(cè)試我們也可以稱之為可靠性測(cè)試。針對(duì)可靠性測(cè)試的需求，我們提供澳大利亞的一個(gè)運(yùn)行時(shí)錯(cuò)誤監(jiān)測(cè)工具Goanna。其模型檢