（精）软件测试的内容.ppt

第7章 软件测试 本章主要内容： 软件测试的目的和原则 软件测试的方法 软件测试的步骤 调试 软件测试工具 测试用例的要求 测试用例应由输入数据和预期的输出数据两部分组成。 测试用例不仅选用合理的输入数据，还要选择不合理的输入数据。 长期保留测试用例。 白盒测试法 白盒测试法是通过分析程序内部的逻辑与执行路径来设计测试用例，并对测试用例进行测试的方法，也称做结构测试或逻辑驱动方法。 白盒测试法对程序的执行细节进行测试，验证程序模块的每个路径的执行情况。 六种覆盖标准的对比 语句覆盖发现错误能力弱； 判定覆盖包含语句覆盖，但可能会使一些条件得不到测试； 条件覆盖对每一条件进行单独检查，一般情况下其检错能力较判定覆盖强，但有时达不到判定覆盖的要求； 判定/条件覆盖包含了判定覆盖与条件覆盖的要求，但受软件的影响，有时达不到判定覆盖的标准； 条件组合覆盖发现错误能力较强； 路径覆盖查错能力强。 总结：在实际的逻辑覆盖测试中，一般以条件组合覆盖为主设计测试用例，然后再补充部分用例，以达到路径覆盖测试标准。 基本路径测试的步骤 ①画出程序图 以详细设计或源程序为基础，导出程序流程图的拓扑结构----程序图。 程序图是退化了的程序流程图，是反映控制流程的有向图。 称为结点，代表程序流程图的每个处理符号； 称为边或者路径，表示控制流向。 ②计算程序环路复杂度 环路复杂度是度量程序图G复杂度的方法。 三种计算方法： (1) V(G)=P+1，其中 P为判定结点 (2) V(G)=E-N+2，其中E为边数，N为结点数 (3) V(G)为区域数  基本路径测试的步骤 ③确定独立路径的基本集合 一条独立路径至少包含有一条在其他独立路径中没有的边。 独立路径的基本集合不唯一。 ④设计测试用例 确保每一条路径的执行。 void mergelist(list la,list lb,list lc){ 1: initlist(lc); i=j=1; k=0; la_len=listlength(la); lb_len=listlength(lb); 2: while ((i=la_len) 3： (j=lb_len)){ 4: getelem(la,i,ai); getelem(lb,j,bj); 5: if (ai=bj) 6: {listinsert(lc,++k,ai);++i; listinsert(lc,++k,bj); ++j;} 7: else if (aibj) 8: {listinsert(lc,++k,ai);++i;} 9: else {listinsert(lc,++k,bj);++j;} 10: } 11: while (i=la_len) { 12: getelem(la,i++,ai); listinsert(lc,++k,ai); } 13: while (j=lb_len) { 14: getelem(lb,j++,bj); listinsert(lc,++k,bj); } 15: } 第2步：计算环路复杂度 （1）判定结点为2，3，5，7，11，13 V(G)=P+1=7 （2）V(G)=E-N+2=20-15+2＝7 （3）区域个数为7个， V(G)=7 第3步：确定独立路径的基本集合 路径1：1-2-11-13-15 路径2：1-2-11-13-14-13-15 路径3：1-2-3-11-12-11-13-15 路径4：1-2-3-4-5-6-10-2-11-13-15 路径5：1-2-3-4-5-7-8-10-2-11-13-14-13-15 路径6：1-2-3-4-5-7-9-10-2-3-11-12-11-13-15 路径7: 1-2-3-4-5-6-10-2-3-11-11-12-11-13-15 第4步：设计测试用例 路径1用例：la={}, lb={}, lc={} 路径2用例：la={}, lb={3,5}, lc={3,5} 路径3用例：la={2,4}, lb={}, lc={2,4} 路径4用例：la={2,3,4},