我們看到，測試所有的可能性需要

　　正數(shù)+負(fù)數(shù)， 0+0， 負(fù)數(shù)+0，正數(shù)+0，正數(shù)+正數(shù)，負(fù)數(shù)+正數(shù)，負(fù)數(shù)+負(fù)數(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);
}

　　但是這樣當(dāng)代碼變化時用例得跟著相應(yīng)的變化，或者去加一個新的case

　　XP（極限編程）推薦是在編寫代碼之前先寫測試用例。是測試驅(qū)動開發(fā)。

CPPUnit

CPPUnit

　　各Case應(yīng)該被寫在類里面從TestCase 導(dǎo)出。這個類對我們所有基本功能進(jìn)行測試， 在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ù)。