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

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

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

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

圖2 功能安全要求

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

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

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

圖3 模型全流程實(shí)施方案

· 客戶收益

□ 統(tǒng)一建模標(biāo)準(zhǔn)，識(shí)別潛在風(fēng)險(xiǎn)，規(guī)范MBD開發(fā)流程

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

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

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

·測試內(nèi)容

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

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

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

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

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

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

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

測試能力介紹

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