Polyspace工具可幫助您識別軟件中的死代碼或執(zhí)行不到的代碼。這可以節(jié)省時間并降低與測試活動相關(guān)的成本，從而實現(xiàn)穩(wěn)健性和完整的代碼覆蓋度。Polyspace產(chǎn)品提供的有關(guān)軟件運行時行為的詳細信息證明了死代碼的存在，并幫助您將控制和數(shù)據(jù)流跟蹤到潛在來源。這在遵守行業(yè)標準（如DO178B/C、ISO26262、IEC61508和IEC62304）時尤其重要。

死代碼是您的應用中永遠不會執(zhí)行的部分。常見的原因包括：

條件分支中的編程錯誤

由于輸入數(shù)據(jù)永遠不會導致執(zhí)行某個特定分支，代碼永遠不會得到執(zhí)行

調(diào)試結(jié)構(gòu)和其他非功能代碼

針對不同運行時情景而設(shè)計的可重用組件

您的應用中存在死代碼可能導致嚴重的后果，因為它可能是隱藏錯誤的根源。死代碼還意味著該代碼效率低下，因為它會增加可執(zhí)行文件的大小，這對于嵌入式應用影響很大。還可能導致法律問題。

死代碼的簡單示例

此外，檢測死代碼的效率可能非常低，使用傳統(tǒng)的測試方法幾乎不可能檢測到。根據(jù)DO-178C的形式方法補充DO—333，“涉及‘始終/從不’的需求一般不能由一組有限的測試用例進行驗證，但可以通過形式分析進行驗證?！?/p>

使用測試實現(xiàn)完整代碼覆蓋率的成本

Polyspace產(chǎn)品可以幫助您找到死代碼，優(yōu)化測試周期，并縮短整個驗證周期。

這非常重要，因為它可以減少工程師試圖獲得100%代碼覆蓋率所花費的時間，還可以節(jié)省測試時間和開發(fā)資源。這對于必須遵守像DO178B/C之類的標準的高度完整性和安全關(guān)鍵型應用尤其如此。

DO-178B/ED-12B對死代碼和停用代碼的定義如下：

死代碼- 由于設(shè)計錯誤而無法在目標計算機環(huán)境的操作配置中執(zhí)行（代碼）或使用（數(shù)據(jù)），并且不能被追溯至系統(tǒng)或軟件需求的可執(zhí)行目標代碼（或數(shù)據(jù)）。一個例外是嵌入式標識符。

停用代碼- 在設(shè)計上符合以下特征之一的可執(zhí)行目標代碼（或數(shù)據(jù)）：

不是為了執(zhí)行（代碼）或使用（數(shù)據(jù)），例如以前開發(fā)的軟件組件的一部分

僅在目標計算機環(huán)境的特定配置中執(zhí)行（代碼）或使用（數(shù)據(jù)），例如由硬件引腳選擇或軟件編程的選項啟用的代碼

DO-178B/ED-12B的基本要求是刪除任何死代碼，并驗證停用的代碼，證明它不會被意外激活。因此，測試的成本非常高。無論認證要求如何，識別死代碼還是一個不錯的開發(fā)實踐，因為研究表明，死代碼和停用代碼是隱藏缺陷和運行時錯誤的根源。Polyspace產(chǎn)品可以幫助您優(yōu)化測試周期，并縮短整個驗證周期。

使用 Polyspace Bug Finder 識別執(zhí)行不到的代碼

即使在運行單個測試用例之前，您也可以使用PolySpace代碼驗證工具在模塊級或在完整的應用中識別執(zhí)行不到的代碼。如下圖所示，使用Polyspace Bug Finder，您可以直接在IDE（如Eclipse）中檢測執(zhí)行不到的代碼部分。這還有助于您考慮任何此類死代碼對您的應用的影響，從而使您能夠在第一時間做出更改。

使用 Polyspace Bug Finder 在 Eclipse IDE 內(nèi)直接在編譯階段識別死代碼

使用 Polyspace Code Prover 證明死代碼的存在

Polyspace Code Prover可讓您證明死代碼的存在，因為它提供了數(shù)學證明方式，突出顯示某一段代碼，對于任何代碼路徑或者應用中任何組合變量值，該段代碼均不執(zhí)行。憑借形式化方法和抽象解釋技術(shù)，Polyspace Code Prover可以證明應用中的死代碼，且誤報率幾乎為零。

在 Polyspace Code Prover 中證明死代碼的存在，其中包括導致該問題的原因的詳細信息

您可以使用詳細的檢查信息進一步了解此類冗余的原因。它可能會揭示在需求捕獲中由于未識別或者未關(guān)聯(lián)任何測試用例而錯過的需求。還可以使用能夠識別上下文驗證參數(shù)范圍的數(shù)據(jù)范圍規(guī)范來識別死代碼和停用代碼。

代碼覆蓋率、代碼度量指標和趨勢

代碼覆蓋率是一項指標，用于量化表示某個軟件應用是否經(jīng)過全面測試并且包含錯誤的機率較低。結(jié)構(gòu)化代碼覆蓋率主要用作一種度量，表示達到了足夠的測試的情況。由于不可能測試所有可能的運行時場景，100%的代碼覆蓋率是指經(jīng)過測試已經(jīng)達到可接受水平的軟件。死代碼的存在使得不可能達到100%的代碼覆蓋率，并導致投入大量的時間和精力編寫不必要的測試用例。

Polyspace工具可產(chǎn)生并合成有用的代碼指標，準確地反映代碼的質(zhì)量。這些指標可以使用基于Web的儀表板查看。使用這一內(nèi)置功能，您可以訪問各種指標，如運行時錯誤、代碼復雜度，以及編碼違規(guī)。使用這些指標，您可以在從第一次迭代到最終交付版本的代碼進化過程中跟蹤達到預定義的軟件質(zhì)量目標的進度。您還可以測量實施的任何代碼更改對代碼庫造成的增量影響，例如由于更改而引入任何死代碼。

在 Polyspace 基于 Web 的儀表板中跟蹤代碼質(zhì)量指標

此外，Polyspace產(chǎn)品還可以很好地與代碼覆蓋工具集成，如可以導入Polyspace產(chǎn)品驗證結(jié)果并使用這些結(jié)果補充代碼覆蓋解決方案的VectorCast。