4软件动态测试技术研讨.ppt

4.7.1 逻辑覆盖 逻辑覆盖是动态测试的主要方法之一，是以程序内部的逻辑结构为基础的白盒测试技术，是通过对程序逻辑结构的遍历实现程序设计的覆盖。 根据覆盖目标的不同，逻辑覆盖可划分为：语句覆盖、分支（判定）覆盖、条件覆盖等。 语句覆盖：执行足够多的测试用例，使得程序中的每个可执行语句至少执行一次。 分支（判定）覆盖：执行足够多的测试用例，使得程序中的每个判定至少都获得一次“真”值和“假”值，即要使程序中的每个取“真”分支和取“假”分支至少均经历一次。 条件覆盖：包含分支条件覆盖、分支条件组合覆盖 逻辑覆盖（续） void DoWork (int x,int y,int z) { int k=0,j=0; if ( (x3)(z10) ) { k=x*y-1; j=sqrt(k); } //语句块1 if ( (x==4)||(y5) ) { j=x*y+10; } //语句块2 j=j%3; //语句块3 } 逻辑覆盖（续） 语句覆盖(SC) 要实现DoWork函数的语句覆盖，只需设计一个测试用例就可以覆盖程序中的所有可执行语句。 测