软件测试课件(2012版) Software Testing-白盒测试.ppt

《软件测试课件(2012版) Software Testing-白盒测试.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、ⅢCHAPTER白盒测试方法概述（1）称为结构性测试、逻辑驱动测试，基于被测程序的源代码，而不是基于定义.由于这种绝对化的基础，白盒测试支持严格定义、数据分析和精确度量.白盒测试方法控制流/路径测试数据流测试其他方法：程序插装、域测试法、符号测试、Z路径覆盖法、程序变异概述（2）软件人员使用白盒测试方法，主要想对程序模块进行如下的检查：对程序模块的所有独立的执行路径至少测试一次；对所有的逻辑判定，取“真”与取“假”的两种情况都至少测试一次；在循环的边界和运行界限内执行循环体；测试内部数据结构的有效性。程序图给定一个采用命令式程序

2、设计语言编写的程序，其程序图是一种有向图，其中：节点是语句片段（要么是整个语句，要么是语句的一部分）；边表示控制流（从节点i到节点j有一条边，当且仅当对应节点j的语句或语句的一部分，可以立即在节点i对应的语句或语句的一部分之后执行）。三角形程序的源代码和程序图DD-路径结构性测试最著名的形式以决策到决策DD路径的结构为基础，指语句的一种序列.DD-路径是程序图中的一条链，使得：情况1：由一个节点组成，内度=0情况2：由一个节点组成，外度=0情况3：由一个节点组成，内度≥2或外度≥2情况4：由一个节点组成，内度=1并且外度=1情况

3、5：长度≥1的最大链DD-路径图给定采用命令式语言编写的一段程序，其DD-路径图是有向图.其中，节点表示其程序图的DD-路径边表示连续DD-路径之间的控制流.三角形程序的DD-路径图测试覆盖指标举例If((A>1)and(B=0))thenX=X/AIf((A=2)or(X>1))thenX=X+1(A>1)and(B=0)X=X/A(A=2)or(X>1)X=X+1TFTFabcde测试覆盖指标（1）语句覆盖：选择足够的测试用例，使得程序中每个可执行语句至少执行一次.A=2(1)B=0X=3T1T2T3T4(ace)√A=2(

4、2)B=1X=3T1F2T3T4(abe)×测试覆盖指标（2）(判定)分支覆盖：选择足够的测试用例，使得程序中每个判定至少都获得一次“真”值和“假”值.A=2(1)B=0X=3T1T2T3T4(ace)A=1(3)B=0X=1F1T2F3F4(abd)A=2(5)B=1X=1T1F2T3F4(abe)A=3(4)B=0X=3T1T2F3F4(acd)测试覆盖指标（3）分支条件覆盖：选择足够的测试用例，使得程序中每个判定中每个条件的可能值至少满足一次.A=2(1)B=0X=3T1T2T3T4(ace)A=1(3)B=0X=1F1T

5、2F3F4(abd)A=2(5)B=1X=1T1F2T3F4(abe)A=1(6)B=0X=3F1T2F3T4(abe)A=2(5)B=1X=1T1F2T3F4(abe)测试覆盖指标（4）条件判定覆盖：选择足够的测试用例，使得程序中每个判定中的每个条件的所有可能(真/假)至少出现一次并且每个判定本身的结果(真/假)也至少出现一次.A=2(1)B=0X=3T1T2T3T4(ace)A=1(7)B=1X=1F1F2F3F4(abd)测试覆盖指标（5）分支条件组合覆盖：选择足够的测试用例，使得程序中每个判定中条件的各种可能组合都至少出

6、现一次，显然满足条件组合覆盖的测试用例一定满足“(判定)分支覆盖”、“分支条件覆盖”和“条件判定覆盖”.A=2(1)B=0X=3T1T2T3T4(ace)A=1(7)B=1X=1F1F2F3F4(abd)A=2(5)B=1X=1T1F2T3F4(abe)A=1(6)B=0X=3F1T2F3T4(abe)测试覆盖指标（6）路径覆盖：设计足够的测试用例要求覆盖程序中所有可能的路径.A=2(1)B=0X=3T1T2T3T4(ace)A=3(8)B=0X=1T1T2F3F4(acd)A=2(5)B=1X=1T1F2T3F4(abe)A=

7、1(3)B=0X=1F1T2F3F4(abd)基路径测试（1）特定的集合都可以有一个基，基可以采用向量空间的结构来定义，所有向量空间都有一个基，向量空间的基是相互独立的一个向量，基“覆盖”整个向量空间，使得该空间中的任何其他向量都可以用基向量表示。若把程序看作是一种向量空间，则这种空间的基就是要测试的非常有意义的元素集合。如果基没有问题，则可以希望能够用基表述的一切都是没有问题的。基路径测试（2）强连接图的圈数量等于图中线性独立环路的数量。通过从汇结点到源结点添加一条边，可以创建强连接图。圈数量V（G）＝e－n＋2p5个独立路径

8、为：P1：A，B，C，GP2：A，B，C，B，C，GP3：A，B，E，F，GP4：A，D，E，F，GP5：A，D，F，GABDECFG基路径的表示路径的弧序列表示或者节点序列表示路径表达式运算对象是路径图中的弧运算操作是标量乘法、加法满足加法交换律、加法结合律、