\t如今，软件在人们的社会生活中占据越来越重要的地位，软件的正确性也受到人们越来越多的重视。软件测试是保证软件正确性以及安全性的重要手段，它的主要任务是发现软件设计缺陷，进而要求开发人员分析、定位错误并修复缺陷。



\t本书共9章，其主要内容包括程序分析技术、符号执行技术、软件测试与错误定位技术、基于执行路径的最弱前置条件计算、基于后缀路径摘要的符号执行加速、基于反馈驱动的增量符号执行、级联式错误定位方法、演化软件错误定位方法和符号执行指导的并行程序分析。



\t本书是程序分析领域的专业书籍，可供软件测试、程序分析与验证领域的学生及研究人员学习和参考。

  
\t第1章 程序分析技术



\t1.1程序的正确性及其分析



\t1.2控制流分析



\t1.2.1控制流图



\t1.2.2程序依赖图



\t1.2.3系统依赖图



\t1.3数据流分析



\t1.3.1数据流分析概述



\t1.3.2可达定义分析



\t1.3.3活性变量分析



\t本章小结



\t第2章 符号执行技术



\t2.1符号执行概述



\t2.2传统符号执行



\t2.3混合符号执行



\t2.4符号执行技术面临的挑战



\t……