單元測試
   單元測試（模塊測試）是開發者編寫的一小段代碼，用于檢驗被測代碼的一個很小的、很明確的功能是否正確。通常而言，一個單元測試是用于判斷某個特定條件（或者場景）下某個特定函數的行為。例如，你可能把一個很大的值放入一個有序list 中去，然后確認該值出現在list 的尾部。或者，你可能會從字符串中刪除匹配某種模式的字符，然后確認字符串確實不再包含這些字符了。

    單元測試是由程序員自己來完成，最終受益的也是程序員自己。可以這么說，程序員有責任編寫功能代碼，同時也就有責任為自己的代碼編寫單元測試。執行單元測試，就是為了證明這段代碼的行為和我們期望的一致。

    要進行充分的單元測試，應專門編寫測試代碼，并與產品代碼隔離。個人認為，比較簡單的辦法是為產品工程建立對應的測試工程，為每個類建立對應的測試類，為每個函數（很簡單的除外）建立測試函數。首先就幾個概念談談個人的看法。

    一般認為，在結構化程序時代，單元測試所說的單元是指函數，在當今的面向對象時代，單元測試所說的單元是指類。以個人的實踐來看，以類作為測試單位，復雜度高，可操作性較差，因此仍然主張以函數作為單元測試的測試單位，但可以用一個測試類來組織某個類的所有測試函數。單元測試不應過分強調面向對象，因為局部代碼依然是結構化的。單元測試的工作量較大，簡單實用高效才是硬道理。

    有一種看法是，只測試類的接口(公有函數)，不測試其他函數，從面向對象角度來看，確實有其道理，但是，測試的目的是找錯并最終排錯，因此，只要是包含錯誤的可能性較大的函數都要測試，跟函數是否私有沒有關系。對于C++來說，可以用一種簡單的方法區隔需測試的函數：簡單的函數如數據讀寫函數的實現在頭文件中編寫(inline函數)，所有在源文件編寫實現的函數都要進行測試(構造函數和析構函數除外)。

測試代碼編寫
   數講述單元測試的文章都是以Java為例，本文以C++為例，后半部分所介紹的單元測試工具也只介紹C++單元測試工具。下面的示例代碼的開發環境是VC6.0。

   產品類：


   建立對應的測試類CMyClassTester，為了節約編幅，只列出源文件的代碼：

   測試類的函數CaseBegin()和CaseEnd()建立和銷毀被測試對象，每個測試用例的開頭都要調用CaseBegin()，結尾都要調用CaseEnd()。

   接下來，我們建立示例的產品函數：

   和對應的測試函數：

   把參數表作為函數名的一部分，這樣當出現重載的被測試函數時，測試函數不會產生命名沖突。下面添加測試用例：

    第1和第6行建立和銷毀被測試對象，所加的{}是為了讓每個測試用例的代碼有一個獨立的域，以便多個測試用例使用相同的變量名。

    第2和第3行是定義輸入數據，第4行是調用被測試函數，這些容易理解，不作進一步解釋。第5行是預期輸出，它的特點是當實際輸出與預期輸出不同時自動報錯，ASSERT是VC的斷言宏，也可以使用其他類似功能的宏，使用測試工具進行單元測試時，可以使用該工具定義的斷言宏。

示例中的格式顯得很不簡潔，2、３、4、5行可以合寫為一行：ASSERT(pObj->Add(0, 0) == 0);但這種不簡潔的格式卻是個人極力推薦的，因為它一目了然，易于建立多個測試用例，并且具有很好的適應性，同時，也是極佳的代碼文檔，總之，個人建議：輸入數據和預期輸出要自成一塊。

建立了第一個測試用例后，應編譯并運行測試，以排除語法錯誤，然后，使用拷貝/修改的辦法建立其他測試用例。由于各個測試用例之間的差別往往很小，通常只需修改一兩個數據，拷貝/修改是建立多個測試用例的最快捷辦法。

測試用例
   下面說說測試用例、輸入數據及預期輸出。輸入數據是測試用例的核心，個人對輸入數據的定義是：被測試函數所讀取的外部數據及這些數據的初始值。外部數據是對于被測試函數來說的，實際上就是除了局部變量以外的其他數據，個人把這些數據分為幾類：參數、成員變量、全局變量、IO媒體。IO媒體是指文件、數據庫或其他儲存或傳輸數據的媒體，例如，被測試函數要從文件或數據庫讀取數據，那么，文件或數據庫中的原始數據也屬于輸入數據。一個函數無論多復雜，都無非是對這幾類數據的讀取、計算和寫入。預期輸出是指：返回值及被測試函數所寫入的外部數據的結果值。返回值就不用說了，被測試函數進行了寫操作的參數(輸出參數)、成員變量、全局變量、IO媒體，它們的預期的結果值都是預期輸出。一個測試用例，就是設定輸入數據，運行被測試函數，然后判斷實際輸出是否符合預期。下面舉一個與成員變量有關的例子：
產品函數：

   測試函數中的一個測試用例：

   在輸入數據中對被測試類的成員變量mAge進行賦值，在預期輸出中斷言成員變量的值。現在可以看到個人所推薦的格式的好處了吧，這種格式可以適應很復雜的測試。在輸入數據部分還可以調用其他成員函數，例如：執行被測試函數前可能需要讀取文件中的數據保存到成員變量，或需要連接數據庫，個人把這些操作稱為初始化操作。例如，上例中 ASSERT( ...)之前可以加pObj->OpenFile();。為了訪問私有成員，可以將測試類定義為產品類的友元類。例如，定義一個宏：

   然后在產品類聲明中加一行代碼： 。

   下面談談測試用例設計。前面已經說了，測試用例的核心是輸入數據。預期輸出是依據輸入數據和程序功能來確定的，也就是說，對于某一程序，輸入數據確定了，預期輸出也就可以確定了，至于生成/銷毀被測試對象和運行測試的語句，是所有測試用例都大同小異的，因此，我們討論測試用例時，只討論輸入數據。

   前面說過，輸入數據包括四類：參數、成員變量、全局變量、IO媒體，這四類數據中，只要所測試的程序需要執行讀操作的，就要設定其初始值，其中，前兩類比較常用，后兩類較少用。顯然，把輸入數據的所有可能取值都進行測試，是不可能也是無意義的，我們應該用一定的規則選擇有代表性的數據作為輸入數據，主要有三種：正常輸入，邊界輸入，非法輸入，每種輸入還可以分類，也就是平常說的等價類法，每類取一個數據作為輸入數據，如果測試通過，可以肯定同類的其他輸入也是可以通過的。下面舉例說明：

• 正常輸入: 例如字符串的Trim函數，功能是將字符串前后的空格去除，那么正常的輸入可以有四類：前面有空格；后面有空格；前后均有空格；前后均無空格。
• 邊界輸入: 上例中空字符串可以看作是邊界輸入;再如一個表示年齡的參數，它的有效范圍是0-100，那么邊界輸入有兩個：0和100。
• 非法輸入: 非法輸入是正常取值范圍以外的數據，或使代碼不能完成正常功能的輸入，如上例中表示年齡的參數，小于0或大于100都是非法輸入，再如一個進行文件操作的函數，非法輸入有這么幾類：文件不存在；目錄不存在；文件正在被其他程序打開；權限錯誤。

   如果函數使用了外部數據，則正常輸入是肯定會有的，而邊界輸入和非法輸入不是所有函數都有。一般情況下，即使沒有設計文檔，考慮以上三種輸入也可以找出函數的基本功能點。實際上，單元測試與代碼編寫是“一體兩面”的關系，編碼時對上述三種輸入都是必須考慮的，否則代碼的健壯性就會成問題。

白盒覆蓋
   上面所說的測試數據都是針對程序的功能來設計的，就是所謂的黑盒測試。單元測試還需要從另一個角度來設計測試數據，即針對程序的邏輯結構來設計測試用例，就是所謂的白盒測試。在個人看來，如果黑盒測試是足夠充分的，那么白盒測試就沒有必要，可惜“足夠充分”只是一種理想狀態，例如：真的是所有功能點都測試了嗎？程序的功能點是人為的定義，常常是不全面的；各個輸入數據之間，有些組合可能會產生問題，怎樣保證這些組合都經過了測試？難于衡量測試的完整性是黑盒測試的主要缺陷，而白盒測試恰恰具有易于衡量測試完整性的優點，兩者之間具有極好的互補性，例如：完成功能測試后統計語句覆蓋率，如果語句覆蓋未完成，很可能是未覆蓋的語句所對應的功能點未測試。

   白盒測試針對程序的邏輯結構設計測試用例，用邏輯覆蓋率來衡量測試的完整性。邏輯單位主要有：語句、分支、條件、條件值、條件值組合，路徑。語句覆蓋就是覆蓋所有的語句，其他類推。另外還有一種判定條件覆蓋，其實是分支覆蓋與條件覆蓋的組合，在此不作討論。跟條件有關的覆蓋就有三種，解釋一下：條件覆蓋是指覆蓋所有的條件表達式，即所有的條件表達式都至少計算一次，不考慮計算結果；條件值覆蓋是指覆蓋條件的所有可能取值，即每個條件的取真值和取假值都要至少計算一次；條件值組合覆蓋是指覆蓋所有條件取值的所有可能組合。個人做過一些粗淺的研究，發現與條件直接有關的錯誤主要是邏輯操作符錯誤，例如：||寫成&&，漏了寫!什么的，采用分支覆蓋與條件覆蓋的組合，基本上可以發現這些錯誤，另一方面，條件值覆蓋與條件值組合覆蓋往往需要大量的測試用例，因此，在個人看來，條件值覆蓋和條件值組合覆蓋的效費比偏低。個人認為效費比較高且完整性也足夠的測試要求是這樣的：完成功能測試，完成語句覆蓋、條件覆蓋、分支覆蓋、路徑覆蓋。

   關于白盒測試用例的設計，程序測試領域的書籍一般都有講述，普通方法是畫出程序的邏輯結構圖如程序流程圖或控制流圖，根據邏輯結構圖設計測試用例，這些是純粹的白盒測試，不是個人想推薦的方式。個人所推薦的方法是：先完成黑盒測試，然后統計白盒覆蓋率，針對未覆蓋的邏輯單位設計測試用例覆蓋它，例如，先檢查是否有語句未覆蓋，有的話設計測試用例覆蓋它，然后用同樣方法完成條件覆蓋、分支覆蓋和路徑覆蓋，這樣的話，既檢驗了黑盒測試的完整性，又避免了重復的工作，用較少的時間成本達到非常高的測試完整性。不過，這些工作可不是手工能完成的，必須借助于工具，后面會介紹可以完成這些工作的測試工具。

單元測試工具
   CppUnit，這是C++單元測試工具的鼻祖，免費的開源的單元測試框架。由于已有一眾高人寫了不少關于CppUnit的很好的文章，個人就不現丑了，想了解CppUnit的朋友，建議讀一下Cpluser 所作的《CppUnit測試框架入門》，網址是：http://blog.csdn.net/cpluser/archive/2004/09/21/111522.aspx。該文也提供了CppUnit的下載地址。