软件工程201009本12测试.pptVIP

* CQUPT GE J.W. * 测试 设计测试方案 等价划分 举例 问题定义：将6位数字串(不足6位，左边补空格)转变为整型数。计算机字长为16位。 划分等价类：图示 设计测试方案：图示1，图示2 * CQUPT GE J.W. * 测试 设计测试方案 等价划分 举例 问题定义：将6位数字串(不足6位，左边补空格)转变为整型数。计算机字长为16位。 划分等价类：图示 设计测试方案：图示1，图示2 * CQUPT GE J.W. * 测试 设计测试方案 等价划分 举例 问题定义：将6位数字串(不足6位，左边补空格)转变为整型数。计算机字长为16位。 划分等价类：图示 设计测试方案：图示1，图示2 有效等价类测试方案 * CQUPT GE J.W. * 测试 设计测试方案 无效等价类测试方案 * CQUPT GE J.W. * 测试 设计测试方案 边界值分析 首先应确定各等价类的边界情况； 选取等于、稍小于和稍大于等价类边界值的数据作为测试数据。 * CQUPT GE J.W. * 测试 设计测试方案 错误推测 基本思路 列举出程序中可能有的错误和容易发生错误的特殊情况，并设计相应的测试方案。 针对输入数据的组合情况设计测试方案。 重点测试已发现了较多错误的程序段。 应检查多个模块共享的变量。 * CQUPT GE J.W. * 测试 设计测试方案 使用测试策略 任何情况下都应该使用边界值分析的方法。 必要时用等价划分法补充测试方案。 必要时用错误推测法补充测试方案。 对照程序逻辑，检查已经设计的测试方案是否达到所要求的覆盖标准。 * CQUPT GE J.W. * 测试 设计测试方案 使用测试策略举例 问题定义 根据给定的三个长度值，判断三角形的类型。 划分等价类 设计测试数据：图示 根据程序流程图和程序图检验测试数据的覆盖程度：图示1，图示2，图示3 * CQUPT GE J.W. * 测试 设计测试方案 使用测试策略举例 问题定义 根据给定的三个长度值，判断三角形的类型。 划分等价类 设计测试数据：图示 根据程序流程图和程序图检验测试数据的覆盖程度：图示1，图示2，图示3 * CQUPT GE J.W. * 测试 设计测试方案 使用测试策略举例 问题定义 根据给定的三个长度值，判断三角形的类型。 划分等价类 设计测试数据：图示 根据程序流程图和程序图检验测试数据的覆盖程度：图示1，图示2，图示3 * CQUPT GE J.W. * 测试 设计测试方案 * CQUPT GE J.W. * 测试 设计测试方案 * CQUPT GE J.W. * 测试 设计测试方案 使用测试策略举例 问题定义 根据给定的三个长度值，判断三角形的类型。 划分等价类 设计测试数据：图示 根据程序流程图和程序图检验测试数据的覆盖程度：图示1，图示2，图示3 * CQUPT GE J.W. * 测试 调试 任务：诊断和改正程序中的错误。 步骤 确定错误的准确位置。 设法改正错误。 调试技术：追踪程序的运行状态，观测变量的变化。 * CQUPT GE J.W. * 测试 调试 调试策略 试探法 回溯法 对分查找法 * CQUPT GE J.W. * 测试 调试 调试策略 归纳法：从错误征兆出发，找出程序的故障点。 收集有关的数据 组织数据 导出假设 证明假设 * CQUPT GE J.W. * 测试 调试 调试策略 演绎法：列出所有可能的假设，然后逐步排除假设。 设想可能的原因 用已有的数据排除不正确的假设 精化余下的假设 证明余下的假设 * CQUPT GE J.W. * 测试 软件可靠性 软件可靠性定义 程序在给定的时间间隔内成功运行的概率。 软件可用性定义 程序在某一给定时间成功运行的概率。 * CQUPT GE J.W. * 测试 软件可靠性 在一段时间内，软件的稳态可用性为： * CQUPT GE J.W. * 测试 软件可靠性 估算平均无故障时间的方法 K为常数，经验表明，其典型值为200； ET为测试之前程序中故障的总数； IT为程序长度(机器指令总数)； ET/IT为单位长度的故障数，近似为常数，大约为5—20/1000条指令。 EC(τ)为测试期间τ改正的故障数 * CQUPT GE J.W. * 测试 软件可靠性 估计故障总数的方法 植入故障法 * CQUPT GE J.W. * 测试 软件可靠性 估计故障总数的方法 分别测试法 * CQUPT GE J.W. * 测试 软件可靠性 程序正确性证明 测试可以发现程序中的错误，但不能