5-5 对于变量的测试

变量的3种缺陷定义：

变量在使用前从未定义过（在编译时，会有提示，不需人工查找）

变量被定义，但从未使用过

变量在使用前，被多次定义

对变量的测试相关概念

1.定义节点：

若被测变量v的值在某条包含该变量的语句n处发生改变，则称该语句是关于变量v的定义节点，记做DEF(v,n)

输入语句、赋值语句（对该变量赋值）、循环控制语句（循环变量）是定义节点

2.使用节点：

若被测变量v的值在某条包含该变量的语句n处被使用，则称该语句是关于变量v的使用节点，记做USE(v,n)

输出语句、赋值语句（变量v对其他变量的赋值）、条件语句、循环控制语句都是使用节点

3.定义/使用节点对

由被测变量v的一对定义节点和使用节点构成的一个二元组称为该变量的定义/使用节点对

4.定义/使用路径

从被测变量v的一个定义节点开始执行，到该变量的某个使用节点结束的一条路径称为该变量的一条定义/使用路径，记做du-path

5.定义/清除路径

若被测变量v的一条定义/使用路径中不包含该变量的其他定义节点，则该路径称为定义清除路径，记做dc-path

 

对变量的测试总结

大多数情况下不需要逐一分析程序中的所有变量，一般根据重要变量进行数据流分析

数据流分析主要关注单个变量，特别关注变量接受赋值和使用的点，该法主要关注变量从定义到使用过程的执行路径是否可靠

关于白盒测试方法的总结：