我们看到，测试所有的可能性需要

　　正数+负数， 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;
};

　　现在， 什么编码方式并不重要， 因为重要事是我们必须肯定它必须做， 是这个类应该做: 正确地装载和存放数据到文件。

　　为了做这个验证，我们去创造一个新的测试集，包括二个测试用例: 一个装载数据和另为存储数据。