在功能安全中測試覆蓋率是比較重要的概念，也是在驗證過程中通常需要花費時間較多的步驟，如果能借助于靜態(tài)檢查工具的死邏輯查找和聲明、測試用例自動補全等功能往往能取得事半功倍的效果。功能安全標準中常見的幾種覆蓋率類型有：

- 語句覆蓋：程序中的每條語句是否都被執(zhí)行到。

- 判定覆蓋（決策覆蓋）：各分支路徑是否都被執(zhí)行到。

- 條件覆蓋：進入分支前的判斷條件中的各子條件的可能輸出是否都滿足到。

- 修正條件判定覆蓋（MC/DC）：每個能獨立影響到?jīng)Q策輸出的條件是否都被滿足到。MC/DC 其實是條件組合覆蓋的子集，條件組合覆蓋要求覆蓋判定中所有條件取值的所有可能組合，所需測試用例和條件數(shù)成指數(shù)關系，在實際應用中難以操作。MC/DC 具有條件組合覆蓋的優(yōu)勢，同時大幅減少用例數(shù)。比如對于判定條件 X||(Y&&Z), MC/DC 通過下表的四個測試用例即可實現(xiàn) 100% 覆蓋，而如果采用條件組合覆蓋則需要8個測試用例，隨著條件數(shù)的增加用例數(shù)的差異會更加明顯。

在采用基于模型設計時，語句覆蓋對等的概念是執(zhí)行覆蓋，意指模型中的每個基本模塊在仿真過程中是否都被運行到。判定覆蓋、條件覆蓋和 MC/DC 在模型層面均有類似的概念。

函數(shù)覆蓋和函數(shù)調(diào)用覆蓋

函數(shù)是程序的基本組成部分，程序通過調(diào)用函數(shù)實現(xiàn)功能，同一函數(shù)可能會被多次調(diào)用。如果所有定義的函數(shù)均被執(zhí)行到，則滿足函數(shù)覆蓋；如果程序中的所有函數(shù)調(diào)用處（包括同一函數(shù)的多次調(diào)用）均被執(zhí)行到，則滿足函數(shù)調(diào)用覆蓋。函數(shù)覆蓋和函數(shù)調(diào)用覆蓋只針對代碼，對于模型則沒有對應概念。在基于模型設計中，我們可以借助于軟件在環(huán)(SIL)測試來獲取這一指標。

單元級與架構(gòu)級覆蓋率要求

在 ISO 26262:2018 中覆蓋率要求在單元級和架構(gòu)級是不一樣的，因此如何合理劃分單元是非常重要的。

覆蓋率與死邏輯

在靜態(tài)檢查中有一項是檢查程序中有無不可達代碼（死邏輯），但并不能替代測試覆蓋率。沒有不可達代碼意味著有 100% 測試覆蓋的可能，后續(xù)還需要通過運行測試用例并收集到覆蓋率數(shù)據(jù)；有不可達代碼意味著從理論上無法通過測試達到 100% 覆蓋。

利用代碼檢查完善覆蓋率測試

在實踐中我們可以利用靜態(tài)檢查的這個能力來輔助測試覆蓋率，從而發(fā)現(xiàn)程序中的缺陷或者加以聲明（Justification）。以代碼靜態(tài)檢查和形式化驗證能力見長的 Polyspace 在 R2023b 之后增加了動態(tài)測試工具 Polyspace Test, 我們可以從以下案例中來看兩者是如何相輔相成實現(xiàn)測試覆蓋率和聲明的。

首先利用代碼解析功能查看程序中所涉及的頭文件、函數(shù)和數(shù)據(jù)類型，在函數(shù)調(diào)用圖中理解函數(shù)調(diào)用的層次關系。

在設計測試用例時可以與對應的需求進行鏈接，在編譯前選擇獲取代碼覆蓋率。

從收集的覆蓋率數(shù)據(jù)看到語句和決策覆蓋尚未滿足，也可以進一步分析具體的覆蓋點。

將已有的覆蓋率數(shù)據(jù)作為輸入并借助于自動生成測試功能，再次運行包括新增的生成用例在內(nèi)的所有用例，覆蓋率數(shù)據(jù)有明顯提升，尚未達到的決策覆蓋很有可能是不可達代碼。

我們可以借助集成的靜態(tài)檢查和形式化驗證功能分析并定位到具體的不可達代碼處，通過代碼審查排查代碼缺陷或者將靜態(tài)檢查結(jié)果導入到覆蓋分析中作為聲明。

以上從工具的角度展示了如何利用靜態(tài)檢查和形式化驗證的能力來完善測試覆蓋率的過程，具體的使用方法需要根據(jù)代碼的安全要求和質(zhì)量目標所定的流程來開展。