《白盒测试技术(补充讲义)》.pdfVIP

白盒测试技术 PDF 文件使用 pdfFactory Pro 试用版本创建 用例设计方法 路径覆盖 pPath Coverage p也称呼为断言覆盖（predicate coverage） p要求：覆盖程序中所有可能的路径，即穷举 路径法 p优点：对路径完全彻底的测试。 PDF 文件使用 pdfFactory Pro 试用版本创建 穷举路径法 p 缺点1：路径是以分支的指数级别增加的 p 缺点2：许多路径可能与执行的数据相关 if (success) statement1; statement2; if (success) statement3; 路径覆盖认为以上语句包含四个路径，实际上只有两 个是可行的：success=false 和success=true PDF 文件使用 pdfFactory Pro 试用版本创建 基本路径法 p为解决难题只得把覆盖的路径数压缩到一定 限度内。例如，只考虑循环的两个可能性： 重复零次和多于零次的重复 对于do-while 循环，两种，循环体执行一次和多于一次 p使用线性独立路径 PDF 文件使用 pdfFactory Pro 试用版本创建 基本路径测试法步骤 p 以详细设计或源代码作为基础，导出程序的 控制流图 p计算得到的控制流图G的圈复杂度V(G)，即 确定独立路径条数。也可用路径表达式计算。 p确定独立路径的基本集 p生成测试用例，确保基本路径集中每条路径 的执行 PDF 文件使用 pdfFactory Pro 试用版本创建 一个例子 void Sort( int iRecordNum, int iType ) 1 { 2 int x = 0; 3 int y = 0; 4 while ( iRecordNum-- 0 ) 5 { 6 if ( 0 == iType ) 7 x = y + 2; 8 else 9 if ( 1 == iType ) 10 x = y + 10; 11 else 12 x = y + 20; 13 } 14 } PDF 文件使用 pdfFactory Pro 试用版本创建 导出控制流图 4