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