本书主题为基于*弱前置条件计算的软件测试及错误定位分析方法研究。主要包括以下几个方面的内容: 一、首先对基于程序分析的软件测试及错误定位研究的总体情况进行分析。回顾软件测试技术近几十年的发展历程,分析该技术的重要地位、目前的现状及面临的主要困境。分析作为软件质量维护重要环节的软件修复,并进一步细化软件修复的重要步骤,包括直接影响软件修复正确性及有效性的关键步骤——软件错误定位。 二、其次,全面分析介绍与软件测试以及错误定位相关的国内外研究现状。介绍经典程序分析符号执行方法,包括传统符号执行的基本理论思想,符号执行技术的研究发展现状,以及近些年来符号执行技术的主要发展方向以及面临的主要问题及其挑战。介绍软件测试与错误定位相关的国内外研究现状,主要关注基于程序分析技术的软件测试以及错误定位分析方法的发展现状。 三、接着,介绍基于程序执行路径的*弱前置条件计算框架。包括对被测程序语言的介绍及定义,基于执行路径的*弱前置条件计算算法的介绍等方面内容。 四、随后,介绍基于*弱前置条件计算框架的有效软件测试方法。针对基于符号执行技术的测试方法面临的路径爆炸问题,该部分介绍一种有效的基于*弱前置条件