|
可以看看这个页面 http://blog.csdn.net/A00553344/archive/2007/10/20/1834683.aspx
白盒测试-------定义/使用测试
一、定义
1.定义节点。
节点n∈G(P)是变量v∈V的定义节点,记做DEF(v,n),当且仅当变量v的值由对应节点n的语句片段处定义。
2.使用节点。
节点n∈G(P)是变量v∈V的使用节点,记做USE(v,n),当且仅当变量v的值由对应节点n的语句片段处使用。
3.P-use和C-use。
使用节点USE(v,n)是一个谓词使用(记做P-use),当且仅当语句n是谓词语句;否则,USE(v.n)是计算使用(记做C-use)。
4.定义-使用路径。
关于变量v的定义-使用路径(记做du-path)是PATHS(P) 中的路径,使得对某个v∈V,存在定义和使用节点DEF(v,m)和USE(v,n),使得m和n是该路径的最初和最终节点。
5.定义清除路径。
关于变量v的定义清除路径(记做dc-path),是具有最初和最终节点DEF(v,m)和USE(v,n)的PATHS(P)中的路径,使得该路径中没有其他节点是v的定义节点。 |
|