软件故障注入方法在星载系统中的应用.pdfVIP

2010年 2月 安庆 师范学院学报 (自然科学版) Feb．2010 第 16卷第 1期 JournalofAnqingTeachersCollege(NaturalScienceEdition) VoI．16No．1 软件故障注入方法在星载系统中的应用 江 铁 成 (安徽广播影视职业技术学院，安徽 合肥 230051) 摘 要 ：故障注入是一种有效 的测试和评价容错机制的方法 ，可被普遍应用于容错计算机系统开发过程各个 阶段 中。本文介绍 了故障注入 的基本概念 ，比较故障注入方法 ，给出了一个星载注入方法的仿真实例 。 关键词：故障注入 ；容错机制；测试，软件故障注入 中图分类号 ：TP302．8 文献标识码 ：A 文章编号 ：1007—4260(2010)O1—0039—04 0 前 言 故障注 入技术首次提出于 20世 纪 7O年 代 初期 ，最初 的 目的是通 过估 计系 统 中遗 留的故 障个 数来 估 计系统 的可靠性 。进入 2O世 纪 90年代后 ，该技术 引起 了越来 越多 的研究 人员 和工 程设计 者 的重视 ，对 故 障注入 的研 究与应用也 随之深入 。美 国和法 国的一 些大学 和研究部 门的故 障注 入研 究工作 在 国际上处 于 领先地位 。 目前 国外故障注入 的研究 已经取 得 很多 成果 ，各种 故 障注 入技 术有 许多 代表 性 的故 障注入 工 具 ，如美 国 Illinois大学开发 的 FOCUS，瑞典 Chalmers技术 大学开发 的 FIST和基 于 重离 子辐 射故 障注 入 工具 CF一252。国内对 故 障注入 的研究始 于 2O世纪 8O年代 中期 ，首先 由哈尔滨 工业大学杨孝 宗教授领 导 的容错计算机室 (眦 I，)开展 ，至今 国内故 障注入 的研 究仍主要集 中于该实验室 。故 障注入方法总体上可 以分成两大 类 ，即基 于硬件 的物理 实现方法 和基于 软件实现 方法 。作 为近 年来新 兴实 验技术 手段 ，软件 的 故 障注入方 法有着代价低 、灵活度 高 、具有 可再 现性等 优点而成 为被广泛 采用 的系统评测手段 。 1 故 障 注入 的基本 概念 故 障注 入是 指按 照选 定 的故 障模 型 ，用人 工 的方法 有 意识 的产 生 故 障运 行在 特定 的工 作 负载 的 目 标 系统 中 ，以加 速该 系统 的错 误 和失效 的发生 ，同时观 测 和 回收 系 统对 所 注 故 障 的反 应 信 息 ，并对 回收 信 息进 行分 析 ，从而 向实验者 提供 有关 结果 的实验 过程 [1]。 故 障注 入技 术在 实 际应用 中有多 种不 同 的方法 ，可 按 故 障类 型 、实 现 方 法 、实 验所 处 的系 统开 发 阶 段 、实验 目标 或 实验运 行 环境 等不 同方 面进 行划 分 。故 障 注入 方 法 按故 障注 入 实验 的运 行 环境 及 目标 系 统形式 划 ／b，可 以划 分 为基 于物 理实 现 的故 障注入 和基 于 模拟 实现 的故 障 注人 ；基 于物理 的实 现方 式 又 可 以分 成 基于 硬件 实现 的方 法 和基 于软 件实 现 的方法 。图 1所 示 给 出了故 障注 入技 术 的分类 rz]。 选 择一种 恰 当 的方法不 仅 节省 投入 并 带来好 的注入效 果 ，而且 对 于特 定系 统来 说 ，很 可 能只有 某 种 方法 才 能实 现有效 的故 障注入 。 2 故障 注入 方法 的 比较 目前 国内外采 用最普遍 的故 障注入 技术 从实现 机制 上来 讲 ，可 以分 为 ：基 于模 拟 的故 障注入 、基 于 硬 件 实现 的故 障注 入 和基于 软件 实现 的故 障注入 ，每 种 方法 都 有 了实 际应 用 。一个 故 障注入 器 无论 是 选 用 哪一种 机 制实现 ，都 需要 解决两个 关键 问题 [3]：一个 是如 何对 当前 非 常复杂 的软硬 件 计算 机 系 统注 入 故 障 ；另 一个 如何 监测 故 障注入 后在 系 统 中引起 的效应 ，例如 ：检测 故 障是 否有 效注 入 ；收集 被激 活故 障