解決方案
測(cè)試自動(dòng)化解決方案
按照國際標(biāo)準(zhǔn)(ISO 26262、MISRA-C、ISO 29119等)進(jìn)行分步驗(yàn)證
丨編碼規(guī)則驗(yàn)證
· MISRA-AC MAAB等
丨代碼度量驗(yàn)證
· 對(duì)模型進(jìn)行功能驗(yàn)證
丨Run-time Error驗(yàn)證
· 驗(yàn)證模型到代碼的一致性
丨執(zhí)行單元和集成測(cè)試
丨通過需求和設(shè)計(jì)分析開發(fā)和執(zhí)行測(cè)試用例
丨檢查結(jié)構(gòu)覆蓋
· 語法、分支、MC/DC、函數(shù)調(diào)用等的覆蓋測(cè)量
丨靜態(tài)驗(yàn)證(模型規(guī)則驗(yàn)證)
· MISRA-AC MAAB等
丨動(dòng)態(tài)驗(yàn)證
· 對(duì)模型進(jìn)行功能驗(yàn)證
丨一致性驗(yàn)證
· 驗(yàn)證模型到代碼的一致性
丨ASPICE 項(xiàng)目經(jīng)驗(yàn)
·臺(tái)灣 XXX 公司:CANIF
·蘇州 XXX 公司:ADCU
·廣州 XXX 公司:ADCU
·深圳 XXX 公司:ADCU
·常州 XXX 公司:流體動(dòng)力系統(tǒng)
碩索福特提供的解決方案及服務(wù)
01
測(cè)試自動(dòng)化解決方案
02
第三方驗(yàn)證
模型驗(yàn)證
· MODEL INSPECTOR
· MODEL VERIFIER
· 靜態(tài)模型分析
· 動(dòng)態(tài)模型測(cè)試
軟件驗(yàn)證
· STATIC
· CONTROLLER TESTER
· COVER
· SIL
· 編碼規(guī)則檢查
· 運(yùn)行時(shí)錯(cuò)誤(RTE)檢測(cè)
· 軟件單元/集成測(cè)試
系統(tǒng)驗(yàn)證
· COVER
· FIT
· PROV
· VISTA
· HIL 測(cè)試
· 缺陷注入測(cè)試
· 系統(tǒng)測(cè)試