特定的用例测试设计

1.声明测试:检查模块中的所有变量是否被声明.经验表明,大量重要的错误都是由于变量没有被声明或没有被正确的声明而引起的.(而C语言中,指针未被初始化或未被正确初始化也是严重的问题)

2.路径测试:属逻辑覆盖测试.由于实际中,一个模块中的路径可能非常多,因为时间和资源有限,不可能一一测到.这就需要把测试所有可能路径的目标减少到测试足够多的路径,以获得对模块的信心.要测试的最小路径集就是基本测试路径集.

3.循环测试:重点检查循环的条件-判断部分以及边界条件.测试循环的一种特殊的路径测试,因为循环比其他语句都复杂一些.循环中错误发生机会比其他代码构成部分多.因此,对于任何给定的循环测试应该包括测试下面每一条件的测试用例.
  a.循环不执行;
  b.执行一次循环;
  c.执行两次循环;
  d.反映执行典型的循环的执行次数;
  e.如果有最大循环次数,最大循环次数减1;
  f.最大循环次数;
  g.对于增量和减量不是1的FOR语句,要特别注意,因为程序员习惯于增量1;

4.循环嵌套:循环嵌套使逻辑的次数呈几何级数增长,设计测试嵌套循环的测试用例应该包括的测试条件有:
  a.把外循环设置为最小值,并运行内循环所有可能的情况;
  b.把内循环设置为最小值,并运行外循环所有可能的情况;
  c.把所有的循环变量都设置为最小值运行;
  d.把所有的循环变量都设置为最大值运行;
  e.把外循环设置为最大值,并运行内循环所有可能的值;
  f.把内循环设置为最大值,并运行外循环所有可能的值;

5.边界值测试:指程序内部边界测试.检查确定代码在任何边界情况下都不会出差错.重点检查小于,等于和大于边界条件的情况.边界值测试指专门设计用来测试当条件语句中引用的值处在边界或边界附近时系统反映的测试.被测试语句的最好的例子就是"if-then-else-endif"部分.这样的语句的例子如:
  if a<=123 then
     b=1
  else if a>=123 then
     b=2
  else
     b=3
  end if
  上面例子中的边界值测试用例应该至少包括a的以下值:122,123,124.当a=123时,b=1还是2.

6.接口测试:检查模块的数据流(输入,输出)是否正确.检查输入的参数和声明的自变量的个数,数据类型和输入顺序是否一致.检查全局变量是否被正确的定义和使用等.

7.确认测试:是否接受有效输入数据(操作),拒绝无效数据(操作).

8.事务测试:输入--输出,错误处理.