| 声明 | 第1页 |
| 论文版权使用授权书 | 第2-3页 |
| 摘要 | 第3-4页 |
| Abstarct | 第4-12页 |
| 第一章 绪论 | 第12-26页 |
| ·问题的提出 | 第12-13页 |
| ·本领域的发展历史及研究现状 | 第13-22页 |
| ·软件测试的发展与现状 | 第13-18页 |
| ·软件可靠性研究的发展及现状 | 第18-22页 |
| ·本文的主要工作 | 第22-24页 |
| ·软件故障模型的研究 | 第23页 |
| ·软件故障检测中数据流分析方法的研究 | 第23-24页 |
| ·针对程序本身的特点，对影响故障检测效果的各种因素进行分析 | 第24页 |
| ·软件可靠性评估方法的研究 | 第24页 |
| ·本文的组织方式 | 第24-26页 |
| 第二章 软件测试与可靠性概述 | 第26-36页 |
| ·软件测试 | 第26-32页 |
| ·什么是软件测试 | 第26-27页 |
| ·软件测试方法 | 第27-30页 |
| ·软件测试自动化技术 | 第30-32页 |
| ·软件可靠性 | 第32-35页 |
| ·基本概念 | 第32-33页 |
| ·软件可靠性 | 第32页 |
| ·软件失效机理 | 第32-33页 |
| ·软件可靠性评估模型 | 第33-35页 |
| ·影响软件可靠性的原因分析 | 第33页 |
| ·传统可靠性模型 | 第33-35页 |
| ·可靠性模型的假设及其局限性 | 第35页 |
| ·本章小结 | 第35-36页 |
| 第三章 软件故障模型 | 第36-44页 |
| ·动态内存故障分析 | 第36-38页 |
| ·描述动态内存故障的有限自动机 | 第38-41页 |
| ·有限自动机中状态集合的定义 | 第39页 |
| ·有限自动机中输入集合的确定 | 第39-40页 |
| ·有限自动机中初始状态和终结状态的定义 | 第40页 |
| ·有限自动机中状态转换关系的确定 | 第40页 |
| ·动态内存故障 | 第40-41页 |
| ·变量的定值与引用故障模型 | 第41-43页 |
| ·变量的定值与引用操作分析 | 第41-42页 |
| ·变量的定值与引用故障 | 第42-43页 |
| ·本章小结 | 第43-44页 |
| 第四章 面向故障的软件测试 | 第44-61页 |
| ·面向故障检测的静态数据流分析 | 第44-45页 |
| ·数据流分析的基础 | 第45-48页 |
| ·到达一定值数据流分析 | 第45-47页 |
| ·活跃变量数据流分析 | 第47-48页 |
| ·数据流分析的方法 | 第48-51页 |
| ·到达一定值数据流分析方法 | 第48-49页 |
| ·到达一定值数据流分析算法的复杂性分析 | 第49-50页 |
| ·活跃变量数据流分析方法 | 第50-51页 |
| ·面向动态内存管理故障检测的到达定值数据流分析 | 第51-54页 |
| ·基本块类型的划分及各类基本块中GEN[B]和KILL[B]集合的计算 | 第51-52页 |
| ·过程间的数据流分析 | 第52页 |
| ·集合间的关系 | 第52-53页 |
| ·基于PCG的过程间数据数据流分析 | 第53-54页 |
| ·算法的时间复杂性 | 第54页 |
| ·故障诊断规则 | 第54-57页 |
| ·UD链、MUST_UD链和MAY_UD链 | 第55页 |
| ·DU链、MUST_DU链和MAY_DU链 | 第55-56页 |
| ·软件错误检测规则 | 第56-57页 |
| ·变量未定值引用故障的检测 | 第56页 |
| ·变量的无用定值故障的检测 | 第56页 |
| ·动态内存未分配引用故障的检测 | 第56页 |
| ·动态内存泄漏故障的检测 | 第56-57页 |
| ·实例分析 | 第57-59页 |
| ·用数据流分析计算到达各基本块的定值信息 | 第57-59页 |
| ·故障检测的应用 | 第59页 |
| ·本章小结 | 第59-61页 |
| 第五章 软件故障静态检测软件C_TEST | 第61-68页 |
| ·基于编译的软件故障检测基础 | 第61-62页 |
| ·基于编译的软件故障检测工具软件的开发 | 第62页 |
| ·基于编译的软件故障检测的特色 | 第62页 |
| ·测试实例及实验数据分析 | 第62-67页 |
| ·测试实例 | 第62-65页 |
| ·测试结果分析 | 第65-67页 |
| ·本章小结 | 第67-68页 |
| 第六章 影响故障检测效果的因素分析 | 第68-89页 |
| ·重复代码 | 第68-73页 |
| ·代码重复的几种表现形式 | 第69-70页 |
| ·完全重复 | 第69页 |
| ·部分代码的修改 | 第69-70页 |
| ·通过插入/删除部分语句实现部分代码的重复 | 第70页 |
| ·重复代码检测 | 第70-73页 |
| 6 1.2.1 与执行无关的信息的处理 | 第71页 |
| ·代码行的标准化 | 第71页 |
| ·程序语句的比较 | 第71页 |
| 6 1.2.4 完全重复代码段的检测 | 第71-72页 |
| ·代码段与集合之间的映射 | 第72-73页 |
| ·最长重复代码段的确定 | 第73页 |
| ·别名关系及别名分析 | 第73-81页 |
| ·别名关系的表示 | 第74-75页 |
| ·别名对和指向表示法 | 第74页 |
| ·扩展的指向表示 | 第74-75页 |
| ·指针指向的内存空间的表示 | 第75页 |
| ·流敏感的过程内的别名关系静态分析 | 第75-77页 |
| ·一组假设及缩写 | 第75-76页 |
| ·别名分析基础 | 第76页 |
| ·GEN_A[N]集合 | 第76-77页 |
| ·KILL_A[N〕集合 | 第77页 |
| ·别名分析数据流方程 | 第77-80页 |
| ·MUS_REACH_IN_A[N]集合 | 第77-79页 |
| ·MAY_REACH_IN_A[N]集合 | 第79页 |
| ·MUST_REACH_OUT_A[N] | 第79-80页 |
| ·MAY_REACH_OUT_A[IN] | 第80页 |
| ·指向关系分析 | 第80-81页 |
| ·算法分析 | 第80页 |
| ·算法收敛性证明 | 第80-81页 |
| ·算法的时间复杂性 | 第81页 |
| ·无用代码及其检测 | 第81-87页 |
| ·无用代码的几种形式 | 第82-83页 |
| ·无用代码检测的几种方法 | 第83页 |
| ·到达一定值数据流分析过程中的常数传播 | 第83-84页 |
| ·无用代码的检测 | 第84-87页 |
| ·无效程序变量、函数参数的检测 | 第84页 |
| ·无用赋值的检测 | 第84-85页 |
| ·无效分支的检测 | 第85-87页 |
| ·本章小结 | 第87-89页 |
| 第七章 基于贝叶斯方法的可靠性评估 | 第89-99页 |
| ·贝叶斯统计推断理论 | 第89页 |
| ·贝叶斯统计推断理论在软件可靠性评估中的应用 | 第89-90页 |
| ·基于贝叶斯统计推断的可靠性评估方法 | 第90-98页 |
| ·随机测试过程的形式化表示 | 第90-91页 |
| ·软件的数学描述 | 第90页 |
| ·随机测试过程的形式化表示 | 第90-91页 |
| ·用贝叶斯方法进行程序正确性估计 | 第91-96页 |
| ·基于贝叶斯假设的先验分布的密度函数 | 第92页 |
| ·基于共轭原理的先验分布的确定 | 第92-93页 |
| ·基于最大信息熵的R的先验分布中参数的确定 | 第93-94页 |
| ·基于贝叶斯方法的随机变量 R的后验分布 | 第94-95页 |
| ·基于后验分布的正确性区间的可信度 | 第95-96页 |
| ·基于可信度的程序正确性区间的确定 | 第96页 |
| ·基于运行剖面的可靠性估计 | 第96-98页 |
| ·基于运行剖面的集合的划分 | 第97页 |
| ·利用程序在子集上的正确性进行可靠性评估 | 第97页 |
| ·基于软件可信性的可靠性估计 | 第97-98页 |
| ·本章小结 | 第98-99页 |
| 第八章 结束语 | 第99-101页 |
| ·本文的主要工作与创新 | 第99-100页 |
| ·今后的工作 | 第100-101页 |
| 参考文献 | 第101-109页 |
| 致谢 | 第109-110页 |
| 作者简历 | 第110-111页 |