第1章 软件调试技术概述
1.1 软件系统的“双刃剑效应”
1.2 软件质量体系中的短板——调试技术
1.3 传统软件调试技术的局限性
1.4 软件调试技术的发展概况
1.5 本书的组织
第2章 型号软件中的bug分析
2.1 概述
2.2 国外型号软件中的bug
2.2.1 金星探测器水手1号
2.2.2 阿里安5
2.2.3 火星气候轨道器MCO
2.2.4 火星极地着陆器
2.2.5 Titan／Centaur／Milstar军事卫星
2.3 国内型号软件中的bug
2.3.1 优先级运算问题
2.3.2 程序结构不合理问题
2.3.3 初始化不完备问题
2.3.4 原子性破坏问题
第3章 软件bug分类及分布规律
3.1 软件bug概述
3.1.1 关于bug的起源
3.1.2 软件bug的定义
3.2 典型软件bug分类体系简介
3.2.1 BorisBeizer分类体系
3.2.2 IEEE10441994分类体系
3.2.3 QJ3026-1998分类体系
3.3 c语言软件bug分类体系
3.3.1 内存相关错误
3.3.2 初始化错误
3.3.3 计算错误
3.3.4 输入输出错误
3.3.5 控制流错误
3.3.6 数据处理解释错误
3.3.7 竞争类错误
3.3.8 平台相关错误
3.3.9 其他错误
3.4 当前软件bug分布规律分析
3.5 软件bug分布发展趋势
3.6 对软件调试技术的需求
第4章 内存类bug调试
4.1 内存类bug产生原因
4.1.1 内存类bug现状
4.1.2 动态内存管理
4.2 内存类错误调试支持工具
4.2.1 Insure++
4.2.2 Purify
4.2.3 Valgrind
第5章 静态分析调试
5.1 静态分析概述
5.2 典型静态分析技术
5.2.1 基于规则的检查
5.2.2 符号执行
5.2.3 定理证明
5.2.4 类型推导
5.2.5 抽象解释
5.2.6 模型检测
5.3 静态分析工具
5.3.1 Testbed简介
5.3.2 其他静态分析工具简介
5.4 静态分析局限性
第6章 动态分片调试
6.1 什么是程序分片
6.1.1 程序分片的发展历史
6.1.2 程序分片的分类
6.1.3 程序分片的应用
6.2 静态分片
6.2.1 静态分片
6.2.2 Weiser的算法
6.2.3 Ottenstein的算法
6.2.4 基于系统依赖图的算法
6.2.5 静态分片和动态分片
6.3 动态分片
6.3.1 分片标准
6.3.2 def-use动态分片算法
6.3.3 Agrawal和Horgan的算法
6.4 分片调试实例
6.4.1 采用可信度剪枝的动态程序分片
6.4.2 Delta调试和动态分片相结合的软件调试方法
6.5 商品化的分片工具
第7章 Delta调试
7.1 Delta调试概述
7.2 Delta调试分类
7.2.1 简化
7.2.2 分离
7.3 Delta调试基本原理
7.3.1 简化算法
7.3.2 层次化Delta调试
7.3.3 分离故障起因
7.3.4 分离因果链
7.4 Delta调试工具举例
7.4.1 ASKIGOR
7.4.2 DDchange和DDstate
7.5 问题和局限性
第8章 统计调试
8.1 统计调试概述
8.1.1 统计调试的定义
8.1.2 统计调试的特点
8.1.3 统计调试的发展历史
8.2 统计原理
8.2.1 常用分布
8.2.2 常用定理及统计推断
8.3 统计调试分类
8.3.1 在线和离线统计调试
……
第9章 不变式调试
第10章 难以重现类bug调试
第11章 体系结构扩展调试
第12章 基于数据挖掘的调试方法
第13章 软件调试技术评价
参考文献
鄂公网安备 42010302001612号 