白盒测试用例设计技术.pptVIP

判定/条件路径覆盖的测试用例测试用例输入预期输出被测路径CASE6x=4，y=2，z=0x=3sacbedCASE7x=1，y=1，z=1x=1sabd条件组合路径覆盖条件组合路径覆盖是指，通过设计足够多的测试用例，使得运行这些测试用例时，每个判定中条件结果的所有可能组合至少出现一次。条件组合路径覆盖的测试用例测试用例输入预期输出被测路径CASE8x=4，y=2，z=0x=3sacbedCASE9x=1，y=2，z=1x=2sabedCASE10x=2，y=1，z=0x=3sabedCASE11x=1，y=1，z=1x=1sabd物理路径覆盖物理路径覆盖是指，通过设计足够多的测试用例，使得运行这些测试用例时，程序的每条可能执行的物理路径都至少经过一次（如果程序中有环路，则要求每条环路至少经过一次）。物理路径覆盖的测试用例测试用例输入预期输出被测路径CASE8x=4，y=2，z=0x=3sacbedCASE9x=1，y=2，z=1x=2sabedCASE10x=1，y=3，z=0x=1/3sacbdCASE11x=1，y=1，z=1x=1sabd内容提要静态白盒法侵入式法路径覆盖法基本路径法定义/使用法程序片法白盒测试的其他方法基本路径法向量空间的基是相互独立的一组向量，基“覆盖”整个向量空间，使得该空间中的任何其他向量都可以用基向量来表示。因此，一组基向量在一定程度上可表示整个向量空间的本质：空间中的一切都可以用基表示，并且如果一个基元素被删除了，则这种覆盖特性也会丢失。基本路径法基对测试的潜在意义是：如果可以把程序看做是一种向量空间，则这种空间的基就是要测试的非常有意义的元素集合。如果基没有问题，则可以希望能够用基表达的一切都是没有问题的。基本路径法基本路径法是在程序控制流图的基础上，通过分析控制结构的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。基本路径法包括以下几个部分：程序的控制流图：描述程序控制流的一种图示方法。程序环路复杂性：McCabe复杂性度量；从程序的环路复杂性可导出程序基本路径集合中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必需的测试用例数目的上界，也即应该设计的测试用例的数目。确定线性无关的路径的基本集。准备测试用例，确保测试基本路径集中的每一条路径的执行。控制流图13625821457837（a）程序流程图（b）控制流程图McCabe的基路径方法McCabe认为强连接图的圈数量就是图中线性独立环路数的数量。McCabe的基路径方法通过定义加法和标量乘法的概念，强制使其看起来像向量空间：路径加法就是一条路径后接另一条路径，乘法对应于路径的重复。McCabe的基路径方法McCabe开发了一种算法过程，用于确定基路径集合。这种方法首先选择一个基线路径，应该对应某个“正常案例”程序的执行。接下来重复回溯基线路径，依次“翻转”每个判断点，即当节点的外度≥2时，必须取不同的边。McCabe的基路径方法定义：图G的圈数由V(G)=e-n＋2p给定，其中：e是G中的边数。n是G中的节点数。p是G中的组件数。V(G)是图中不同区域的个数。McCabe的控制图五个线性独立路径P1：A，B，C，GP2：A，B，C，B，C，GP3：A，B，E，F，GP4：A，D，E，F，GP5：A，D，F，GMcCabe的基路径方法McCabe的基路径方法弱点：一、测试基路径集合是充分的（它不是）二、向量运算用于程序路径的表达上，没有意义。内容提要静态白盒法侵入式法路径覆盖法基本路径法定义/使用法程序片法白盒测试的其他方法数据流测试早期的数据流分析常常集中于现在叫做定义/引用异常的缺陷：变量被定义，但是从来没有使用。所使用的变量没有被定义。变量在使用之前被定义两次。定义/使用测试定义节点n∈G(P)是变量v∈V的定义节点，记做DEF(v,n),当且仅当变量v的值由对应节点n的语句片段处定义。内容提要静态白盒法侵入式法路径覆盖法基本路径法定义/使用法程序片法白盒测试的其他方法白盒测试概念白盒测试也称结构测试或逻辑驱动测试，通过了解软件系统的内部工作过程，设计测试用例来检测程序内部动作是否按照规格说明书规定的正常进行，按照程序内部的结构测