我們看到，測(cè)試所有的可能性需要

　　正數(shù)+負(fù)數(shù)， 0+0， 負(fù)數(shù)+0，正數(shù)+0，正數(shù)+正數(shù)，負(fù)數(shù)+正數(shù)，負(fù)數(shù)+負(fù)數(shù)

　　每個(gè)cases比較了加的結(jié)果和期望值，如果不通過(guò)False，如果都通過(guò)返回True

　　行為上可以設(shè)計(jì)下面的例子：

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)代碼變化時(shí)用例得跟著相應(yīng)的變化，或者去加一個(gè)新的case

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

CPPUnit

CPPUnit

　　各Case應(yīng)該被寫在類里面從TestCase 導(dǎo)出。這個(gè)類對(duì)我們所有基本功能進(jìn)行測(cè)試， 在Test Suite（測(cè)試用例集合）登記等等

　　例如， 我們寫了一個(gè)功能在磁盤存放一些數(shù)據(jù)的小模塊。這個(gè)模塊(類名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àn)橹匾�事是我們必須肯定它必須做�?是這個(gè)類應(yīng)該做: 正確地裝載和存放數(shù)據(jù)到文件。

　　為了做這個(gè)驗(yàn)證，我們?nèi)��?chuàng)造一個(gè)新的測(cè)試集，包括二個(gè)測(cè)試用例: 一個(gè)裝載數(shù)據(jù)和另為存儲(chǔ)數(shù)據(jù)。