(1)归纳法 不能 有关厂数据线索研究/线索 收集细如错误 线索关系/假设 错误 数据构造关系原因不 线索 能 能证 纠正证明/ 错误「能假设
(1) 归纳法 收集 有关 数据 组织 数据 构造 线索 研究 线索 关系 假设 错误 原因 证明 假设 纠正 错误 能 不 能 证 明 线索 关系 错误 线索 能 不能
(2)演绎法 出错 剩余 待定 列举原因排除错因对保错因证明能 可能不会 留的 留下确定 错误发生 假设 的假错误 原因 原因 推断 设 无剩余 不能 收集更 多数据
(2) 演绎法 列举 可能 错误 原因 排除 不会 发生 原因 对保 留的 假设 推断 证明 留下 的假 设 确定 错误 待定 错因 剩余 错因 能 出错 原因 不能 收集更 多数据 无剩余
6.8.2修改错误原如 °注意错误的群集现象,在错误近邻 检査。 °找到错误的本质并修改 °采用回归测试,避免因修改引起的 新错误。 °修改源程序
6.8.2 修改错误原则 •注意错误的群集现象，在错误近邻 检查。 •找到错误的本质并修改 •采用回归测试，避免因修改引起的 新错误。 •修改源程序
§6.9测试中的可靠性分析 开发过程中,利用测试的统计数据来 估算软件的可靠性,以控制软件的质 量 推测错误的产生频度 °推测残留在程序中的错误数 °评价测试的精确度和覆盖率
§6.9 测试中的可靠性分析 开发过程中，利用测试的统计数据来 估算软件的可靠性，以控制软件的质 量。 •推测错误的产生频度 •推测残留在程序中的错误数 •评价测试的精确度和覆盖率
推测错误的产生频度 (推测错误产生的问隔) 方法:估算平均故障时间(MTTF估算公式) 当故障率为独立于时间的常量λ MTTF=I λ"K(Em/Ir-Ec(t/m K:经验常数 ET:程序中原有的残留错误数 IT:程序长度 t:测试时间 Ec(t):在0-t期间内发现的错误总数
推测错误的产生频度 （推测错误产生的时间间隔） 1 K(ET/IT- Ec(t)/IT) 方法:估算平均故障时间(MTTF估算公式) 当故障率为独立于时间的常量λ: MTTF＝ K : 经验常数 ET : 程序中原有的残留错误数 IT : 程序长度 t: 测试时间 Ec(t):在0-t期间内发现的错误总数 λ 1 =