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

伴隨汽車行業(yè)向“上半場(chǎng)電動(dòng)化，下半場(chǎng)智能化”的深刻變革，系統(tǒng)復(fù)雜性急劇增加，對(duì)電子控制單元（ECU）的安全性提出了前所未有的嚴(yán)格要求。復(fù)雜的軟件功能帶來(lái)的潛在風(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ì)開(kāi)發(fā)和測(cè)試驗(yàn)證等階段對(duì)模型測(cè)試提出了要求，需要對(duì)模型開(kāi)展建模規(guī)范檢查、質(zhì)量度量、單元測(cè)試、集成測(cè)試、背靠背測(cè)試，保證模型及生成代碼的質(zhì)量。

圖2 功能安全要求

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

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

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

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

· 客戶收益

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

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

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

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

·測(cè)試內(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í)行

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

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

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

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

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

測(cè)試能力介紹

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