靜態(tài)測(cè)試解決方案

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

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

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

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

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

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

測(cè)試方案

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

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

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

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

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