资源描述：
《白盒测试及其实例设计》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、第4章白盒测试及其实例设计第4章白盒测试及其实例设计4.1逻辑覆盖测试4.2路径分析测试4.3其他白盒测试方法4.4实例设计小结习题本章概述白盒测试是软件测试实践中最为有效和实用的方法之一。白盒测试是基于程序的测试，检测产品的内部结构是否合理以及内部操作是否按规定执行，覆盖测试与路径测试是其两大基本策略。本章重点围绕逻辑覆盖和路径分析展开介绍常见的白盒测试方法，并通过实例说明如何实际运用白盒测试技术。4.1逻辑覆盖测试覆盖测试:是利用程序的逻辑结构设计相应的测试用例。测试人员要深入了解被测程序的逻辑结构特点，完全掌握源代码的流程，才能设计出恰当的用例。根据不同的测试要
2、求,可分为:覆盖测试语句覆盖判断覆盖条件覆盖判断/条件覆盖条件组合覆盖路径覆盖下面是一段简单的C语言程序，作为公共程序段来说明五种覆盖测试的各自特点。程序4-1：1If(x>100&&y>500)then2score=score+13If(x>=1000
3、
4、z>5000)then4score=score+5图4-1程序流程图语句覆盖语句覆盖（StatementCoverage）是指设计若干个测试用例，程序运行时每个可执行语句至少被执行一次。在保证完成要求的情况下，测试用例的数目越少越好。以下是针对公共程序段设计的两个测试用例：TestCase1：x=2000,y=60
5、0,z=6000TestCase2：x=900,y=600,z=6000测试用例x,y,z(x>100)and(y>500)(x>=1000)or(z>5000)执行路径Tc1Tc22000,600,6000900,600,5000TrueTrueTrueFalseaceacd测试用例组1最弱的逻辑覆盖方法判断覆盖判断覆盖（BranchCoverage）是指设计若干个测试用例，执行被测试程序时，程序中每个判断条件的真值分支和假值分支至少被执行一遍。在保证完成要求的情况下，测试用例的数目越少越好。判断覆盖又称为分支覆盖。以下是针对公共程序段设计的两个测试用例：TestC
6、ase1：x=2000,y=600,z=6000TestCase3：x=50,y=600,z=2000测试用例x,y,z(x>100)and(y>500)(x>=1000)or(z>5000)执行路径Tc1Tc32000,600,600050,600,2000TrueFalseTrueFalseaceabd测试用例组2测试用例x,y,z(x>100)and(y>500)(x>=1000)or(z>5000)执行路径Tc4Tc52000,600,2000900,600,20002000,200,6000TrueTrueFalseTrueFalseTrueaceacdab
7、e测试用例组3条件覆盖条件覆盖（ConditionCoverage）是指设计若干个测试用例，执行被测试程序时，程序中每个判断条件中的每个判断式的真值和假值至少被执行一遍。测试用例x,y,z(x>100)(y>500)(x>=1000)(z>5000)执行路径Tc1Tc3Tc52000,600,600050,600,20002000,200,6000TrueFalseTrueTrueTrueFalseTrueFalseTrueTrueFalseTrueaceabdabe测试用例组4abeabeTrueTrueFalseFalse50,600,60002000,200,1
8、000Tc6Tc7执行路径(x>=1000)or(z>5000)(x>100)and(y>500)x,y,z测试用例测试用例组5(b)测试用例组5(a)测试用例x,y,z(x>100)(y>500)(x>=1000)(z>5000)执行路径Tc6Tc750,600,60002000,200,1000FalseTrueTrueFalseFalseTrueTrueFalseabeabe判断/条件覆盖判断/条件覆盖是指设计若干个测试用例，执行被测试程序时，程序中每个判断条件的真假值分支至少被执行一遍，并且每个判断条件的内部判断式的真假值分支也要被执行一遍。测试用例组6：Te
9、stCase1：x=2000,y=600,z=2000TestCase6：x=2000,y=200,z=6000TestCase7：x=2000,y=600,z=2000TestCase8：x=50,y=200,z=2000测试用例x,y,z(x>100)(y>500)(x>=1000)(z>5000)执行路径Tc1Tc82000,600,600050,200,2000TrueFalseTrueFalseTrueFalseTrueFalseaceabdaceabdTrueFalseTrueFalse2000,600,600050,200,2000Tc
