《-软件测试课件第3章软件测试方法2白盒测试PPT内容-.docx》由会员分享，可在线阅读，更多相关《-软件测试课件第3章软件测试方法2白盒测试PPT内容-.docx（6页珍藏版）》请在课桌文档上搜索。
1、“软件测试课件第3章软件测试方法2白盒测试PPT内容”1、（二）白盒测试白盒测试，有时也称为玻璃盒测试、结构化测试、规律驱动测试等，它关注软件产品的内部细节和规律结构，即把被测的程序看成是一个透亮的盒子。白盒测试利用构件层设计的一部分而描述的掌握结构来生成测试用例，需要对系统内部结构和工作原理有一个清晰的了解。白盒测试的预备时间较长，假如要完成掩盖全部程序语句、分支的测试，一般要花费比编程更长的时间。白盒测试对技术的要求较高，测试成本也比较大。程序插桩技术是借助往被测程序中插入操作来实现测试目的的方法，即向源程序中添加一些语句，实现对程序语句的执行、变量的变化等状况进行检查。程序插桩技术一方面
2、可检测测试的结果数据，另一方面还可以借助插入的语句给出的信2、息了解程序的执行特性。在程序的特定部位插入记录动态特性的语句，最终是为了把程序执行过程中发生的一些重要历史大事记录下来。设计插桩程序时需要考虑的问题需要探测哪些信息在程序的什么部分设置探测点需要设置多少个探测点需要探测哪些信息?该问题需要结合详细状况解决，并不能给出笼统的回答。在程序的什么部分设置探测点?在实际测试中通常在以下一些部位设置探测点：程序块的第一个可执行语句之前；for,do,dowhile,doUntil等循环语句处；if,elseif,else,endif等条件语句各分支处；输入或输出语句之后；函数、过程、子程序调用
3、语句之后；return语句之后；goto语句之后3、。需要设置多少个探测点?原则是需要考虑如何设置最少探测点的方案。一般状况下，在没有分支的程序段中只需要一个计数语句，假如消失了多种掌握结构，使得整个结构非常简单，则需要针对程序的掌握结构进行详细的分析。规律掩盖法以程序内部规律结构为基础，通过对程序规律结构遍历实现程序测试的掩盖。从掩盖源程序语句的详尽程度，可以分为语句掩盖判定掩盖条件掩盖条件判定掩盖条件组合掩盖路径掩盖语句掩盖指的是代码中全部的语句都至少执行一遍虽然掩盖了可执行语句，但是不能检查推断规律是否有问题是很不充分的一种测试，是最弱的规律掩盖准则测试掩盖率工具：如TrueCovera
4、gePureCoverage语4、句掩盖程序流程图使每个语句都执行一次，程序的执行路径应当是SaCbed。为此只需要输入下面的测试数据（实际上X可以是任意实数）：A=2,B=l,X=4判定掩盖指的是设计足够的测试用例，使得每一个推断获得每一种可能的结果至少一次，即对被测试模块中的每一个推断要分别取真和假各一次进行测试。上一个例子中能够分别掩盖路径sacbed和sabd的两组测试数据，或者可以分别掩盖路径sacbd和sabed的两组测试数据,都满意判定掩盖标准。A=3,B=0,X=3（掩盖SaCbd）A=2,B=l,X=I（掩盖sabed）条件掩盖指程序中每个推断中的每个条件的全部可能的取值至少
5、要都执行一次完全的条件掩盖并不能5、满意完全的判定掩盖在以上代码中通过以下两个测试用例可以得到100%的条件掩盖率：a=true,b=falsea=false,b=true但上述的测试用例条件都不会使if的规律运算式成立，因此不符合判定掩盖的条件。条件判定掩盖条件判定掩盖是判定掩盖和条件掩盖的组合，指的是设计足够的测试用例，使得判定中每个条件的全部可能的取值至少消失一次，并且每个判定取到的各种可能的结果也至少消失一次。有两者的简洁性并且没有两者的缺点，但是其没有考虑单个判定对整体结果的影响。条件判定掩盖程序流程图由于条件判定掩盖是条件掩盖与判定掩盖的组合，所以其测试用例取条件掩盖的用例和判定掩
6、盖的用例的并集即可。条件判定6、掩盖对于推断语句xO&yO：条件0取真为Tl,取假为-T1；条件y取真为T2,取假为-T2。对于推断语句XlIZ1：条件Xl取真为T3,取假为-T3；条件ZI取真为T4,取假为-T4。设计条件掩盖测试用例如下输入输入通过路径通过路径条件取值条件取值x=7,y=l,z=3abdTl,T2,T3,T4=-l,y=-3,Z=OaCe-Tl,-T2,-T3,-T4条件判定掩盖对于推断语句xO&yO：取真为M,取假为-M。对于推断语句XllZL取真为N,取假为-N。设计判定掩盖测试用例如下输入输入通过路径通过路径判定取值判定取值x=7,y=l,z=3abdM,Nx=-1,
7、y=-3,Z=Oac7、e-M,-N条件判定掩盖综合条件掩盖和判定掩盖测试用例，条件判定掩盖的测试用例如下输入输入通过路径通过路径x=7,y=l,z=3abdx=-l,y=-3,Z=OaCe条件组合掩盖条件组合掩盖又称多条件掩盖，指的是设计足够的测试用例，使得判定条件中每一个条件的可能组合至少消失一次。满意多条件掩盖的测试用例肯定满意判定掩盖、条件掩盖和条件判定掩盖。缺点：它可能是特别冗长乏味地打算一个需要的测试用例的最小设置，特殊是对于一些特别简单的布尔表达式；对于相像的简单性的条件却需要特别大的变化；可能会存在路径遗漏。条件组合掩盖以条件判定掩盖中的程序为例对各推断语句的规律条件的取值组合
8、标记如下：LX8、0,y,记作Tl,T2,条件组合取值M2.x0,y=0,记作Tl,T2,条件组合取值-M3.x0,记作-Tl,T2,条件组合取值-M4.x=0,yl,zl,记作T3,T4,条件组合取值N6.l,z=l,记作T3,-T4,条件组合取值N7.xl,记作-T3,T4,条件组合取值N8.=l,z=l,记作-T3,-T4,条件组合取值-N条件组合掩盖设计如下测试用例表输入输入通过路径通过路径条件取值条件取值掩盖组合号掩盖组合号x=l,y=3,z=2abdTl,T2,-T3,T41,7x=2,y=0,z=8acdTl,-T2,T3,T42,5x=-l,y=l,Z=Iace-Tl,T2,-
9、T3,-9T43,8x=-2,y=-3,Z=Oace-Tl,-T2,-T3,-T44,8=5,y=9,Z=OabdTl,T2,T3,-T41,6路径掩盖路径掩盖是指测试用例中执行到的路径数量占被测试模块全部可能的执行路径的比率。在路径掩盖中，我们只需要考虑全部可能的执行路径，对于不行能执行的路径，我们是不需要考虑的。对于一些大型程序，其包含的路径总量是特别浩大的，假如要把全部路径都找出来去掩盖也是不现实的。需要以下一些方法来简化程序中的路径路径掩盖查找程序中的路径的方法单个推断语句的路径计算单个循环语句中的路径计算有嵌套推断或循环时的路径计算基本路径测试法是在程序掌握流图的基础上，通过分析控1
10、0、制构造的环路简单性，导出基本可执行的路径集合，从而设计测试用例的方法。在基本路径测试中，设计出的测试用例要保证在测试中程序的每条可执行语句至少执行一次。需要使用程序的掌握流图进行可视化表达。程序的掌握流图是描述程序掌握流的一种图示方法。其中，圆圈称为掌握流图的一个结点，表示一个或多个无分支的语句或源程序语句；箭头称为边或连接,代表掌握流。在将程序流程图简化成掌握流图时,应留意：在选择或多分支结构中，分支的汇聚处应有一个汇聚结点；边和结点圈定的区域叫做区域，当对区域计数时，图形外的区域也应记为一个区域。程序的掌握流图环路简单度环路简单度是一种为程序规律简单性供应定量测度的软件度量有以下三种1
11、1、方法用于计算环路简单度：流图中区域的数量对应于环路的简单度；给定流图G的环路简单度V(G),定义为V(G)=E-N+2,其中E是流图中边的数量，N是流图中结点的数量；给定流图G的环路简单度V(G),定义为V(G)=P+1,其中P是流图G中判定结点的数量。基本路径测试法适用于模块的具体设计及源程序。其步骤如下：以具体设计或源代码为基础，导出程序的掌握流图；计算得出掌握流图G的环路简单度V(G);确定线性无关的路径的基本集；生成测试用例，确保基本路径集中每条路径的执行。对于下面的程序，假设输入的取值范围是IoOOyear2022,使用基本路径测试法为变量year设计测试用例，使满意基本路径掩盖
12、的要12、求。依据源代码绘制程序的掌握流图如下:通过掌握流图，计算环路简单度V(G)=区域数=4。线性无关的路径集为：1-3-81-2-5-81-2-4-7-81-2-4-6-8设计测试用例：路径1：输入数据：year=1999预期结果：Ieap=O路径2：输入数据：year=1996预期结果：Ieap=I路径3：输入数据：year=1800预期结果：Ieap=O路径4：输入数据：year=1600预期结果：IeaP=I选择白盒测试方法的几条阅历：在测试中，可实行先静态再动态的组合方式,先进行代码检查和静态结构分析，再进行掩盖测试；利用静态分析的结果作为引导，通过代码检查和动态测试的13、方式
13、对静态分析的结果做进一步确认；掩盖测试是白盒测试的重点，一般可使用基本路径测试法达到语句掩盖标准，对于软件的重点模块，应使用多种掩盖标准衡量测试的掩盖率；在不同的测试阶段测试重点不同，在单元测试阶段，以代码检查、掩盖测试为主，在集成测试阶段，需要增加静态结构分析等，在系统测试阶段，应依据黑盒测试的结果，采纳相应的白盒测试方法。白盒测试关注软件产品的内部细节和规律结构，利用构件层设计的一部分而描述的掌握结构来生成测试用例，需要对系统内部结构和工作原理有一个清晰的了解。白盒测试可以分为静态测试和动态测试。静态测试不通过执行程序而进行测试，其关键是检查软件的表示与描述是否全都，是否存在冲突或者歧义；动态测试需要执行程序，当程序在模拟的或真实的环境中执行之前、之中和之后，对程序行为分析，主要验证一个程序在检查状态下是否正确.
