我們看到，測試所有的可能性需要
正數(shù)+負數(shù)， 0+0， 負數(shù)+0，正數(shù)+0，正數(shù)+正數(shù)，負數(shù)+正數(shù)，負數(shù)+負數(shù)
每個cases比較了加的結(jié)果和期望值，如果不通過False，如果都通過返回True
行為上可以設(shè)計下面的例子：
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);
}
但是這樣當代碼變化時用例得跟著相應(yīng)的變化，或者去加一個新的case
XP（極限編程）推薦是在編寫代碼之前先寫測試用例。是測試驅(qū)動開發(fā)。
CPPUnit
CPPUnit
各Case應(yīng)該被寫在類里面從TestCase 導出。這個類對我們所有基本功能進行測試， 在Test Suite（測試用例集合）登記等等
例如， 我們寫了一個功能在磁盤存放一些數(shù)據(jù)的小模塊。這個模塊(類名DiskData) 有主要二功能: 裝載和保存數(shù)據(jù)到文件里面：
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;
};
現(xiàn)在， 什么編碼方式并不重要， 因為重要事是我們必須肯定它必須做， 是這個類應(yīng)該做: 正確地裝載和存放數(shù)據(jù)到文件。
為了做這個驗證，我們?nèi)?chuàng)造一個新的測試集，包括二個測試用例: 一個裝載數(shù)據(jù)和另為存儲數(shù)據(jù)。
