隨著汽車智能化發(fā)展，車型功能日益豐富，導(dǎo)致分布式電子架構(gòu)下的ECU數(shù)量激增，進(jìn)而引發(fā)了控制器兼容性差、維護(hù)成本高等一系列問題。為此，行業(yè)開始向集成化、域控化方向轉(zhuǎn)型，通過功能整合、集中管理來降低系統(tǒng)復(fù)雜性帶來的風(fēng)險。然而，隨著轉(zhuǎn)型的不斷深入也帶來了新的挑戰(zhàn)：如何保證集成在多個MCU、SOC上復(fù)雜軟件的質(zhì)量，以及其整體功能與性能表現(xiàn)？

針對這一挑戰(zhàn)，經(jīng)緯恒潤憑借豐富的研發(fā)經(jīng)驗，嚴(yán)格遵循功能安全、信息安全及ASPICE等標(biāo)準(zhǔn)，打造了面向新一代域控制器的多維度測試方案，涵蓋規(guī)范檢查、功能驗證與性能評估。目前，該方案已在動力、車身、智駕等核心域投入廣泛應(yīng)用，并通過持續(xù)實踐，為軟件質(zhì)量與產(chǎn)品可靠性保駕護(hù)航。

▎測試方案

01 代碼測試

• 基于Helix QAC/Klocwork等工具，借助規(guī)則規(guī)范檢查、運行時錯誤檢測、質(zhì)量度量元檢查、命名規(guī)范檢測等方法對代碼開展靜態(tài)測試，提升軟件準(zhǔn)確性及可靠性
• 基于Tessy/CT等工具，按照功能安全要求對代碼開展自動化單元/集成測試，證明被測軟件實現(xiàn)其單元/架構(gòu)設(shè)計規(guī)范且不包含非預(yù)期功能
• 輸入物：代碼規(guī)范標(biāo)準(zhǔn)、詳細(xì)設(shè)計文檔、架構(gòu)設(shè)計文檔、C/C++/Java/Python工程包等
• 交付物：靜態(tài)測試報告、單元/集成測試報告、問題背離文檔、軟件修復(fù)建議與支持等
  

1）核心價值

• 提升代碼質(zhì)量檢查可行性，形成統(tǒng)一標(biāo)準(zhǔn)
• 開發(fā)早期發(fā)現(xiàn)問題，降低修復(fù)成本
• 驗證組件調(diào)度和控制流準(zhǔn)確性，降低軟件風(fēng)險
• 構(gòu)建復(fù)雜集成場景，發(fā)現(xiàn)隱藏缺陷
• 保證代碼功能和需求文檔一致性，提高軟件質(zhì)量
  

2）測試內(nèi)容

• MISRA C/C++規(guī)范檢查，定位隱式數(shù)據(jù)轉(zhuǎn)換、指針非法使用等問題
• 信息安全漏洞掃描，識別數(shù)組越界、訪問錯誤等風(fēng)險
• 代碼質(zhì)量度量檢查，包含圈復(fù)雜度、靜態(tài)路徑數(shù)、嵌套深度等
• 函數(shù)功能測試（SIL/PIL），驗證控制流與數(shù)據(jù)流的有效性
• 基于需求的測試，包含單元測試、組件內(nèi)集成測試、組件間集成測試
• 覆蓋率測試，涵蓋語句、分支、函數(shù)、調(diào)用覆蓋等
  

02 模型測試

• 基于Model Inspector等工具，檢查模型對行業(yè)內(nèi)建模規(guī)范和指南的遵循情況，定位潛在設(shè)計風(fēng)險，提高模型質(zhì)量
• 基于Model Verifier等工具，對模型進(jìn)行單元/集成/背靠背測試，驗證模型和需求、模型和其生成代碼的功能一致性
• 輸入物：建模規(guī)范標(biāo)準(zhǔn)、詳細(xì)設(shè)計文檔、架構(gòu)設(shè)計文檔、模型工程包等
• 交付物：靜態(tài)測試報告、單元/集成/背靠背測試報告、問題背離文檔、模型修復(fù)建議與支持等
  

1）核心價值

• 功能安全和OEM要求的必要環(huán)節(jié)
• 建模階段發(fā)現(xiàn)風(fēng)險，保證模型質(zhì)量
• 統(tǒng)一建模方式，形成規(guī)范標(biāo)準(zhǔn)
• 保證模型功能和需求的一致性
• 保證模型生成代碼和模型功能一致性
  

2）測試內(nèi)容

• MAB、定制化（比如滿足功能安全）規(guī)則集檢查
• 模型質(zhì)量度量檢查，包含圈復(fù)雜度、嵌套深度、耦合度等
• 基于需求的測試（子系統(tǒng)功能驗證）
• 需求和模型關(guān)聯(lián)驗證，背離風(fēng)險分析
• 模型單元/集成測試（MIL）
• 背靠背測試（B2B，MIL-SIL）
• 模型覆蓋率測試，識別不可達(dá)、孤立模塊
  

03 性能測試

• 基于AbsInt工具自動分析任務(wù)/中斷/runnable的最差工況堆棧用量和執(zhí)行時間，并通過自研插件仿真計算內(nèi)存占用和CPU load
• 基于PROV工具/自研插件等在PIL/HIL/實車環(huán)境下監(jiān)控控制器的性能表現(xiàn)，測試軟件的堆棧、執(zhí)行時間、響應(yīng)時間、CPU負(fù)載等指標(biāo)
• 輸入物：性能測試標(biāo)準(zhǔn)、任務(wù)/中斷調(diào)度表、架構(gòu)設(shè)計文檔等
• 交付物：堆棧分析報告、時間性能測試報告、CPU負(fù)載測試報告、問題清單、軟件修復(fù)建與支持等
  

1）核心價值

• 在代碼開發(fā)、控制器集成階段評估資源用量，指導(dǎo)芯片選型
• 保證軟件的任務(wù)/中斷/函數(shù)等預(yù)留的堆棧空間和執(zhí)行時間合理性
• 評估函數(shù)在最差路徑下的調(diào)用順序和占用比例，分析變量讀寫權(quán)限
• 在SIM/PIL等環(huán)境下評估資源使用率，支撐產(chǎn)品各階段質(zhì)量驗收
• 監(jiān)測多工況下任務(wù)調(diào)度行為和CPU負(fù)載變化，為系統(tǒng)優(yōu)化提供參考
• 保證多任務(wù)和多核運行的合理性，識別優(yōu)先級反轉(zhuǎn)、死鎖等時序問題
• 構(gòu)建符合功能安全和 ASPICE 要求的測試工具鏈，形成性能測試能力
  

2）測試內(nèi)容

• 堆棧用量及使用率分析
• RAM/ROM/Flash占用率分析
• 各內(nèi)存段(數(shù)據(jù)、代碼)分配
• 變量讀寫權(quán)限、數(shù)據(jù)競爭分析
• WCET、WCRT、周期、激活時間分析
• 任務(wù)時序調(diào)度、優(yōu)先級分析
• CPU負(fù)載率（Max、Ave）分析
  

▎服務(wù)配套

根據(jù)功能安全/信息安全/ASPICE對靜態(tài)測試、單元測試、集成測試、性能測試的要求，針對不同的用戶經(jīng)緯恒潤提供定制化的咨詢服務(wù)，主要包括：測試過程能力建設(shè)、測試技術(shù)咨詢、測試工具鏈建設(shè)、第三方測試服務(wù)等。

憑借在軟件測試領(lǐng)域多年的深耕，經(jīng)緯恒潤實現(xiàn)了全流程測試場景覆蓋與風(fēng)險閉環(huán)管理，精通從需求到驗證的完整問題定位流程。目前，公司已成功助力多家主機廠及零部件供應(yīng)商顯著提升模型與軟件質(zhì)量，為其產(chǎn)品可靠落地保駕護(hù)航。