一种面向方面的软件容错能力增强工具

ａ ａ ｙ ｉ ｏ ｏｔ ａ ｅ ｓ ｓｅ ｔ ｏ ｍ ｅ ａ ｐ ｃ ｌ ｔ ａ ｌ ｔｌｒ ｎ ｅ ｃ ｐ ｂｌ ｙｆ ｒ ｎ ａ ｃｎ ｈ ａ ｌ ｔｌｒ ｎ ｅ ｃ ｐ ｂ ｌ ｙ ｏ ｏ ｗ ｒ ｙ ｔｍ． ｎ ｌ ｓ ｎ ｓ ｆ ｒ ｙ ｔｍ ｏｆ ｒ ｔ ｓ ｅ ｔ ｅｗｉ ｆ ｕ ｔ ｏｅ ａ ｃ ａ ａ ｉ ｔ ｏ ｈ ｎ ｉ ｇｔ ｅｆ ｕ ｔ ｏ ｅａ ｃ ａ ａ ｉ ｔ ｆｓ ｆ ａ ｅ ｓ ｓｅ ｓ ｗ ｈ ｉ ｆ ｈ ｉ ｅ ｉ ｔ Ｗ ｅ ｆ ｓ ｓ ｈ ｎ ｌｓｓ ｔｏ ｆａ ｓｒｃ ｙ ｔｘ ｔｅ ｏ ｇ ｔ ｏ ｓ ｆ ｌｉｆ ｒ ａｉｎ，ｓ ｃ ｓｔ ｅｔ ｐ ｆ ｘ ｅ ｔ ｎ ａ ｄ ｔ ｅ ｍｅ ｈ ｄ ｏ ｘ ｅ ｔ ｎ ｒｔｕ ｅ ｔ ｅ ａ ａｙ ｉ ｏ ｌ ｂ ｔａ ｔｓ ｎ ａ ｒｅ ｔ ｅ ｍｅ ｕ ｅｕ ｎ ｏ ｍ ｔ ｉ ｏ ｓ ｏ ｕ ｈ ａ ｙ ｅ ｏ ｃ ｐｉ ｎ ｈ ｔ ｏ ｆ ｃ ｐ ｉ ｈ ｅ ｏ ｅ ｏ ｔ ｒ ｗ ｎ ．Ｔ ｅ ｓ ｅ ｌｔ ｅ ｅ ａ ｉｎ ｔｏ ｏ ｇ ｎ ｒ ｔ ｏ ｒ ｓ ｏ ｄ ｎ ｅ ｏ ｅｙ ｃ ｄ ｈ ｏ ｉ ｇ ｈ ｎ ｗｅ ｕ ｅ ｔｍｐａ ｅ ｇ ｎ ｒ ｔ ｏ ｌｔ ｅ ｅ ａ ｅ ｃ ｒｅ ｐ ｎ ｉ ｇ ｒ ｃ ｖ ｒ ｏ ｅ，ａ ｄ ｕ ｅ ａ ｐ ｃ— ｒ ｎ ｅ ｃ ａ ｉｍ ｏ ｗ ａ ｅ ｔ ｅ ｏ ｎ ｓ ｓ ｅ ｔｏ ｉ ｔ ｄ ｍｅ ｈ ｎ ｓ ｔ ｅ ｖ ｈ ｅ ｃ ｄ ｎ ｏ ｔ ｅ ｓ ｓｅ ｄ ｎ ｍｉａ ｌ ．Ｆ ｎ ｌ ，ｗｅ ｍａ ｅ ａ ｃ ｓ ｏ ｐ ｏ ｅ ｔ ｅ ｆａ ｉ ｉ ｔ ｆ ｈ ｔ ｏ ｎ ｒａ ｉｉｇ ｆ ｕｔｔｌ ｒｎ ｅ ｅ ｈ ｎ ｅ ｎ ． ｏ ｅ ｉｔ ｈ ｙ ｔ ｍ ｙ ａ ｃ ｌ ｙ ｉａｌ ｙ ｋ ａ ｅ ｔ ｒ ｖ ｈ ｅ ｓｂ ｌ ｙ ｏ ｅ ｍｅｈ ｄ ｉ ｅ ｌ ｎ ａ ｌ ｏ ｅ ａ ｃ ｎ ａ ｃ ｍｅ ｔ ｉ ｔ ｓ Ｋｅ ｗｏ ｄ ｙ ｒｓ Ｆ ｕ ｔｔｌｒ ｎ ｅ ｏ ｏｔ ａ ｅ Ａｓ ｅ ｔｏ ｉｎ ｅ Ｔ ｏ ａ ｌ・ ｅ ａ ｃ ｆｓ ｆ ｒ ． ｏ ｗ ｐ ｃ・ ｒ ｔ ｄ － ｅ ｏｌ
黄焱艺 于 阳 彭 鑫 赵文耘
（ 复旦大学计算机科学技术学院 上海 ２０ ３ ） ０４ ３
摘 要
容错是保 障软件可靠性 的重要手段。该 目标是利用对软件系统静 态分 析的信息 ， 生成具有客 错能力 的方面文件来增 强
软件系统的容错能力。首先利用抽象语法树 的分析工具 ， 来获得 一些有用信 息， 比如异常类型和 抛出异常的方法。然后通过模板 生 成工具生成相应 的恢复代码 ， 利用 面 向方面机 制， 将代 码动态编 织入 系统 中。最后做 一个 案例证 明方法在 实现容错增 强方面 的可
个没有缺陷的软件系统通 常是非 常 困难 的 ， 因此软件有 时会
失效， 失效 的后果 可能 只是造 成一 些不 方便 （ 比如 电视机 遥控 器不能 用 ） 也 可 能是 灾 难 性 的 （ ， 比如 商 业 飞 机 上 的软 件 故 障 ） 。为 了使软件 系统在 出现失 效时 能够 继续 运行 ， 出 了 … 提 容错技术 ， 容错 是保 障软件 可靠 性 的重要方 式 。文献 ［ ］ ２ 讲述 了一些 当前 的容错技术 ， 括恢 复块 ， 包 Ｎ版本 编程 等。异常处理 是构建高可靠性容错 系统 的一个重要方 面。异常处理最早是 由 Ｊｈ ｏｄｎｕｈ在 １７ 在文 献 ［ ］ ｏ ｎＧ ｏｅｏｇ ９ ５年 ３ 中提 出来 的。现在 异 常 通常都被定义为在程序执行过程 中影响程序 正确 行为的特 殊事
第２ ９卷 第 ２期
２１ ０ ２年 ２ 月
计 算机 应 用与软件
Ｃｏ ｕ ｅ ｐ ｉａｉ ｎ ｎ ｏ ｗａ ｅ ｍｐ ｔ ｒＡｐ ｌ ｔｏ ｓａ ｄ Ｓ ｆ ｒ ｃ ｔ
Ｖｏ． ９ ＮＯ ２ １２ ．
Ｆ ｂ ０ｌ ｅ ．２ ２
一百度文库
种 面 向方 面 的软 件 容 错 能 力 增 强 工 具
（ ｃｏｌｆＣ ｍ ｕ ｒＳｉ ｃ ，ｕ ａ ｎ ｅ ｔ，ｈ ｎ ｈｉ ０４ ３ Ｃ ｉａ Ｓｈｏ ｏ ｏ ｐ ｔ ｃ ｎｅ Ｆ ｄ ｎＵ ＃￣ｉ Ｓ ａｇ ａ ０ ３ ， ｈｎ ） ｅ ｅ ｙ ２
Ａｂ ｔ ａ ｔ ｓｒ ｃ Ｆ ｕ ｔｔｌｒ ｎ ｅ ｉ ａ ｍｐ ｒ ｎ ａ ｓ ｔ ｓ ｕ ｅ ｓ ｆ ａ ｅ ｒ ｌ ｂ ｌ ｙ Ｔ ｅ ｇ ａ ｆｔ ｉ ａ ｅ ｓ ｔ ｓ ｈ ｎ ｍ ｍｔ ｎ ｏ ｔｔ ａ ｌ ｏ ｅａ ｃ ｓ ｎ ｉ ｏ ｔ ｔｍｅ ｎ ｏ ａ ｓ ｒ ｏｔ ｒ ｅ ｉ ｉ ｔ ． ｈ ｏ ｌ ｏ ｈ ｓ ｐ ｐ ｒ ｉ ｏ ｕ ｅ ｔ ｅ ｉ ｆ ａ ｗ ａ ｉ ｏ ｉ ｆｓ ｉ ｏ ａｃ
行性。
关 键 词 中图分类号
软 件 容 错 面 向 方 面 工具 Ｔ ３７ Ｐ １ 文献标识码 Ａ
ＡＮ Ｐ ＡＳ ＥＣＴ． ｏＲＩ ＥＮＴ ＥＤ ｏＦ Ｓ ＴＷ ＡＲＥ ＦＡＵＬＴ ｏＬＥＲＡＮＣＥ Ｅ Ｔ ＮＨＡＮＣＥＭ ＥＮＴ ＴＯｏＬ
Ｈｕ ｎ ｎ ｉ Ｙｕ Ｙａ ｇ Ｐｅ ｎ Ｚｈ ｏ Ｗ ｅ ｙ ｎ ａ ｇ Ｙａ ｙ ｎ ｎｇ Ｘｉ ａ ｎ ｕ
０ 引 言
软件系统正越来越多 的应用到 生活 的方 方面 面， 但是 开发
一
１ 背景介绍
Ｊｖ ａａ的异 常处理机制包 含 三部分 ： ｈｏ ｓ说明 可能抛 出 的 Ｔ ｒｗ 异常 ， 调用该方法必须处理这些事件 ； 将可能抛 出异常的代码放 在 ｔ 块 中， ｒ ｙ 处理 放 在 ｃｔ ａ ｈ块 中 ， ｎｌ ｃ ｉ ｙ用 ｆ ａｌ 于 恢 复 系 统 状 态 ；