符合iso26262標(biāo)準(zhǔn)的軟件測(cè)試解決實(shí)施方案(編輯修改稿)
2025-05-31 13:06 本頁面
【文章內(nèi)容簡介】 規(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ò)誤，使用傳統(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)通過靜態(tài)測(cè)試的方式來達(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。其模型檢測(cè)技術(shù)可以對(duì)所有函數(shù)提供高效的路徑覆蓋，檢查超過90種運(yùn)行時(shí)錯(cuò)誤，包括空指針引用、危險(xiǎn)的指針運(yùn)算、未初始化/未使用變量、冗余/不需要的代碼、除零、內(nèi)存泄露、緩沖區(qū)溢出、釋放后使用、不一致的釋放、濫用的虛擬成員調(diào)用、算術(shù)錯(cuò)誤、32/64位兼容性等。符合ISO26262標(biāo)準(zhǔn)的軟件代碼SIL測(cè)試 在準(zhǔn)備和設(shè)計(jì)階段，大部分都是屬于靜態(tài)測(cè)試的工作，它在確認(rèn)設(shè)計(jì)或?qū)崿F(xiàn)的不足時(shí)非常高效，但它不能證明功能正確。而依ISO 262626標(biāo)準(zhǔn)開發(fā)的軟件根據(jù)需達(dá)到的車輛安全完整性等級(jí)（ASIL）不同，還需要經(jīng)過各種動(dòng)態(tài)測(cè)試，動(dòng)態(tài)測(cè)試可以驗(yàn)證軟件功能，因此是對(duì)靜態(tài)測(cè)試的有效補(bǔ)充。 以前的動(dòng)態(tài)測(cè)試大部分是通過人工的方式實(shí)現(xiàn)，但是由于動(dòng)態(tài)測(cè)試巨大的工作量，以及測(cè)試用例難以重用，測(cè)試覆蓋率無法計(jì)算的困難，因此在測(cè)試解決方案中還是需要選擇合適的動(dòng)態(tài)測(cè)試工具來執(zhí)行軟件單元測(cè)試。又因?yàn)镮SO 26262對(duì)需求和測(cè)試有可追溯性的要求，所以最好測(cè)試工具可以和相關(guān)需求管理工具集成，例如能夠從需求管理工具中將需求導(dǎo)入，再將測(cè)試用例和需求鏈接起來，并且實(shí)現(xiàn)數(shù)據(jù)的雙向同步。 針對(duì)軟件代碼SIL測(cè)試，我們提供德國的代碼級(jí)動(dòng)態(tài)測(cè)試工具Tessy。它的基本功能包括：全自動(dòng)地測(cè)試執(zhí)行和評(píng)估；多種方式確定測(cè)試用例；基于需求的測(cè)試跟蹤；不需要用戶介入的回歸測(cè)試；代碼覆蓋率；自動(dòng)生成測(cè)試報(bào)告等。 在Tessy中，測(cè)試用例的設(shè)計(jì)不僅可以基于需求覆蓋來進(jìn)行，包括進(jìn)行需求管理、需求跟蹤、需求覆蓋度統(tǒng)計(jì)等，也可以基于代碼覆蓋進(jìn)行測(cè)試用例設(shè)計(jì)，并且非常方便地達(dá)到MC/DC覆蓋的等級(jí)。符合ISO26262標(biāo)準(zhǔn)的MIL測(cè)試 在汽車領(lǐng)域的嵌入式控制系統(tǒng)開發(fā)中，基于模型的開發(fā)(ModelBased Development)的設(shè)計(jì)方法以其直觀、快速、高效等優(yōu)勢(shì)已經(jīng)得到廣泛的應(yīng)用。但是由于系統(tǒng)的復(fù)雜性，建立起來的仿真模型也越來越復(fù)雜，根據(jù)自動(dòng)生成代碼的測(cè)
公司管理相關(guān)推薦
鄂ICP備17016276號(hào)-1