软件测试 作者 郑人杰 许静 于波 第4章白盒测试二.pptVIP

4.3 路径测试 1. 路径分析 2. 路径编码 3. 程序插装 1. 路径分析 路径表达式 路径表达式的运算 乘：ab 表示先沿弧a再沿弧b所经历的路段 加：a+b 表示两段弧是或的关系 路径： e(a+b)(c+d)f eacf + eadf + ebcf + ebdf 具有循环的控制流图 abd + abcbd + abcbcd + … ab(1+cb+(cb)2+…)d 路径表达式满足规律 加法交换律 a+b = b+a 加法结合律 a+(b+c) = (a+b)+c 加法幂等律 a+a = a 乘法结合律 a(bc) = (ab)c = abc 分配律 a(b+c) = ab+ac (a+b)c = ac+bc (a+b)(c+d) = a(c+d)+b(c+d) 注意：乘法不满足交换律 程序中路径数的计算 路径表达式计算 带有循环 不考虑循环： L= a(b+cd)e = 2 加入循环后： L + L f L + L f L f L +… 进入循环次数为2 L (1+ f L + (f L)2) = 14 独立路径数 某一程序的独立路径数