西安理工大学《软件测试技术》3-3 针对源代码的图的测试.pptVIP

* * * * * * * * * * ? Ammann Offutt ? Ammann Offutt 软件测试针对源代码的图的测试技术 计算机学院软件工程系 Email:Xiahui_1@163.com TelphoneQQ不聊天) 概述 绝大部分图的测试用例生成标准可以用于源代码 控制流图(control flow graph） 节点覆盖Node coverage : 相当于“语句覆盖” 边覆盖Edge coverage : 相当于判定覆盖 数据流图(Data flow graph) : defs 是指为变量赋值的语句 uses 是指调用变量的语句 * 控制流图CFG CFG 是通过描述控制结构对一个方法的所有执行路径建模 节点Nodes :语句或多个顺序结构语句构成基本块 边Edges : 流程线 基本块Basic Block : 由多个连续的语句构成，一旦第一条被执行，后面所有的语句必定执行，即不包含任何分支 CFG有时通过以下信息进行标注 分支条件谓词 defs uses * CFG : if语句 * if (x y) { y = 0; x = x + 1; } else { x = y; } if (x y) { y = 0; x = x + 1; } CFG : if-Return 语句 * if (x y) { return; } print (x); return; 3 1 2 x = y x y return print (x) return 注意：节点2 到3之间没有边 循环 循环需要添加额外的节点 节点不一定代表语句或基本块 * CFG : while 和 for循环 * x = 0; while (x y) { y = f (x, y); x = x + 1; } 1 x = 0 4 3 y =f(x,y) x = x + 1 x = y x y for (x = 0; x y; x++) { y = f (x, y); } 1 x = x + 1 2 3 5 x = y x y y = f (x, y) 4 2 虚拟节点 x = 0 隐藏的初始 节点 隐藏的增量 节点 CFG : switch * read ( c) ; switch ( c ) { case ‘N’: y = 25; break; case ‘Y’: y = 50; break; default: y = 0; break; } print (y); 5 1 read ( c ); c == ‘N’ y = 0; break; 2 4 3 c == ‘Y’ default y = 50; break; y = 25; break; print (y); * 控制流图举例 public static void computeStats (int [ ] numbers) { int length = numbers.length; double med, var, sd, mean, sum, varsum; sum = 0; for (int i = 0; i length; i++) { sum += numbers [ i ]; } med = numbers [ length / 2 ]; mean = sum / (double) length; varsum = 0; for (int i = 0; i length; i++) { varsum = varsum + ((numbers [ I ] - mean) * (numbers [ I ] - mean)); } var = varsum / ( length - 1.0 ); sd = Math.sqrt ( var ); System.out.println (length: + length); System.out.println (mean: + mean); System.out.println (median: + med); System.out.println (variance: