软件测试技术课件：静态白盒测试.pptVIP

3-1逻辑覆盖测试法语句覆盖判定覆盖条件覆盖判定/条件覆盖条件组合覆盖路径覆盖逻辑覆盖测试法语句覆盖每条语句至少执行一次。判定覆盖每个判定的每个分支至少执行一次。条件覆盖每种条件下的语句都应该被执行。逻辑覆盖测试法判定/条件覆盖同时满足判定覆盖和条件覆盖条件组合覆盖每个判定中，各条件的每一种组合至少出现一次。路径覆盖程序中每一条可能的路径至少执行一次。*案例代码Line1:voidDoWork(intx,inty,intz)Line2:{Line3:intk=0,j=0;Line4:if((x3)(z10))Line5:{Line6:k=x*y-1;//语句块1Line7:j=sqrt(k);Line8:}Line9:if((x==4)||(y5))Line10:{Line11:j=x*y+10;//语句块2Line12:}Line13:j=j%3;//语句块3Line14:}*辅助方法－流程图x3z10x==4||y5入口语句块1语句块2语句块3出口abcde画出模块的流程图发现问题辅助设计测试用例*语句覆盖－设计用例测试用例输入为：{x=4、y=5、z=5}x3z10x==4||y5入口语句块1语句块2语句块3出口abcde程序执行的路径是：abd*分支/判定覆盖测试用例的输入为：{x=4、y=5、z=5}{x=2、y=5、z=5}x3z10x==4||y5入口语句块1语句块2语句块3出口abcde程序执行的路径是：abd程序执行的路径是：ace*条件覆盖－设计用例x3z10x==4||y5入口语句块1语句块2语句块3出口abcdeT1和－T1T2和－T2T3和－T3T4和－T4*条件覆盖－设计用例测试用例的输入为：{x=4、y=6、z=5}{x=2、y=5、z=5}{x=4、y=5、z=15}x3z10x==4||y5入口语句块1语句块2语句块3出口abcde程序执行的路径是：abd程序执行的路径是：ace程序执行的路径是：acdx3z10x==4||y5入口语句块1语句块2语句块3出口abcde条件覆盖－设计用例测试用例通过路径条件取值覆盖分支x=4、y=6、z=5abdT1、T2、T3、T4bdx=2、y=5、z=5ace-T1、T2、-T3、-T4cex=4、y=5、z=15acdT1、-T2、T3、-T4cd*测试用例通过路径条件取值覆盖分支x=2、y=6、z=5acd-T1、T2、-T3、T4cdx=4、y=5、z=5acdT1、-T2、T3、-T4cd则可以设计测试用例如下：假如根据定义设计测试用例如下：会议评审组织一般五到七人主审员：协调本次审查并主持讨论责任人：负责被审查的产品讲解员：在审查会上讲解被审查的产品审查员：审查产品记录员：记录在审查会议上讨论的问题经理：责任人的管理者编码标准和规范有些代码虽然可以正常运行，编写不符合某种标准和规范。三个重要的原因：可靠性、可读性/维护性、移植性四部分组成：标题、标准、解释说明、示例例如：命名规则匈牙利命名规则非常简单，变数名以一个或者多个小写字母开始，这些字母表示变量的类型iNum、cSex等GNU命名规则文档名+主版本号+辅版本号+补丁编号Foobar-1.2.3.src.tar.gz编程规则的审查Java最基本语句的使用Trycatchthrowsfinally线程中的异常重载函数的审查C++中的重载函数的审查，最好，不同返回类型用不同的函数名内存分配和管理内存及时释放和避免缓冲区溢出程序性能审查 减少创建对象 减少循环体的执行代码 提高异常处理效率 减少IO操作通用代码审查清单一、数据引用错误。二、数据声明错误。三、计算错误。四、比较错误。五、控制流