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

第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.4SymCC 本章小结 第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弱前置条件概述 …… 9.4方法评估… 9.4.1检测并行程序错误· 9.4.2并发库的评估… 9.4.3与工具Con2Colic的比较 本章小结 参考文献