符合iso26262標準的軟件測試解決實施方案-在線瀏覽
2025-06-21 13:06本頁面
【正文】 需求規(guī)范來進行，可以最直觀地反映出ECU軟件是否能夠滿足定義的功能安全需求。符合ISO26262標準的靜態(tài)測試針對靜態(tài)分析的需求，我們提供DAC這樣一個工具，它的主要功能包括：可以自動化地地執(zhí)行C代碼及匯編代碼的靜態(tài)分析，支持包括MISRAC1998和2004的規(guī)則檢測；提供項目、文件和函數質量度量； 提供方便快捷的代碼結構生成，高亮顯示代碼結構并生成報告文檔等。運行時錯誤顧名思義是程序運行的時候才會出現(xiàn)的錯誤，針對這樣的錯誤，使用傳統(tǒng)的測試方式只有在動態(tài)地運行測試用例的時候才有可能發(fā)現(xiàn)，但是現(xiàn)在的測試工具可以使用先進的代碼分析技術，不需要真正去執(zhí)行源代碼，而是使用數學方法分析源代碼，發(fā)現(xiàn)代碼中在運行的時候可能會出現(xiàn)錯誤的地方，從而實現(xiàn)通過靜態(tài)測試的方式來達到一定的動態(tài)測試的效果。其模型檢測技術可以對所有函數提供高效的路徑覆蓋，檢查超過90種運行時錯誤，包括空指針引用、危險的指針運算、未初始化/未使用變量、冗余/不需要的代碼、除零、內存泄露、緩沖區(qū)溢出、釋放后使用、不一致的釋放、濫用的虛擬成員調用、算術錯誤、32/64位兼容性等。符合ISO26262標準的軟件代碼SIL測試而依ISO 262626標準開發(fā)的軟件根據需達到的車輛安全完整性等級（ASIL）不同，還需要經過各種動態(tài)測試，動態(tài)測試可以驗證軟件功能，因此是對靜態(tài)測試的有效補充。 以前的動態(tài)測試大部分是通過人工的方式實現(xiàn)，但是由于動態(tài)測試巨大的工作量，以及測試用例難以重用，測試覆蓋率無法計算的困難，因此在測試解決方案中還是需要選擇合適的動態(tài)測試工具來執(zhí)行軟件單元測試。它的基本功能包括：全自動地測試執(zhí)行和評估；多種方式確定測試用例；基于需求的測試跟蹤；不需要用戶介入的回歸測試；代碼覆蓋率；自動生成測試報告等。 在Tessy中，測試用例的設計不僅可以基于需求覆蓋來進行，包括進行需求管理、需求跟蹤、需求覆蓋度統(tǒng)計等，也可以基于代碼覆蓋進行測試用例設計，并且非常方便地達到MC/DC覆蓋的等級。符合ISO26262標準的MIL測試但是由于系統(tǒng)的復雜性，建立起來的仿真模型也越來越復雜，根據自動生成代碼的測試結果再來改進模型的測試方式也變得越來越困難，并且根據ISO 26262標準ASIL C和D的要求，必須對模型和對應的代碼分別進行單元測試并且比較結果，因此，如果是使用模型自動生成代碼的設計方式的話，我們需要在建立了仿真模型之后就對模型進行測試，在確保模型功能正確的基礎之上來自動生成代碼再進行代碼測試。 針對MIL測試，我們提供德國的分時段測試工具TPT，實現(xiàn)對控制系統(tǒng)以及閉環(huán)控制系統(tǒng)模型的MIL測試。提供了全方位的支持進行模型測試。 同時，在TPT中可以滿足ISO 26262基于功能設計測試用例的需求，包括分析建立場景、定義測試用例組件、確定
公司管理相關推薦
鄂ICP備17016276號-1