测试新.pptVIP

第7章 测试 7.1 软件测试基础 7.2 单元测试 7.3 集成测试 7.4 确认测试 7.5 白盒测试技术 7.6 黑盒测试技术 7.7 调试 7.8 软件可靠性 目标 理解测试的目的 理解软件可靠性 掌握测试技术 设计测试用例 自顶而下增值 自底而上增值 深度优先与宽度优先 无论是自顶而下增值还是自底而上增值，还可选择 深度优先或者宽度优先增值。 确定集成过程的原则 自顶而下增值 优点：能够尽早发现系统主控方面的问题。 缺点：无法验证桩模块是否完全模拟了下属模块的功能。 自底而上增值 优点：驱动模块较容易编写桩模块，能够尽早查出底层涉及较复杂的算法和实际的I/O模块中的错误。 缺点：最后才能发现系统主控方面的问题。 3、混合增值 常见的混合增值方案： 衍变的自顶而下 先自底而上集成子系统，再自顶而下集成总系统。 一、白盒法 白盒法又称为逻辑覆盖法，其测试用例选择，是按照不同覆盖标准确定的。 白盒法步骤： 例：用白盒法测试以下程序段： Procedure（VAR A，B，X：REAL）； BEGIN IF （A1) AND (B=0) THEN X:=X/A ; IF (A=2) OR (X1) THEN X:=X+1 END; 白盒法举例 Procedure （VAR A,B,X:REAL）； BEGIN IF（A1) AND (B=0) THEN X:=X/A ; IF (A=2) OR (X1) THEN X:=X+1 END; 1、语句覆盖 使得程序中每个语句至少都能被执行一次。 2、判定覆盖 使得程序中每个判定至少为TRUE 或FALSE各一次。 3、条件覆盖 4、判定/条件覆盖 同时满足判断覆盖和条件覆盖。 5、条件组合覆盖 使得每个判定中条件的各种可能组合都至少出现一次。 6、路径覆盖 覆盖程序中所有可能的路径。 导出测试用例 基本路径测试法适用于模块的详细设计及源程序，其主要步骤如下： 1）以详细设计或源代码作为基础，导出程序的控制流图； 2）计算得到的控制流图G的环路复杂性V（G）； 3）确定线性无关的路径的基本集； 4）生成测试用例，确保基本路径集中每条路径的执行。 4、因果图法（cause effcet graphicei） ⑴ 因果图的基本符号 0 - 表示“不出现” 1 - 表示“出现” 4、因果图法（cause effcet graphicei） 对“与”、“或”函数的限制符号 ⑵ 因果图法的步骤 分析规范，即将问题分为若干可工作的步骤。 标识出规范中的原因与结果。 原因—输入条件 结果—输出或系统变换 ⑶ 因果图法应用举例 规范：文件名第一列字符必须为A或B，第二列字 符必须为数字。满足则修改文件。第一字符不正 确发出信息X12，第二个字符不正确发出信息X13。 ②画出因果图 中间结点 是导出结果的进一步原因。 ③将因果图转换为判断表 1. 蛮干法 按照“让计算机自己寻找错误”的策略，这种方法印出内存的内容，并在程序中到处都写上WRITE（输出）语句，试图找到线索。 2. 回溯法 从发现症状的地方开始，人工沿程序的控制流往回追踪分析源程序代码，直到找出错误原因为止。 3. 原因排除法 对分查找法、归纳法和演绎法都属于原因排除法。 * 黑盒测试着重测试软件功能。黑盒测试并不能取代白盒测试，它是与白盒测试互补的测试方法，它很可能发现白盒测试不易发现的其他类型的错误。 黑盒测试力图发现下述类型的错误： ①功能不正确或遗漏了功能； ②界面错误； ③数据结构错误或外部数据库访问错误； ④性能错误； ⑤初始化和终止错误。 黑盒测试技术：等价划分法、边界值分析法、错误推测法、因果图法等。 7.6 黑盒测试技术 * 1 等价类划分法（等价分配） 把所有可能的输入数据(有效的和无效的)划分成若干个等价的子集(称为等价类别或等价区间)， 使得每个子集中的一个典型值在测试中的作用与这一子集中所有其它值的作用相同. 等价类别或等价区间是指测试相同目标或者暴露相同软件缺陷的一组测试用例 * 如何划分等价类？ 有效等价类(合理等价类) 无效等价类(不合理等价类) 划分等价类的标准： 覆盖 不相交 代表性 * 划分等价类的规则 (1)如果输入条件规定了取值范围，可定义一个有 效等价类和两个无效等价类。 例 输入值是学生成绩，范围是0～100 0 100 有效等价类 0≤成绩≤100 无效等价类 成绩100 无效等价类