软件测试第4章 白盒测试.ppt

域测试的步骤可归结如下： （1）根据各分支谓词，画出域分割图。 （2）对每一个域的每一个边界用ON-OFF-ON原则选取测试点进行测试。 （3）在域内取一些点进行测试。 4．划分分析 域测试的一种变形是D.J.Richardson和L.A.CLarke提出的划分分析（Partition Analysis）。这是程序测试与程序验证结合的方法。 4.4 符 号 测 试 1．符号测试方法概述 普通测试执行的是算术运算，符号测试则是执行代数运算。 符号值可以是初等符号值，也可以是表达式。 初等符号是任何变量值的字符串，表达式则是数字、算术运算符和符号值的组合。 下面短程序中可看到过程SAMPLE的变量符号值 Procedure SAMPLE(X，Y) S=2*X+3*Y T=S-Y RETURN END 2．符号执行树 取符号值作输入数据，在执行程序的过程中，如果遇到条件语句 IF谓词THEN… ELSE… ? 图4.19 求最大公因数程序流程图 图4.20 求最大公因数程序的符号执行树 3．符号测试方法评述 符号测试可以看作是程序测试与程序验证的一个折衷方法。 一方面，它沿用了传统的程序测试方法，通过运行被测程序来检验它的可靠性。 另一方面，由于一次符号测试的结果代表了一大类普通测试的运行结果，实际上是证明了程序接受此类输入，所得输出是正确的，还是错误的。 从符号测试方法使用看，问题的关键在于开发出比传统的编译器功能更强，能够处理符号运算的编译器或解释器。 在实际运用时符号测试可按以下步骤进行： （1）利用符号执行解释器对被测程序进行符号执行。 （2）若是遇到程序不能继续执行的情况，要求用户干预，或是遍历执行树的各分支路径。 （3）化简得到路径条件式。 （4）用解线性不等式方法求解路径条件式，以求得满足各个限制谓词的测试数据。 （5）对程序进行测试，若上述不等式无解，则相应的路径不可执行。 符号测试方法在使用中会遇到一些问题，这些问题到目前为止尚未得到圆满的解决，因而就严重地影响着它的发展前景。 （1）分支问题。 （2）二义性问题。 （3）大程序问题。 4.5 路 径 分 析 分析程序中的路径是指：检验程序从入口开始，执行过程中经历的各个语句，直到出口。这是白盒测试最为典型的问题。 着眼于路径分析的测试可称为路径测试，完成路径测试的理想情况是做到路径覆盖。 4.5.1 程序路径表达式 进行路径分析，首先要解决的是路径如何表示的问题。以下给出几种表示方法。这些方法应该比较直观、形象，以利于人们理解，同时还必须能够容易在计算机中处理。 1．路径的弧序列表示及结点序列表示 弧序列表示 结点序列表示 进入循环次数 经历左分支次数 经历右分支次数 acde abe abefabefabe abefacde 1-2-3-4-5 1-2-4-5 1-2-4-5-1-2-4-5-1-2-4-5 1-2-4-5-1-2-3-4-5 1 1 3 2 0 1 3 1 1 0 0 1 表4.8 路径的弧序列表示和结点序列表示 2．路径表达式（path expression） 路径表达式作为一种表达式，其运算对象指的是控制流图中的弧，此外引入两个运算：乘和加。 弧a和弧b相乘，所得的乘积为ab，它表示先沿弧a再沿弧b所经历的路段。注意，这里也同代数式一样，事实上省略了a和b之间的乘法运算符。 其实这就是前面给出的弧序列表示，形式上没有什么不一样，不过这时我们应该想到，各弧之间是一种相乘的关系。 例如，acde是四个弧的乘积，它表示沿着a、c、d和e的顺序所经历的路段。 路径表达式中的另一运算是加。弧a与弧b相加，其和a?+?b表示两弧是或的关系。如图4.21（a）中结点2至结点3有两个弧相联，是并行的路段。这时运算符“?+?”是不可省的。 可以直观地看出在图4.21（a）所表示的控制流中，共有4条路径，它们是eacf、eadf、ebcf和ebdf。这4条路径是并行的或的关系，我们完全可以用加运算联接它们，从而得到完整的路径表达式： eacf?+?eadf?+?ebcf?+?ebdf 图4.21 两个简单程序的控制流及其路径 另一方面，还可直接从该