一、問題重現(xiàn)

下面的描述來自 Parasoft 的客戶某跨國網(wǎng)通設備大廠的郵件內(nèi)容，客戶在郵件中描述了一段存在 Bug 的代碼。以下是郵件內(nèi)容（注：為防止泄漏客戶代碼信息，對代碼做過輕微改動）：

“

As talked last night, we have solved one big code bug; here I list it here for your information.

This code cause system running in an endless loop, that cause system reboot due to watch dog timer timeout.

void ETN_xdd_algo::stop_running(T_global_TCID tcid)

{

if ( pinstances == NULL) { return;

}

LE_simple_list::iterator it = pinstances->begin();

for (; it != pinstances->end(); ) { if (tcid == (*it)->get_tcid()) {

delete *it; break;

}

}

return;

}

”

對上述錯誤代碼做簡單分析，你將很容易發(fā)現(xiàn)問題所在，原因簡單甚至弱智，因為 for 循環(huán)的循環(huán)因子 it 沒有進行自加運算。這導致只要進入該 for 循環(huán)，必將陷入死循環(huán)。

以上是從代碼角度進行分析，得出死循環(huán)結論。 而當代碼在實際項目中運行時（上述錯誤代碼的項目，實際運行在客戶所生產(chǎn)的電信設備上），所產(chǎn)生的真實后果則更為嚴重。

客戶在郵件中有簡單提及：

“solved one big code bug”

“This code cause system running in an endless loop, that cause system reboot due to watch dog timer timeout.”

而在我們現(xiàn)場支持客戶端過程中，客戶曾說明如下：

“由于存在 Bug 的設備在電信運營商的系統(tǒng)上，經(jīng)常無端死機，導致他們的客戶怨聲載道。責令他們必須在規(guī)定期限內(nèi)，找到問題根源并修復；”

好了，我們再簡單回顧一下整個問題發(fā)生的流程，以便我們能更好的重現(xiàn)問題：

作為電信設備供應商的某跨國網(wǎng)通設備大廠，所銷售的設備正運行在運營商系統(tǒng)上，而運營商發(fā)現(xiàn)該設備經(jīng)常無端死機，于是要求某跨國網(wǎng)通設備大廠必須在短期內(nèi)找到問題根源并修復。由于不能現(xiàn)場調試，某跨國網(wǎng)通設備大廠的開發(fā)人員只能在本地反復診斷，反復模擬，希望重現(xiàn)死機的現(xiàn)象，經(jīng)過長達一周時間的模擬，他們終于發(fā)現(xiàn)問題的根源正是上述那段簡單的 for 循環(huán)錯誤。

二、客戶背景

某跨國網(wǎng)通設備大廠是國際電信行業(yè)的佼佼者，是數(shù)十億美元規(guī)模的電信技術領先廠商， 擁有數(shù)個重要的全球研發(fā)中心，擁有技術先進、制造能力達到世界一流水平的生產(chǎn)制造平臺， 銷售服務網(wǎng)絡遍及全國和海外 50 多個國家。

三、客戶代碼

上述錯誤的代碼正來自某跨國網(wǎng)通設備大廠核心設備的軟件中。述及該項目的歷史，也足讓你瞠目結舌。總項目全部基礎性代碼超過 1000 萬行，最早的代碼可追蹤到 90 年代。

客戶所測項目隸屬總項目重要模塊之一，代碼量超過 100 萬行。

四、問題影響

更為重要的影響在于運營商對于某跨國網(wǎng)通設備大廠產(chǎn)品質量的認定，這樣的問題對于任何客戶而言都是不希望看到的，因為這會影響到實際產(chǎn)品的運行，進而消費者對于產(chǎn)品的使用。

五、解決之道

在軟件開發(fā)中，我們極不情愿將 Bug 呈現(xiàn)到客戶面前，但當問題真正產(chǎn)生時，我們需要去反思為什么如此簡單的 for 循環(huán)所導致的問題造成這么大影響。

• 產(chǎn)品沒有經(jīng)過測試嗎？有測試，但往往是功能性和系統(tǒng)性測試。
• 沒有代碼規(guī)范標準嗎？有標準，但往往停留于紙面而不得執(zhí)行。
• 項目初期即介入測試嗎？

……

以上一些問題是保障軟件產(chǎn)品高質量的一些因素，對于這些，C++test 的靜態(tài)規(guī)則檢查正好完美的滿足這些需求：

• 在代碼級別測試上，C++test 的靜態(tài)分析能建立有效代碼規(guī)范標準，使得測試不僅僅局限于功能性和系統(tǒng)性測試；
• 在代碼規(guī)范標準上，C++test 內(nèi)建近 1600 條代碼規(guī)范，同時提供自定義代碼規(guī)范工具 RuleWizard；
• C++test 的靜態(tài)分析, Bug Detective 功能，不需要整個項目完成后測試，可在編寫代碼的第一行開始，即進行測試。盡早消除代碼隱患。

對于上文中某跨國網(wǎng)通設備大廠所出現(xiàn)的 Bug，只需要通過 C++test 一條簡單代碼規(guī)范， 即可防范于未然。

以下規(guī)則來自 C++test 靜態(tài)編碼規(guī)則：

“Null initialize or increment expressions in for loops will not be used; a while loop will be used instead [CODSTA-49-3]”

六、客戶反饋

從某跨國網(wǎng)通設備大廠反饋的情況，他們非常信賴 C++test 靜態(tài)分析，已經(jīng)將 C++test 的靜態(tài)分析作為測試的標準流程，每日進行測試。因為通過 C++test 的代碼規(guī)范，只需數(shù)分鐘即可預防該問題發(fā)生。而該問題從發(fā)現(xiàn)到修復前后花費 2 周時間，更重要的是影響客戶對于他們產(chǎn)品的信心。