2019年最新-ch05软件可靠性度量-精选文档.ppt

利用基本模型可估计要达到某可 靠性目标还必须要发现（检测出） 为达到目标 的缺陷数和需要的时间，有助于 还需检测出 的缺陷数 计划人力和时间 已检出 设要达到的可靠性目标为 λ f ，则需 的累计 发现的故障数 N f 为： 缺陷数 为达到目标 需要的时间 1 N f ? 为达到故障率目 当前已检 ln( ? p / ? f ) 标或 MTTF 目标 测出的累 为达到这一目标所需时间 T f 为： 必须要检出的累 积缺陷数 计缺陷数 1 T f ? ? p ? ? f 测试时间 2019/4/21 china-onlineclass 31 对数模型 假设： ①每个缺陷对故障率的贡献不同；②常用的功 能的缺陷可及早被检出，故障率的变化随时间减少； ③软件固有的故障总数是无限的 Musa 模型： ? 0 ? p ? ? 0 ?? ? 1 N f 和 T f 为： ? 1 N f ? ln( ? p / ? f ) ? p ? f T f ? ? p ? ? f 2019/4/21 china-onlineclass 32 ? Goel-Okumoto 模型 假设：缺陷对时间的分布是非时对齐的，即发现的缺 陷不一定会立即消除（适用于开发早期） 基本模型： ? bt ? ( t ) ? abe 其中， ab 为常数，与单位时间内发生的缺陷有关 可得： ? bt ED ( t ) ? a ? ae 修正模型： ? ( t ) ? abct e china-onlineclass c ? 1 ? bt c 故障密度函数为 Weibull 分布 2019/4/21 33 ? 5.5.4 软件可靠性模型的适用条件 模型 假设 适用阶段 难易度 ①优先固有缺陷数 Mussa 基本模型 ②常数故障率 ③指数分布 ①无限固有缺陷数 Mussa 对数模型 ②对数分布 ③故障率随时间变化 Goel-Ukumoto ①非时齐缺陷分布 ②缺陷可能因修复而产生 ③指数、 Weibull 分布 集成测试后 E 单元测试到 系统测试 E 集成测试后 M 2019/4/21 china-onlineclass 34 § 5.6 软件可靠性测试 ? 5.6.1 软件测试的类型 与软件可靠性相关的测试主要是动态测试 ? 单元测试：对汇编单元进行测试 ? 集成测试：对汇编单元接口的测试 ? 验收测试：验收并确认实现了所有需求 ? 回归测试：对与修正的缺陷的软件部件的再测试 2019/4/21 china-onlineclass 35 ? 5.6.2 软件可靠性测试方法 ? 利用在其他测试中的数据收集来检验软件可靠性的测试 基本步骤是： ① 仔细研究开发过程和软件问题报告 ② 确定使用那些或那个模型来度量软件可靠性 ③ 执行一种有效的方法来收集问题报告缺陷数据、过程数据和 产品数据，收集集成测试期间及以后的数据 ④ ⑤ 按照模型规定的原理和方法，将数据输入选定的模型，直接 估计软件可靠性或间接地估计与其有关的参数 根据估计结果进行决策： 软件能否被释放（发布）？ 是否需要增加测试时间以达到可靠性目标？如果需要，还 需要多少时间？ 2019/4/21 china-onlineclass 36 ? Beta 测试 系统软件证明测试 可以直接反映可靠性水平 ? 在要求时间内、在实际的使用环境中运行系统，不对系统进 行维护，收集发现的故障数，以决定整个系统能否通过可靠 性测试 ? 基于测试时间的软件证明测试 在相对较长时间内对软件的运行进行软件证明测试 ? 基于测试输入的软件证明测试 只针对特定的测试用力进行软件证明测试 2019/4/21 china-onlineclass 37 ? 软件证明测试方法 1. ? 测试前，先由测试者和用户共同确定以下三个 参数： 用户风险因子 α ：是由用户承担的软件可靠性未达目标 而通过测试的风险 生产者风险因子 β ：是由开发者承担的可靠性已达目标 而未被接受的风险 鉴别因子 γ ：是最大可接受的失效密度和失效密度目标 的比值 ? ? 2019/4/21 china-onlineclass 38 2. 确定可靠性测试判定标准 根据已确定的三个参数绘制软件可 靠性证明测试判定图 确定拒绝线 在