基于程序分析的软件测试与错误定位技术

　　如今，软件在人们的社会生活中占据越来越重要的地位，软件的正确性也受到人们越来越多的重视。软件测试是保证软件正确性以及安全性的重要手段，它的主要任务是发现软件设计缺陷，进而要求开发人员分析、定位错误并修复缺陷。本书共9章，其主要内容包括程序分析技术、符号执行技术、软件测试与错误定位技术、基于执行路径的 弱前置条件计算、基于后缀路径摘要的符号执行加速、基于反馈驱动的增量符号执行、级联式错误定位方法、演化软件错误定位方法和符号执行指导的并行程序分析。本书是程序分析领域的专业书籍，可供软件测试、程序分析与验证领域的学生及研究人员学习和参考。

暂缺《基于程序分析的软件测试与错误定位技术》作者简介

第1章 程序分析技术
1.1 程序的正确性及其分析
1.2 控制流分析
1.2.1 控制流图
1.2.2 程序依赖图
1.2.3 系统依赖图
1.3 数据流分析
1.3.1 数据流分析概述
1.3.2 可达定义分析
1.3.3 活性变量分析
本章小结
第2章 符号执行技术
2.1 符号执行概述
2.2 传统符号执行
2.3 混合符号执行
2.4 符号执行技术面临的挑战
2.4.1 内存相关问题
2.4.2 环境相关问题
2.4.3 路径 问题
2.4.4 约束求解问题
2.5 符号执行工具
2.5.1 KLEE
2.5.2 SPF
2.5.3 SAGE
2.5.4 SymCC
本章小结
第3章 软件测试与错误定位技术
3.1 软件测试与错误定位的研究背景
3.1.1 软件测试
3.1.2 软件错误定位
3.2 基于符号执行的软件测试
3.2.1 摘要计算
3.2.2 路径包含与等价分析
3.2.3 约束不充分的符号执行
3.2.4 前置条件与输入特征利用
3.2.5 符号执行状态合并
3.2.6 程序分析及优化技术
3.2.7 目标导向与启发式策略
3.2.8 增量符号执行
3.2.9 并行符号执行
3.3 软件错误定位方法
3.3.1 基于切片的错误定位
3.3.2 基于程序状态的错误定位
3.3.3 基于统计分析的错误定位
3.3.4 基于人工智能的错误定位
3.3.5 演化软件错误定位
本章小结
第4章 基于执行路径的 弱前置条件计算
4.1 弱前置条件概述
4.2 弱前置条件计算