隨著汽車工業(yè)的不斷發(fā)展，汽車電氣系統(tǒng)越來越復(fù)雜，目前一臺汽車搭載的動力系、車身系、信息系ECU多達50~100個。      

     ECU中的軟件規(guī)模也大幅增加，規(guī)模已超過1000萬行，開發(fā)成本越來越高。汽車的量產(chǎn)周期非但沒有因此而延長，相反是越來越短，從90年代的36個月，縮短到目前12個月之內(nèi)。伴隨著造車的復(fù)雜性增高、成本增加、周期縮短，汽車控制失效事件也越來越多，給社會安全造成了很大的影響。

圖 2010年以來召回的汽車數(shù)量激增

 為了抑制汽車控制系統(tǒng)愈發(fā)龐大的開發(fā)量、愈發(fā)復(fù)雜的電氣系統(tǒng)帶來的控制失效事件增加、車廠修復(fù)成本增加，并減少社會安全事故、確保用戶用車安全，2011年11月作為國際標準體系的ISO26262汽車功能安全標準應(yīng)運而生。

  ISO26262體系構(gòu)成

ISO26262功能安全標準中針對ECU研發(fā)有兩個要求：

     覆蓋度測定是衡量軟件單元測試質(zhì)量的一個重要指標，分為語句覆蓋、判定覆蓋、條件覆蓋、分支覆蓋、修正條件判定覆蓋等多種覆蓋度指標。ECU開發(fā)中一般都會要求達到修正條件判定覆蓋，也就是業(yè)界常說的MC/DC覆蓋度指標

富士通南大軟件自主研發(fā)的模型/代碼一致性測試解決方案（easyModelVerifier），是一套可全自動完成Simulink模型和代碼的Back-to-Back一致性驗證工具。廣泛應(yīng)用于基于模型開發(fā)產(chǎn)品的單體測試和集成測試，支持測試用例的自動生成及便利編輯，支持MIL/SIL/PIL多種仿真，自動比較仿真結(jié)果并通過生成的HTML報表直觀呈現(xiàn)測試結(jié)果。 

     easyModelVerifier已經(jīng)成功應(yīng)用于國外某整車廠的發(fā)動機、變速箱電控軟件的測試及某研究所的數(shù)字電源控制軟件的測試。此外、尚有多家國內(nèi)外企業(yè)正在檢討此軟件的導(dǎo)入，以幫助通過產(chǎn)品的功能安全認證。