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

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

▎測(cè)試方案

01 代碼測(cè)試

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

1）核心價(jià)值

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

2）測(cè)試內(nèi)容

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

02 模型測(cè)試

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

1）核心價(jià)值

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

2）測(cè)試內(nèi)容

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

03 性能測(cè)試

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

1）核心價(jià)值

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

2）測(cè)試內(nèi)容

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

▎服務(wù)配套

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

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