隨著自動駕駛、車聯(lián)網(wǎng)等技術(shù)突飛猛進(jìn)的發(fā)展，汽車中包含的軟件越來越多。如何保證這些軟件的質(zhì)量成了重中之重。經(jīng)緯恒潤擁有十幾年的嵌入式軟件開發(fā)及測試經(jīng)驗(yàn)及經(jīng)驗(yàn)豐富的軟件測試團(tuán)隊(duì)，能夠借助測試工具及設(shè)備給客戶提供優(yōu)質(zhì)的靜態(tài)測試服務(wù)。

ISO26262功能安全對于靜態(tài)測試的要求

ISO26262中對于靜態(tài)測試的要求涉及到軟件編碼規(guī)范，如類型強(qiáng)轉(zhuǎn)/防御性編程、架構(gòu)設(shè)計(jì)如各類度量元指標(biāo)約束、及詳細(xì)設(shè)計(jì)如變量初始化/指針有效使用等多方面，具體要求詳見表格。

靜態(tài)工具與功能安全要求的映射（建模與編碼規(guī)范）

靜態(tài)工具與功能安全要求的映射（軟件架構(gòu)設(shè)計(jì)）

靜態(tài)工具與功能安全要求的映射（軟件詳細(xì)設(shè)計(jì)與實(shí)現(xiàn)）

測試方案

對于汽車行業(yè)來講，靜態(tài)分析一般注重編碼規(guī)則檢查、軟件的復(fù)雜度、質(zhì)量指標(biāo)等內(nèi)容。通過檢查代碼對標(biāo)準(zhǔn)的遵循、可讀性，代碼的邏輯表達(dá)的正確性，代碼結(jié)構(gòu)的合理性等方面進(jìn)行評估，以發(fā)現(xiàn)程序中不安全、不穩(wěn)定的問題和模糊不明確的風(fēng)險(xiǎn)隱患，有效保障軟件產(chǎn)品的質(zhì)量。

靜態(tài)測試整體方案

依照ISO26262功能安全對于靜態(tài)測試的要求，有效制定符合ASIL等級要求的規(guī)則集用于測試實(shí)施。

功能安全規(guī)則集制定及實(shí)施

根據(jù)ISO26262對代碼級靜態(tài)測試要求，針對不同的用戶，經(jīng)緯恒潤提供定制化的咨詢服務(wù)，主要包括：測試過程能力建設(shè)、測試技術(shù)咨詢、測試工具鏈建設(shè)、第三方測試服務(wù)等。