资源描述：
《软件测试-白盒测试.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、软件测试教程福建工程学院软件学院叶家青2011年2月21日第四章白盒测试逻辑覆盖测试路径分析测试其他白盒测试实例设计本章内容2白盒测试时软件测试实践中最为有效和实用的方法之一。白盒测试是基于程序的测试，检测产品的内部结构是否合理以及内部操作是否按规定执行，覆盖测试和路径测试是其两大基本策略。本章重点围绕逻辑覆盖和路径分析这两种方法展开介绍常见的白盒测试方法，并通过实例说明如何实际运用白盒测试技术。本章概述31.1逻辑覆盖测试语句覆盖；判断覆盖；条件覆盖；判断/条件覆盖；条件组合覆盖；路径覆盖；4例子程序程序4-1：1、If(x>100&&y>5
2、00)then2、score=score+13、If(x>=1000
3、
4、z>5000)then4、score=score+55程序流程图6(x>100)∧(y>500)(x>=1000)∨(z>5000)Score=score+1Score=score+5aFTbcFTde1.1逻辑覆盖-语句覆盖语句覆盖是指设计若干个测试用例，程序运行时每个可执行语句至少被执行一次。在保证完成要求的情况下，测试用例的数目越少越好。71.1语句覆盖-测试用例8表4-1测试用例组I测试用例x,y,z(x>100)and(y>500)(x>=1000)or(z>50
5、00)执行路径TestCase12000，600，6000TRUETRUEaceTestCase2900，600，5000TRUEFALSEacd如果条件组合and错误写成or，或者相反，再或x>=1000误写成x>=1500。应用测试组1、2能发现问题吗？√×1.2.逻辑覆盖-判断覆盖判断覆盖是指设计若干个测试用例，执行被测试程序时，程序中每个判断条件的真值分支和假值分支至少被执行一遍。91.2.判断覆盖-测试用例10表4-2测试用例组2测试用例x,y,z(x>100)and(y>500)(x>=1000)or(z>5000)执行路径Test
6、Case12000，600，6000TRUETRUEaceTestCase350，600，2000FALSEFALSEabd√√1.2.判断覆盖-测试用例（引）11表4-3测试用例组3测试用例x,y,z(x>100)and(y>500)(x>=1000)or(z>5000)执行路径TestCase4800，600，2000TRUEFALSEacdTestCase52000，200，6000FALSETRUEabe从这两组测试用例看，不仅满足了判断覆盖的要求，同时也满足了语句覆盖的要求。如果将z>5000改成z>3000,应用测试组4,5能发现问
7、题吗？1.3.逻辑覆盖-条件覆盖12条件覆盖是指设计若干个测试用例，执行被测试程序时，程序中每个判断条件中的每个判断式的真值和假值至少被执行一遍。1.3、条件覆盖-测试用例13测试用例x,y,zx>100y>500x>=1000z>5000执行路径TestCase12000，600，6000TRUETRUETRUETRUEaceTestCase350，600，2000FALSETRUEFALSEFALSEabdTestCase52000，200，6000TRUEFALSETRUETRUEabe表4-4测试用例组4判断覆盖1.3、条件覆盖-测试用
8、例(引)14测试用例x,y,zx>100y>500x>=1000z>5000执行路径TC650，600，6000FALSETRUEFALSETRUEabeTC72000，200，1000TRUEFALSETRUEFALSEabe测试用例x,y,z(x>100)and(y>500)(x>=1000)or(z>5000)执行路径TC650，600，6000FALSETRUEabeTC72000，200，1000FALSETRUEabe满足判断覆盖了吗？151.4、逻辑覆盖-判断/条件覆盖判断/条件覆盖是指设计若干个测试用例，执行被测试程序时，程序中
9、每个判断条件的真假值分支至少被执行一遍，并且每个判断条件内部的判断式的真假值分支也要被执行一遍。161.4、判断/条件覆盖-测试用例测试用例x,y,zx>100y>500x>=1000z>5000执行路径TestCase12000，600，6000TRUETRUETRUETRUEaceTestCase850，200，2000FALSEFALSEFALSEFALSEabd表4-6(a)测试用例组6171.4、判断/条件覆盖-测试用例测试用例x,y,z(x>100)and(y>500)(x>=1000)or(z>5000)执行路径TestCase1
10、2000，600，6000TRUETRUEaceTestCase850，200，2000FALSEFALSEabd表4-6(b)测试用例组6181.5
