软件工程13实现测试.pptVIP

* 39 * 黑盒测试技术-看得见的测试 等价划分 边界值分析 错误推测 * 39 * 等价划分-选择用例代表，减少用例数量 启发式规则（有效-符合条件；无效-不符合条件） 规定了输入值的范围、输入数据的个数，则可分别划分出一个有效的等价类，两个无效的等价类（连续） 规定了输入数据的一组值，对不同输入值做不同处理，则每个允许的输入值是一个有效的等价类，还有一个无效的等价类（离散） 规定了输入数据必须遵循的规则，则可以划分出一个有效的等价类和若干个无效的等价类（日期） 程序的处理对象是表格，则应该使用空表，以及含一项或多项的表。 根据等价类设计测试方案的步骤 覆盖有效等价类 覆盖无效等价类 专业知识+领域知识 * 39 * 边界值分析 经验表明，处理边界情况时程序最容易发生错误 测试数据临界值 数组下标 循环边界 边界一般具有模糊性、统计性、人为性 * 39 * 错误推测 不同类型不同特点的程序通常又有一些特殊的容易出错的情况 错误推测法在很大程度上靠直觉和经验进行 等价划分法和边界值分析法都只孤立地考虑各个输入数据的测试功效，而没有考虑多个输入数据的组合效应，可能会遗漏了输入数据易于出错的组合情况 选择输入组合 利用判定表或判定树为工具，列出输入数据各种组合与程序应作的动作之间的对应关系，然后为判定表的每一列至少设计一个测试用例 把计算机测试和人工检查代码结合起来 * 39 * 调试-发现错误、排除错误 调试过程(测试用例-发现错误，改正|再确认-测试用例) 调试途径—方法 蛮干法？（debug、message box） 回溯法（人工，只适用小程序） 原因排除法 对分查找法（关键点赋正确值-dummy的活用） 归纳法（个别现象?一般性结论） 演绎法（假设错误原因?测试?逐一排除） 下一步思考 同类错误、引发错误，应对方法 Log File * 39 * 软件可靠性-理论研究 软件可靠性：程序在给定的时间间隔(0-t)内，按照规格说明书的规定，成功运行的概率 软件可用性：程序在给定的时间点(t)，按照规格说明书的规定，成功运行的概率 系统稳态可用性： 系统正常 运行时间 系统故障 停机时间 平均无故障时间 平均修复时间 * 39 * 估算平均无故障时间的方法 常数200 测试前程序中 的错误总数 程序长度 (机器指令总数) 改正错误数 测试时间 (包括调试) 测试员甲发现的错误数（标记） 测试员乙发现的错误数 俩测试员发现的相同错误数 估算 * 39 * 测试分类与测试方法 测试分类 测试方法 39 39 * 39 * 软件工程导论（五） 第拾叁讲 实现—测试 * 39 * 本讲主要内容 软件测试基础(概述) 测试种类(单元测试；综合测试(集成测试/确认测试)) 测试方法(白盒测试技术/黑盒测试技术) 调试(测出问题后的修改) ———————————————————————————————————————————————————— 软件可靠性(介绍) 软件测试的目标 软件测试的准则 软件测试的方法 软件测试的步骤 测试阶段的信息流 ———————————————————————————————————————————————————— * 39 * 软件测试的目标 最大限度地发现隐藏在程序中的错误！！！ 程序是否存在技术上的错误 功能性满足 非功能性满足（效率、鲁棒性等） ———————————————————————————————————————————————————— 程序是否满足设计要求、用户要求（业务） * 39 * 软件测试的准则 追溯到用户需求（发现不满足用户需求的错误） 制定测试计划（需求后）和测试方案（设计后） 小规模（单个模块）?大规模（模块簇、子系统、系统） 第三方测试（专业测试，开发/测试配对） 80%的错误由20%的程序引起（Pareto法则） 充分覆盖程序逻辑 * 39 * 软件测试的方法 黑盒测试—功能 白盒测试—结构 * 39 * 软件测试的步骤 模块测试 (单元测试) — 针对-编码和详细设计说明书 子系统测试 (接口测试) — 针对-模块接口 系统测试 (集成测试) — 针对-需求说明书中的功能 验收测试 (确认测试) — 针对-用户实际需求 平行运行 (新/旧；系统/手工) — 试运行 ———————————————————————————————————————————————————— 测试是软件生命周期中的一次较大迭代 子系统的定位：系统子部分；大粒度模块 * 39 * 测试阶段的信息流-测试流程 软件配置：①需求说明书；②设计说明书；③源程序清单 测试配置： 测试计划 设计 测试方案：①检验功能；②测试数据；③预期结果 * 39 * 软件测试的种类 单元测试(模块测