我們看到，測試所有的可能性需要
正數+負數， 0+0， 負數+0，正數+0，正數+正數，負數+正數，負數+負數
每個cases比較了加的結果和期望值，如果不通過False，如果都通過返回True
行為上可以設計下面的例子：
int additionPropertiesTest()
{
// conmutative: a + b = b + a
if ( addition(1， 2) != addition(2， 1) )
return (FALSE);
// asociative: a + (b + c) = (a + b) + c
if ( addition(1， addition(2， 3)) != addition(addition(1， 2)， 3) )
return (FALSE);
// neutral element: a + NEUTRAL = a
if ( addition(10， 0) != 10 )
return (FALSE);
// inverse element: a + INVERSE = NEUTRAL
if ( addition(10， -10) != 0 )
return (FALSE);
return (TRUE);
}
但是這樣當代碼變化時用例得跟著相應的變化，或者去加一個新的case
XP（極限編程）推薦是在編寫代碼之前先寫測試用例。是測試驅動開發。
CPPUnit
CPPUnit
各Case應該被寫在類里面從TestCase 導出。這個類對我們所有基本功能進行測試， 在Test Suite（測試用例集合）登記等等
例如， 我們寫了一個功能在磁盤存放一些數據的小模塊。這個模塊(類名DiskData) 有主要二功能: 裝載和保存數據到文件里面：
typedef struct _DATA
{
int number;
char string[256];
} DATA， *LPDATA;
class DiskData
{
public:
DiskData();
~DiskData();
LPDATA getData();
void setData(LPDATA value);
bool load(char *filename);
bool store(char *filename);
private:
DATA m_data;
};
現在， 什么編碼方式并不重要， 因為重要事是我們必須肯定它必須做， 是這個類應該做: 正確地裝載和存放數據到文件。
為了做這個驗證，我們去創造一個新的測試集，包括二個測試用例: 一個裝載數據和另為存儲數據。
