软件测试实用教程第五章 白盒测试.pptVIP

通过从汇结点到源结点添加一条边，便可创建强连接有向图。其复杂度是： (G) = e – n + 1=11-7+1=5 以下给出用结点序列表示的五条线性独立路径： p1=A，B，C，G p2=A，B，C，B，C，G p3=A，B，E，F，G p4=A，D，E，F，G p5=A，D，F，G c A E B D C F G a b d e f g h i 控制图导出的强连通图 e j k 独立路径是指从程序入口到出口的多次执行中，每次至少有一个语句(包括运算、赋值、输入、输出或判断)是新的，未被重复的。 路径 p6=A、B、C、B、E、F、G p7=A、B、C、B、B、C、G 不是独立路径。 很明显，从测试角度来看，如果某一程序的每一独立路径都测试过了，那么可以认为程序中的每个语句都已检验过了. 但在实际测试中，要真正构造出程序的每条独立路径，并不是一件轻松的事。 独立路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出可执行的独立路径集合，从而设计测试用例的方法。 设计出的测试用例要保证被测程序的每条可执行的独立路径至少执行一次。 路径测试考虑以下几个方面： 程序的控制流图。 程序环境复杂性。借助McCabe复杂性度量，可以从程序的环路复杂性导出程序路径集合中的独立路径数。 设计测试用例，确保独立路径集中的每一条路径被执行。 Computer Architecture and Structure 第五章 白盒测试 概述 逻辑覆盖法 路径分析 数据流测试 程序插桩技术 白盒测试只测试软件产品的内部结构和处理过程，而不测试软件产品的功能，用于纠正软件系统在描述、表示和规格上的错误，是进一步测试的前提。白盒子测试分静态和动态两种：静态白盒测试是在不执行的条件下有条理地仔细审查软件设计、体系结构和代码，从而找出软件缺陷的过程，有时也称为结构分析。动态白盒测试也称结构化测试，通过查看并使用代码的内部结构，设计和执行测试。 逻辑覆盖法 程序控制流图是白盒测试的主要依据。对于一个程序，其程序控制流图G=(V,E,I,O)是一个有向图，其中V是结点的集合，E是边的集合，I是唯一的源结点（入口结点），而O是唯一的汇结点（出口结点）。 ● 结点表示语句，以标有编号的圆圈表示。 ● 边表示语句间可能的控制流向 ● I, O相应于程序的开始语句和结束语句。 如果i和j是程序控制流图中的结点，从结点i到结点j存在一条边，当且仅当对应结点j的语句可以在对应结点i的语句之后立即执行。 三角形问题类C语言实现 /* PROGRAM TRIANGLE */ mian () { 1 int a,b,c; 2 boolean IsTraingle 3 sacnf(“Enter 3 integer which is sides of a triangle. %d%d%d”,a,b,c); 4 printf(“Side a is %d”, a); 5 printf(“Side b is %d”, b); 6 printf(“Side c is %d”,c); 7 if ((ab+c) AND (ba+c) AND (ca+b)) 8 then IsTraingle=True; 9 else IsTraingle=False; 10 if (IsTraingle) 11 then if ((a=b) AND (b=c)) 12 then printf(“Equilateral”) 13 else if (a!=b) AND (a!=c) AND (b!=c) 14 then printf(“Scalene”) 15 else printf(“Isosceles”) 16 else printf(“Not a Triangle”) } 程序控制流图 结点3到7是一个序列，结点7到10是一个if-then-else结构，结点11到16是一个嵌套的if-then-else结构。结点3和16是程序源结点和汇结点，对应于单入口、单出口准则。该程序没有循环，因此控制流图是一个有向非循环图。 例：P=3，4，5，6，7，8，10，11，12，16是一条程序路经。 程序控制流图的重要性在于，程序的执行对应于从源结点到汇结点的路径。 检验程序从入口开始，执行过程中经历的各个语句，直到出口，是白盒测试最为典型的问题。 逻辑覆盖 逻辑覆盖是一种使用最广泛的结构测试方法。逻辑覆盖以程序内部的逻辑结构为基础设计测试用例，