第2章软件测试基本技术.ppt.pptVIP

第2章 软件测试基本技术 白盒测试和黑盒测试 若测试基于产品的内部逻辑结构，针对程序语句、路径、变量状态等来进行测试， 测试软件内部逻辑实现是否有错误或缺陷，则这种测试方法称为白盒测试(White-box Testing)方法。 把程序看作一个不能打开的黑盒子，不考虑程序内部结构和内部特性，而是考察数据的输入、条件限制和数据输出，测试基于待测对象的接口，目的是检查程序各个功能是否能够实现，并检查其中的功能错误，则这种测试方法称为黑盒测试(Black-box Testing)方法，黑盒测试是功能测试的主要技术手段。 2、白盒测试 白盒测试将被测程序看作一个打开的盒子，测试者能够看到被测源程序，可以分析被测程序的内部结构，此时测试的焦点集中在根据其内部结构设计测试用例。 白盒测试要求是对某些程序的结构特性做到一定程度的覆盖，或者说这种测试是“基于覆盖率的测试”。 白盒测试的技术方法： 基本路径法: 在程序控制流程的基础上，分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例. 逻辑覆盖法：通过对程序逻辑结构的遍历实现程序的覆盖. 白盒测试 逻辑覆盖法 通过对程序逻辑结构的遍历实现程序的覆盖. 1．语句覆盖 为了暴露程序中的错误，设计足够多的测试用例，使被测程序中每条语句至少执行一次。 2．判定覆盖 设计若干测试用例，运行被测程序，使得程序中每个判断的取真分支和取假分支至少经历一次，又称为分支覆盖。 3．条件覆盖 在程序设计中，一个判定是由多个条件组合而成的复合判定。 条件覆盖的含义是：构造一组测试用例，使得每一判定中每个逻辑条件的可能值至少满足一次。 4．条件/判定覆盖 条件/判定覆盖的含义是：设计足够的测试用例，使得同时满足判定覆盖和条件覆盖。（判定中每个条件的所有可能取值（真/假）至少出现一次，并且每个判定的结果（真/假）也至少出现一次） 5．条件组合覆盖 设计足够的测试用例，使得每个判定中条件的各种可能组合都至少出现一次。 满足多条件覆盖的测试用例是一定满足判定覆盖、条件覆盖和条件/判定覆盖的。 基本路径测试 逻辑覆盖 路径覆盖——基本路径测试 当程序非常复杂的情况下，程序执行的路径数急剧增加，要做到完全覆盖几乎是不可能的。 如果把覆盖的路径数压缩到一定限度内，例如，程序中的循环体只执行1次或0次等，就成为基本路径。 设计测试用例，覆盖每条基本路径，也就保证了程序的每一条可执行语句至少执行一次。称为基本路径测试。 基本路径测试步骤： 由程序流程图(代码) 控制流程图G 计算控制流程图的环路复杂性V(G) 确定只包含独立路径的基本路径集 设计测试用例 1. 程序的控制流图 控制流图是描述程序控制流的一种图示方式。可由程序流程图或其他软件设计结果导出。 控制流图示例一 由程序流程图映射控制流图的方法 注意事项： 流程图中用菱形框表示的判断内没有复合条件表达式。如果有则需转换为一系列单个条件的嵌套判断。 一组顺序处理可以映射为一个单一的结点。 控制流图中一条边必须终止于一个结点。 在选择或多分支结构中分支的汇聚处需增加一个汇聚结点。 控制流图中由边和结点圈定的封闭空间称为区域，图形外的空间也记为一个区域。 2．计算环路复杂性(圈复杂度) 程序的环路复杂性给出了程序基本路径集合中的独立路径条数，这是确保程序中每个可执行语句至少执行一次所必须的测试用例数目的上界。 所谓独立路径，是从程序入口到出口的多次执行中，每次至少一个语句（包括运算、赋值、输入输出和判断）是新的，未被重复的。 2．计算环路复杂性(圈复杂度) ① 环路复杂性V(G) =控制流图中的区域数。 ② 环路复杂性V(G) =E?N+2。 E为边数，N为结点数； ③ 环路复杂性V(G) =P+1。 P为判定结点数； 基本路径集不是惟一的，对于给定的控制流图，可以得到不同的基本路径集。 例如，在图示的控制流图中，一组独立的路径是path1：1 - 11path2：1 - 2 - 3 - 4 - 5 - 10 - 1 - 11path3：1 - 2 - 3 - 6 - 8 - 9 - 10 - 1 - 11path4：1 - 2 - 3 - 6 - 7 - 9 - 10 - 1 - 11 路径 path1，path2，path3，path4组成了控制流图的一个基本路径集 图形矩阵 基本路径测试练习 void Sort ( int iRecordNum, int iType ) 1 { 2 int x=0; 3 int y=0; 4 while ( iRecordNum-- 0 ) 5 {