软件可靠信研究演示-精选.ppt

LOGO 软 件可靠信 研 究 浙江工业大学软件学院 报告时间： 2008.11 精 选课 件 目 录 – 研 究意 义 – 国内 外 研 究 现状 – 软 件可靠性 概 述 – 软 件可靠性模型介 绍 – 现 有模型的不足 - 基于迭代自生成神 经网络 的可靠性 预测 方法 – 总结与 展望 精 选课 件 研 究意 义 随 着 计 算机技 术飞 速 发 展，涌 现 出新的 软 硬件技 术 ，但是 软 件技 术 的 发 展 没 有 与 硬件同步。一方面，人 们对 于 软 件的依 赖 性越 来 越强，各 个领 域都 离不 开软 件， 与 人 们 的生活密切相 关 ，金融系 统 、航空系 统 、 军 用 软 件等。 另一方面， 软 件 从设计 到 开发 都有人的 参与 ， 难 免存在漏洞和疏忽， 这种 潜 在的威 胁 是不可避免的。加上 网络 技 术 的 发 展、病毒、黑客的 恶 意攻 击 、 软 件高 级复 用技 术 的 发 展， 这 些都 给软 件的可靠性 评 估提出了新的挑 战 。 软 件 应 用的日益广泛，使人 们对软 件 质 量和性能的要求越 来 越高，可靠 是衡量 软 件的一 个 重要特性，其定量的 评 估和 预测 受到了普遍 关 注，因此 研 究 软 件的可靠性 评 估技 术 具有 现实 意 义 。 精 选课 件 国内 外 研 究 现状 最近几年，信息安全中的可信 计 算 研 究成 为热门研 究 领 域之一，但是目 前 关 于可信 计 算的 研 究主要集中于硬件 层 面， 对 于 软 件的可信 计 算 研 究 还 是 比 较 少的。 软 件的可靠性 研 究是可信 计 算的一 个 分支，也是薄弱 环节 。 国 外的 软 件可靠性 研 究起始 与 20 世 纪 70 年代初，主要以可靠性建模 为 主， 到了 80 年代中期出 现 了 数 以百 计 的 软 件可靠性模型，目前已有的 100 多 种 模型，但是 还没 有一 个 被 证 明可以适用于任何情 况 的最佳模型，都是基于不 同的基本假 设 而建立的 概 率模型。 80 年代后期 进 入了工程 阶 段， 将 工程 实践与 理 论 相 结 合，取得了一定的 发 展。目前 对软 件可靠性工程的 研 究 归结为 三 个 基本 问题 指 标 确定、指 标 的 实现 ，及 验证 ， 并 有了一系列的 标 准和手 册 可以 参 考，但是可靠性的相 关 技 术 仍然不 够 成熟， 还 需要 进 一步 研 究。 精 选课 件 国内 外 研 究 现状 国内 的 软 件可靠性 研 究始于 80 年代初，主要集中于 应 用 研 究和工具的 开发 。北京航空航天大 学 的蔡 开 元 教 授 则从 理 论 上 对软 件可靠性工程 进 行了 论证 ， 并 提出了基于模糊理 论 的 软 件可靠性增 长 模型。在 软 件可信 计 算的 研 究方面，比 较 有成效的是 国 防科大的 陈 火旺等人，他 们认为 ， 软 件系 统 的可 信性 质 是指 该 系 统 需要 满 足的 关键 性 质 ， 当软 件一旦 违 背 这 些 关键 性 质会 造 成不可容忍的 损 失 时 ， 称这 些 关键 性 质为 高可信性 质 。高可信 软 件系 统 中 会 涉及一 个 或多 个关键 性 质 ， 这 些可信性 质与软 件本身的各 种 功能特性混合在 一起，使得 软 件可靠性 研 究 远 比硬件可靠性 研 究 复杂 。 总 的 说来 ， 国内软 件可靠性 研 究 虽 然在理 论 上取得了一定的成 绩 ，但是 在工程 实践 方面的工作比 较 少，相 当 的有限，工作的水平也无法 与国 外同 类 工作相比 拟 。 精 选课 件 可靠性 概 述 可靠性是 软 件 产 品故有的特性之一， 软 件 产 品的可靠性 与软 件缺陷有 关 ，也和系 统 的 输 入和使用有 关 ，即具有定性和定量 两个 方面，其定 义 如下： 1. 在 规 定的 条 件下，在 规 定的 时间内软 件不引起系 统 失效的 概 率 2. 在 规 定的 间内 所述 条 件下，程序 执 行所要求的功能的能力 软 件可靠性指 标 是定量 评 估 软 件可靠性的依据，确定其指 标 要求是 评 估 软 件靠性的必要步 骤 ， 软 件可靠性的主要度量指 标 如下 :