软件测试技术-3-3针对源代码的图的测试.pdfVIP

软件测试 针对源代码的图的测试技术 概述 • 绝大部分图的测试用例生成标准可以用于源代码 • 控制流图(control flow graph ） – 节点覆盖Node coverage : 相当于“语句覆盖” – 边覆盖Edge coverage : 相当于判定覆盖 • 数据流图(Data flow graph) : – defs 是指为变量赋值的语句 – uses 是指调用变量的语句 2 控制流图CFG • CFG 是通过描述控制结构对一个方法的所有执行路径建模 • 节点Nodes :语句或多个顺序结构语句构成基本块 • 边Edges : 流程线 • 基本块Basic Block : 由多个连续的语句构成，一旦第一条被 执行，后面所有的语句必定执行，即不包含任何分支 • CFG有时通过以下信息进行标注 – 分支条件谓词 – defs – uses 3 CFG : if语句 if (x y) { y = 0; 1 x = x + 1; x y x = y } y = 0 x = x + 1 2 3 x = y else { x = y; 4 } if (x y) 1 { x y y = 0; y = 0 x = y x = x + 1 2 x = x + 1; } 3 4 CFG : if-Return 语句 if (x y) { 1 return; x y } return 2 x = y print (x); return;