软件结构性测试.pptVIP

设计足够多的测试用例，要求覆盖程序中所有可能的路径路径ace记为L1abd记为L2abe记为L3acd记为L4路径覆盖路径覆盖测试用例用例编号ABX覆盖路径1203ace（L1）2101abd（L2）3211abe（L3）4301acd（L4）标题01实现了所有路径的测试，发现错误能力强02某些条件错误可能无法发现04用例数量的增加03路径数庞大，不可能覆盖所有路径路径覆盖的利弊检查跳出循环0次循环012次循环检查多次循环03最大次数循环、比最大次数多一次、少一次循环检查循环次数边界051次循环检查循环初始值02m次循环检查某次循环04循环测试路径覆盖231查找引用未定义变量等程序错误查找对以前未曾使用的变量再次赋值等数据流异常的情况常见的错误表现形式错拼名字名字混淆语句丢失数据流分析如果程序中某一语句执行时能改变某程序变量V的值，则称V被该语句定义如果一语句的执行引用了内存中变量V的值，则称V被该语句引用例如：X=Y+Z;ifYZthenreturn;数据流控制流图与数据流表1234106758911节点被定义变量被引用变量1X,Y,Z2XW,X3X,Y4Y,Z5YV,Y6ZV,Z7VX8WY9ZV10ZZ11Z通过对输入数据、输出数据、语句之间的关系的分析来检查程序错误整除算法例子输入：in_m是被除数，in_n是除数输出：out_q是商，out_r是余数01020304信息流分析out_q=0;01out_r=in_m;02While(out_r=in_n){03out_q++;04out_r=out_r–in_n;}05整除算法例子信息流关系图√√√√√√√in_min_n12345√√√√√√√√out_qout_r12345√√√√out_qout_rin_mIn_n(1)(2)(3)A能够列出对输入变量的所有可能的引用B在程序的任何指定点检查其执行可能影响某一输出变量值的语句C输入输出关系提供一种检查，看每个输出值是否由相关的输入值，而不是其他值导出信息流分析课程目录白盒测试概述程序结构分析逻辑覆盖结构测试案例分析结构测试工具使用覆盖准则测试到什么地步可以结束测试？覆盖准则被测小程序if(A1B==0)X=X/A;if(A==2||X1)X=X+1;被测程序段流程图aX=X/ATTebdFFcX=X+1A1B==0A==2||X104分支-条件覆盖05路径覆盖01语句覆盖02分支覆盖03条件覆盖逻辑覆盖测试方法在测试时，首先设计若干个测试用例，然后运行被测程序，使程序中的每个可执行语句至少执行一次若干个-尽量少语句覆盖、程序段覆盖、程序块覆盖原理：如果语句中有错误，仅靠观察不执行可能发现不了语句覆盖语句覆盖率已执行的可执行语句占程序中可执行语句总数的百分比复杂的程序不可能达到语句的完全覆盖语句覆盖率越高越好语句覆盖率达到语句覆盖100%的测试用例(路径ace)A=2B=0X=3未达到语句覆盖100%的测试用例(路径abe)A=2B=1X=3语句覆盖测试用例检查所有语句结构简单的代码的测试效果较好容易实现自动测试如果是程序块覆盖，则不涉及程序块中的源代码代码覆盖率高0102030405语句覆盖的优点1“A1B==0”-“A0B==0”条件语句错误“A1B==0”-“A1||B==0”“U=A1||B2”-“U=A1”逻辑运算（、||）错误2语句覆盖不能检查出的错误循环次数错误跳出循环条件错误循环语句错误语句覆盖不能检查出的错误语句覆盖不能检查出的错误循环语句例子for(i=0;i10;i++){statement;}While(x3){statement;}for(i=0;i=10;i++){statement;}While(x3x7){