前序兩篇文章分別介紹了模型靜態(tài)規(guī)范檢查工具Model Inspector和模型動態(tài)測試工具Model Verifier，本篇文章將介紹符合功能安全和ASPICE流程的模型測試解決方案。

伴隨汽車行業(yè)向“上半場電動化，下半場智能化”的深刻變革，系統(tǒng)復雜性急劇增加，對電子控制單元（ECU）的安全性提出了前所未有的嚴格要求。復雜的軟件功能帶來的潛在風險，使得規(guī)范基于模型的設(shè)計（MBD）流程、統(tǒng)一建模標準并確保模型與需求及功能實現(xiàn)的一致性，成為各廠商提升軟件質(zhì)量和功能安全的關(guān)鍵挑戰(zhàn)。

圖1 軟件質(zhì)量度量

ISO 26262在設(shè)計開發(fā)和測試驗證等階段對模型測試提出了要求，需要對模型開展建模規(guī)范檢查、質(zhì)量度量、單元測試、集成測試、背靠背測試，保證模型及生成代碼的質(zhì)量。

圖2 功能安全要求

符合功能安全/ASPICE流程的模型測試解決方案

針對動力、底盤、車身等領(lǐng)域控制器的模型測試，經(jīng)緯恒潤擁有豐富的項目實施和方案定制經(jīng)驗。借助建模規(guī)范檢查工具MI對模型進行自動化、批量化的建模規(guī)范檢查和復雜度度量，檢查 Simulink、Targetlink 等模型是否符合建模標準、評估模型設(shè)計的合理性；借助動態(tài)測試工具MV自動化、批量化的執(zhí)行 MIL、SIL 及背靠背測試，驗證模型和需求，模型和代碼的一致性，提供以用戶為中心的交互界面，形成依據(jù)需求進行測試用例管理和執(zhí)行的自動化測試環(huán)境。

除基于MI/MV的實施方法，經(jīng)緯恒潤還提供基于客戶自備工具鏈（Simulink Test、BTC、TPT等）構(gòu)建測試方案并開展模型測試的能力項。

圖3 模型全流程實施方案

· 客戶收益

? 統(tǒng)一建模標準，識別潛在風險，規(guī)范MBD開發(fā)流程

? 提高協(xié)同開發(fā)效率，保證模型和模型生成代碼的質(zhì)量

? 發(fā)現(xiàn)潛在風險，定位邏輯缺陷，保證模型需求和功能的一致性

? 構(gòu)建符合功能安全和 ASPICE 要求的測試工具鏈，形成模型測試能力項

· 測試內(nèi)容

? 質(zhì)量度量：包含圈復雜度、軟件耦合度、內(nèi)聚度、模塊數(shù)量、子系統(tǒng)深度等21種

? 規(guī)范檢查：包含MAB、MISAR_AC_SLSF等標準規(guī)范以及功能安全的映射規(guī)則集掃描，同時支持根據(jù)企標和項目經(jīng)驗自定義規(guī)則集進行統(tǒng)一下發(fā)執(zhí)行

單元/集成測試：基于需求的測試、接口覆蓋度測試、組件內(nèi)行為驗證、組件間行為驗證、邊界值測試、故障注入測試等

? 背靠背測試：對模型以及模型生成的代碼（SIL/PIL環(huán)境下）進行一致性測試

? 質(zhì)量管控：建模規(guī)范違背報告、度量元統(tǒng)計報告、修正建議清單、覆蓋度統(tǒng)計報告、測試問題單、測試用例、測試記錄、需求用例追溯表等

圖4 靜態(tài)測試流程

圖5 動態(tài)測試流程

測試能力介紹

經(jīng)緯恒潤深耕模型測試領(lǐng)域多年，具備全流程測試場景覆蓋與風險點追蹤的能力，熟悉從需求分析到結(jié)果驗證的閉環(huán)問題定位流程。針對客戶的特定需求，經(jīng)緯恒潤提供定制化的咨詢服務(wù)，包括測試過程能力建設(shè)、測試技術(shù)咨詢、測試工具鏈建設(shè)、高階軟件測試服務(wù)（包含性能、壓力、可靠性、安全性）等。目前，公司已成功助力多家主機廠及零部件企業(yè)提升模型質(zhì)量，為其產(chǎn)品可靠性保駕護航。

了解更多：請致電 010-64840808轉(zhuǎn)6116 或發(fā)郵件至market_dept@hirain.com（聯(lián)系時請說明來自EEPW）