学位论文 > 优秀研究生学位论文题录展示

基于不变式的软件故障检测与恢复技术研究

作 者: 王燕妮
导 师: 毛晓光
学 校: 国防科学技术大学
专 业: 计算机科学与技术
关键词: 软件可靠性 软件失效 故障检测 故障恢复
分类号: TP311.52
类 型: 硕士论文
年 份: 2010年
下 载: 46次
引 用: 0次
阅 读: 论文下载
 

内容摘要


软件规模愈加扩大、软件逻辑愈加复杂,诸如软件测试等传统的提高软件可靠性的方法愈显不足。软件运行时的健康管理致力于保障软件运行时的行为符合人们的预期,从而越发受到研究者的关注。软件故障检测与恢复则是软件运行时健康管理的一个重要分支。本文综述了故障检测与故障恢复的研究现状,分析了各方法的优缺点与适用背景,整合故障检测与故障恢复两者的实现技术,提出一种新的故障检测与恢复框架。其基本思想是选取一种规范说明用来表征软件运行的状态,依据这种特征语言,生成故障检测代码,插装到源程序中,监测软件运行,若软件运行行为违背了特征规范,则表明出现故障,调用故障恢复模块,根据违反的规范形式,实施相应的故障恢复策略。程序不变式是一种典型的规范说明,已经成功地应用于静态分析、程序验证、软件测试、断言检测等各个领域,而且程序分析技术的发展使得依据程序文档可自动生成不变式,并且效果良好,本文研究基于不变式的故障检测与恢复技术。论文从不变式规范生成、故障检测代码生成、故障恢复策略实施三个方面依次讨论了原型工具的实现原理与相关技术,在此基础上,给出了原型工具的实现方案,并通过具体实例验证工具在故障检测与恢复方面具有一定的有效性。软件的低失效率一直是研究者不断追求的目标,而及时的故障检测与恢复则是防止软件失效的一条重要途径。本文提出并实现的基于不变式的软件故障检测与恢复的原型工具对软件运行时的可靠性保障具有一定的积极意义。

全文目录


摘要  9-10
ABSTRACT  10-11
第一章 绪论  11-14
  1.1 课题研究背景和意义  11-12
  1.2 课题研究内容  12-13
  1.3 论文结构  13
  1.4 论文研究成果  13-14
第二章 故障检测故障恢复研究现状  14-21
  2.1 软件失效机理  14-15
  2.2 故障检测与故障恢复研究现状  15-18
    2.2.1 故障检测研究现状  16-17
    2.2.2 故障恢复研究现状  17-18
  2.3 故障检测与恢复框架  18-20
  2.4 本章小结  20-21
第三章 不变式的生成  21-35
  3.1 不变式特性  21-22
  3.2 不变式的生成  22-28
    3.2.1 Daikon的工作原理  23-25
    3.2.2 Daikon生成不变式  25-27
    3.2.3 Daikon生成不变式效果  27-28
  3.3 JML规范特性  28-34
    3.3.1 JML简介  28-29
    3.3.2 JML的说明构造  29-33
    3.3.3 JML的应用  33-34
  3.4 本章小结  34-35
第四章 故障检测代码的生成  35-46
  4.1 预处理  35-37
  4.2 AOP技术  37-41
    4.2.1 AOP技术介绍  37-39
    4.2.2 AspectJ介绍  39-41
  4.3 故障检测代码生成  41-45
    4.3.1 前置条件的故障检测模板  42-43
    4.3.2 后置条件的故障检测模板  43-44
    4.3.3 类级不变式的故障检测模板  44-45
  4.4 本章小结  45-46
第五章 故障恢复  46-52
  5.1 提取故障信息  46-48
  5.2 分析故障信息  48-49
  5.3 故障恢复策略  49-51
  5.4 本章小结  51-52
第六章 原型框架的实现与实验分析  52-65
  6.1 原型框架系统结构  52-53
  6.2 Daikon工具的改进  53-55
  6.3 故障检测模块的实现  55-57
  6.4 故障恢复模块的实现  57-58
  6.5 实验及结果分析  58-64
  6.6 本章小结  64-65
第七章 结束语  65-67
  7.1 全文工作总结  65
  7.2 不足和将来的工作  65-67
致谢  67-68
参考文献  68-73
作者在学期间取得的学术成果  73

相似论文

  1. 配电网故障定位与网络重构算法的研究,TM727
  2. 移动计算环境下故障结点检测方法研究,TP338.8
  3. 太阳能热水器采暖控制系统的设计,TP273
  4. 太阳能集热洗浴控制系统的设计及其故障检测,TP273
  5. 网络化控制系统故障检测方法仿真研究,TP273
  6. 基于逻辑卷的双控制器磁盘阵列系统的控制与管理,TP333.35
  7. 基于广域网的容灾存储系统故障检测技术的研究与设计,TP333
  8. 不确定系统的鲁棒故障估计与主动容错控制研究,TP13
  9. 一类时滞切换系统的鲁棒故障检测,TP13
  10. 20kV线路接地保护研究,TM862
  11. 直升机传动链故障诊断与健康管理系统设计及关键技术研究,V267
  12. 汽车脚踏板操纵机构总成试验台设计及其关键技术研究,U467.5
  13. 自动在线规约挖掘技术研究,TP311.52
  14. 基于可靠性度量的软件开发过程及关键技术的研究,TP311.52
  15. 支架液压阀测试系统的故障诊断与软件可靠性研究,TH165.3
  16. 基于DSP的变频机故障检测系统研究与设计,TM921.51
  17. 风电场电网电压故障检测方法研究,TM614
  18. 光伏阵列故障检测方法的研究,TM615
  19. 配电网自动化条件下停电损失最小的配电网快速故障恢复算法,TM76
  20. 基于MUSIC算法的电动机断条故障检测,TM343
  21. 含有微网的配电网络故障恢复重构研究,TM711

中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com