体系结构扩展支持的软件故障检测和定位技术研究
| 致谢 | 第1-6页 |
| 摘要 | 第6-8页 |
| Abstract | 第8-10页 |
| 目录 | 第10-13页 |
| 第1章 绪论 | 第13-21页 |
| ·引言 | 第13-14页 |
| ·课题的研究背景和意义 | 第14-15页 |
| ·研究思路与研究内容 | 第15-16页 |
| ·论文架构 | 第16-21页 |
| 第2章 相关研究综述 | 第21-33页 |
| ·引言 | 第21页 |
| ·软件可靠性 | 第21-22页 |
| ·软件可靠性的概念 | 第21页 |
| ·软件可靠性的管理 | 第21-22页 |
| ·保证软件可靠性的方法 | 第22页 |
| ·为什么要提高软件调试手段 | 第22-25页 |
| ·软件调试的概念 | 第22-23页 |
| ·软件调试的一般过程 | 第23-24页 |
| ·传统的软件调试技术 | 第24-25页 |
| ·现有软件调试技术综述 | 第25-29页 |
| ·现有研究的问题和不足 | 第29-31页 |
| ·本章小结 | 第31-33页 |
| 第3章 软件bug分析 | 第33-43页 |
| ·引言 | 第33页 |
| ·软件bug定义 | 第33页 |
| ·软件bug分类 | 第33-37页 |
| ·Boris Beizer分类体系 | 第34页 |
| ·IEEE 1044-1994分类体系 | 第34-35页 |
| ·C语言软件bug分类体系 | 第35-37页 |
| ·当前软件bug分布规律分析 | 第37-40页 |
| ·软件bug发展趋势 | 第40-41页 |
| ·对软件调试技术的需求 | 第41-42页 |
| ·本章小结 | 第42-43页 |
| 第4章 基于软件行为模型的故障检测框架 | 第43-55页 |
| ·引言 | 第43页 |
| ·研究软件行为建模的必要性 | 第43-44页 |
| ·软件行为建模 | 第44-50页 |
| ·软件行为自相似性 | 第44-49页 |
| ·软件行为模型 | 第49-50页 |
| ·体系结构扩展的故障检测框架 | 第50-53页 |
| ·故障检测框架 | 第51-52页 |
| ·共性的关键技术 | 第52-53页 |
| ·本章小结 | 第53-55页 |
| 第5章 编程规则挖掘及故障检测 | 第55-73页 |
| ·引言 | 第55页 |
| ·编程规则 | 第55-57页 |
| ·显性编程规则 | 第55-56页 |
| ·隐性编程规则 | 第56-57页 |
| ·问题的定义 | 第57-59页 |
| ·闭合序列在线挖掘算法 | 第59-61页 |
| ·为什么要采用数据挖掘方法 | 第59-60页 |
| ·数据挖掘算法Bide+ | 第60-61页 |
| ·编程规则挖掘系统架构 | 第61-63页 |
| ·规则挖掘框架 | 第61-62页 |
| ·规则挖掘和故障检测流程 | 第62-63页 |
| ·技术实现 | 第63-69页 |
| ·系统体系结构层扩展 | 第63-64页 |
| ·数据收集 | 第64-66页 |
| ·规则的生成 | 第66-67页 |
| ·利用编程规则检测bug | 第67-69页 |
| ·检测结果的排序 | 第69页 |
| ·实验方法与结果评估 | 第69-72页 |
| ·检测能力 | 第69-71页 |
| ·性能分析 | 第71-72页 |
| ·本章小结 | 第72-73页 |
| 第6章 墓于在线统计模型的调试技术 | 第73-89页 |
| ·引言 | 第73页 |
| ·统计调试 | 第73-77页 |
| ·统计调试模型综述 | 第74-76页 |
| ·现有模型的问题和不足 | 第76-77页 |
| ·问题的定义 | 第77-79页 |
| ·在线统计调试模型 | 第79-80页 |
| ·模型建立 | 第79-80页 |
| ·模型检验 | 第80页 |
| ·在线统计调试系统架构 | 第80-81页 |
| ·体系结构扩展实现在线统计调试 | 第81-84页 |
| ·体系结构扩展 | 第81-82页 |
| ·数据采集 | 第82-83页 |
| ·检测模式 | 第83-84页 |
| ·实验评估 | 第84-88页 |
| ·实验平台 | 第84-85页 |
| ·检测能力 | 第85-86页 |
| ·定位能力 | 第86-88页 |
| ·性能分析 | 第88页 |
| ·本章小结 | 第88-89页 |
| 第7章 基于锁集合算法的增强型数据竞争检测方法 | 第89-107页 |
| ·引言 | 第89页 |
| ·数据竞争问题 | 第89-92页 |
| ·问题的提出 | 第89-90页 |
| ·数据竞争问题定义 | 第90-92页 |
| ·目前检测方法存在的问题和不足 | 第92-93页 |
| ·锁集合算法的改进 | 第93-96页 |
| ·锁集合算法 | 第93-94页 |
| ·增强型锁集合算法 | 第94-95页 |
| ·增强型锁集合算法的状态转换图 | 第95-96页 |
| ·基于CMP体系结构扩展支持的算法实现 | 第96-101页 |
| ·CMP体系架构的扩展 | 第96-98页 |
| ·锁集合与读/写线程集合 | 第98-100页 |
| ·免插桩检测与调试支持 | 第100-101页 |
| ·基于单核体系结构扩展支持的算法实现 | 第101-102页 |
| ·实验方法及结果 | 第102-105页 |
| ·CMP系统架构 | 第103-104页 |
| ·单核架构 | 第104-105页 |
| ·本章小结 | 第105-107页 |
| 第8章 总结与展望 | 第107-111页 |
| ·主要工作概述 | 第107-109页 |
| ·主要工作与结论 | 第107-108页 |
| ·创新点 | 第108-109页 |
| ·未来工作展望 | 第109-111页 |
| 参考文献 | 第111-121页 |
| 攻读博士学位期间的研究成果 | 第121页 |
