基于模式的靜態代碼分析、運行時內存監測、單元測試以及數據流分析等軟件驗證技術是查找嵌入式C語言程序/軟件缺陷行之有效的方法。上述技術中的每一種都能查找出某一類特定的錯誤。即便如此，如果用戶僅采用上述技術中的一種或者幾種來進行驗證，這樣的驗證方法很有可能會漏過對程序中的一些缺陷的檢查。解決此類問題的一種安全和有效的策略就是同時使用上述軟件驗證中的所有互補技術。這樣就能建立起一個牢固的框架來幫助用戶檢查出可能會避開某種特定技術的缺陷。與此同時，用戶也自然地建立起一個能檢測出關鍵并且難以查找的功能性錯誤的環境。

本文將詳盡闡述基于模式的靜態代碼分析、運行時內存錯誤檢測、單元測試以及數據流分析等自動化技術共同使用時是如何查找出嵌入式C語言程序/軟件中的缺陷的。本文中將以Parasoft C++test為例來演示上述各項技術。C++teST是一個經廣泛的最佳實踐證明能提升軟件開發團隊開發效率以及軟件質量的自動化集成解決方案。

當讀者在閱讀本文以及任何時候思考查找到的缺陷時，關注文中的截圖是很重要的。自動化檢測例如內存崩潰和死鎖的缺陷，毫無疑問對任何開發團隊都是一項必不可少的任務。盡管如此，最致命的缺陷卻是功能性錯誤，這往往是難以自動發現的。在本文的結論部分我們將簡要地討論一下查找這些缺陷的技術。

情景簡介

為了給出一個具體的示例，我們將就一個我們最近遇到的案例來介紹以及演示我們所推薦的缺陷查找策略：一個運行在ARM 板上的簡單傳感器應用程序。

假設我們已經創建了該應用系統，但是當我們將程序上載到系統目標板上并試圖運行該程序時，我們沒有在LCD屏上看到所預期的輸出。

我們尚不明確系統不能正常工作的原因，因此我們設法對系統進行調試，但是在目標板上進行調試是一件耗時而且煩人的事。因為我們不得不手動分析調試器的結果并試圖人工判斷出問題的真正原因。或者我們使用一些被證實能自動定位出錯誤的工具或技術來幫助我們減輕負擔。

基于模式的靜態代碼分析

這里，我們假設僅在絕對必要的情況下才使用調試器進行調試，因此我們從運行基于模式的靜態代碼分析開始。它將查找到如下圖所示的問題：

這是違反了 MISRA 的一個規則，此違規說明該處的賦值運算符存在一些可疑情況。的確，編程者此處的本意是使用比較運算符而不是賦值運算符。因此我們將此處檢測到的沖突修改掉，并重新運行程序。

我們發現有了一些改善：一些輸出被顯示在了LCD屏上了。但是，由于一次訪問違規，程序崩潰掉了。因此我們需要再次地做出選擇。我們是應該使用調試器還是繼續使用自動化的錯誤檢測技術。由于經驗告訴我們自動化錯誤檢測技術能非常高效地檢查出我們當前程序所遇到的內存崩潰這類問題，因此我們決定使用運行時內存監測來查找問題。

整個程序的運行時內存監測

為了進行運行時內存監測，我們使用 C++test 來插裝應用程序。這樣的插裝是輕量級的，所以經過插裝后的程序適合在目標板上運行。當我們把程序上載到目標板上并運行經過插裝的程序后，我們將結果下載到PC上，如下的錯誤將被報告出來：

該結果指出在第48行代碼處產生了一次讀取數組越界的錯誤。顯然，msgIndex變量的值肯定超過了數組的范圍。如果我們隨著堆棧追蹤上一級的原因，我們將發現此處的打印信息所指示的值的確超出了數組的范圍（因為在調用printMessage()函數前我們給出了一個錯誤的條件）。我們可以刪除掉這個不必要的條件（value <= 20）以修改這個錯誤。

void handleSensorValue(int value)
{
initialize();
int index = -1;
if (value >= 0 && value <= 10) {
index = VALUE_LOW;
} else if ((value > 10) && (value <= 20)) {
index = VALUE_HIGH;
}
printMessage(index, value);
}

然后我們重新運行程序，將不會再報告任何內存錯誤。當我們把程序上載到目標板上時，它似乎如我們預期那么在工作了。盡管如此，我們仍然有一些擔心。

我們僅查找到我們所執行的代碼路徑中的一個內存寫溢出實例，我們憑什么能夠斷定我們尚未執行到的代碼就不會有內存寫溢出錯誤了呢？如果我們檢查覆蓋率分析，我們就會發現reportSensorFailure()這個函數從未被執行到。我們有必要對這個函數進行測試，但是具體如何進行呢？建立一個調用該函數的單元測試用例就是一個不錯的辦法。

在單元測試中使用運行時內存監測:我們使用C++test的測試用例向導來創建一個測試用例的框架，并向其中添加一些測試代碼。然后運行該測試用例——以檢查上面提到的未經測試的函數，同時打開運行時內存監測功能。使用C++teST，全過程大約只需要數秒鐘。

結果標明該函數已經被覆蓋到了，但同時也查找到了新的錯誤：