SE第45章 软件测试与维护.pptVIP

* * 第五讲 软件测试与维护 软件测试 软件测试的根本目标：尽可能多地发现并排除软件中潜藏的 错误，最终把一个高质量的软件系统交给用户使用,测试目 标决定了测试方案和测试用例的设计； 观念：测试并不是证明程序是正确的，而是发现错误。 程序调试 对测试出现的错误进行诊断，确定错误的位置、原因，并改 正错误。 软件维护 是软件生命周期的最后一个阶段，指软件交付使用之后，为 了改正错误或满足用户新的需求而修改软件的过程。 5.1 软件测试 测试的目的 测试是程序的执行过程，目的是发现错误； 一个好的测试用例在于能够发现迄今为止尚未发现的错误； 一次成功的测试在于发现了迄今为止尚未发现错误的测试。 测试的原则 应当把“尽早地和不断地进行测试”作为座右铭 测试应避免程序员自己进行 测试用例包括测试数据和与其对应的预期输出结果 测试用例应包括合理的和不合理的输入数据 注意错误群集的地方 严格执行测试计划，排除测试的随意性 全面检查每一次测试结果 妥善保存测试计划、测试用例、出错统计和最终的分析报告 5.1.1 软件测试技术 穷举测试是不可能的，通过组织“测试用例”进行抽样测试，选择执行程序中有代表性的通路，最大限度地实现对程序测试的逻辑覆盖。 测试的方法 黑盒测试 对程序的功能和性能进行测试 被测程序当作黑盒，不考虑程序内部数据结构和逻辑通路 在程序接口进行测试 白盒测试 对程序的逻辑结构进行测试 了解程序内部结构和处理过程 回归测试：重新执行已经做过测试的某个子集，以保证软件集成 没有带来非预期的副作用 α测试：是用户在受控的环境中进行的，开发者记录错误和问题 β测试：是用户在不受控的环境中进行的，用户记录错误和问题 划分等价类的启发规则： 如果输入条件指定一个输入数据的离散值，且每一种值用不同的处理，则划分为若干个有效等价类（每个允许的输入值）和1个无效等价类（任一不允许的输入值） 如果已划分的等价类中的元素不被程序以相同方式处理，应将其进一步划分成更小的等价类 划分等价类的启发规则： 输入值规定了范围，则划分为1个有效等价类（值在范围内）和2个无效等价类（值最小值、值最大值） 规定了输入数据个数，则划分为1个有效等价类（输入数据为规定个数）和2个无效等价类（输入数据最小数、输入数据最大数） 输入条件包含一个“必须成立”的情况，则划分为1个有效等价类（符合规则）和若干个无效等价类（从各种不同角度违反规则） 5.1.1 软件测试技术 等价类：某个输入域的子集合，集合中的一个典型值，在测试中所起的作用与其它所有值相同 等价类的划分：根据程序的功能说明和输出数据，来确定输入数据的有效等价类和无效等价类 选择测试用例： 设计一组测试用例，使之尽可能多地覆盖尚未覆盖的有效等价类（或无效等价类），重复这一步骤，直到所有的有效等价类（或无效等价类）都被覆盖为止 测试用例的产生方法 黑盒测试 等价类划分法 边界值分析法 错误推测法 因果图法 白盒测试 逻辑覆盖法 5.1.1 软件测试技术 测试用例的产生方法 黑盒测试 等价类划分法 边界值分析法 错误推测法 因果图法 白盒测试 逻辑覆盖法 程序在处理边界情况时最容易发生错误，使用“边界值分析方法”设计测试方案： 边界值：输入等价类和输出等价类的边界 测试用例：选择各等价类的边界数据 联合等价划分和边界值分析法 错误推测法，预测程序中可能存在哪类错误，从而挑选最佳的测试方案： 仔细分析规格说明书，凭经验和直觉做出推测； 列举对规格说明书中容易遗漏的部分，和程序中易发生错误的特殊情况 设计测试用例 因果图法： 等价类划分法和边界值分析法，只是单独测试各个输入条件； 因果图法，对各种输入条件进行组合检查； 思想：把输入条件视为“因”，输出条件视为“果”，画出从因到果的逻辑网络图； 设计测试用例 5.1.1 软件测试技术 测试用例的产生方法 黑盒测试 等价类划分法 边界值分析法 错误推测法 因果图法 白盒测试 逻辑覆盖法 5.1.1 软件测试技术 测试用例的产生方法 黑盒测试 等价类划分法 边界值分析法 错误推测法 因果图法 白盒测试 逻辑覆盖法 逻辑覆盖，是对一系列测试过程的总称，这组测试过程逐渐进行越来越完整的通路测试，按覆盖源程序语句的详尽程度划分： 语句覆盖，试图覆盖所有语句 判定覆盖，试图覆盖所有判定点，判定点值的“真”或“假” 条件覆盖，试图覆盖所有判定条件 判定/条件覆盖，试图覆盖所有判定点和判定条件 条件组合覆盖，试图覆盖所有判定条件的各种组合 弱 强 例 设计下面给出伪码的判定覆盖和条件组合覆盖的测试用例，要求给出输