软件质量是保证软件产品正常平稳运行的关键,因为在软件开发和软件功能更新过程中不可避免会出现软件缺陷,这些缺陷如果不及时发现,软件不能平稳运行,甚至可能对其他相关软件带来更大危害。为了有效的发现软件中的缺陷并对所在缺陷代码进行改进必须进行软件测试。符号执行作为一种程序分析技术,使用不同的、可能的输入来测试程序,系统地同时探索许多可能的执行路径,使得软件可靠性应用程序有重大实际突破。动态符号执行通过自动输入生成发现软件中的缺陷——即自动化软件测试。在此过程中,为保证程序可继续执行会将求解器无法求解的部分用具体值替换,导致部分路径丢失,并且路径爆炸问题依然严峻;在整个符号执行中,求解器的求解时间占程序执行的很大一部分,优化约束集、减少求解器的负担也是一个至关重要的问题。本文通过分段动态符号执行优化约束集的方法,缓解动态符号执行中的路径爆炸。提出一个CCSDSM优化框架,利用圈复杂度度量软件复杂性进行分段处理,避免程序分支呈指数级增长后导致的路径爆炸,并在分段处优化约束集,减轻求解器的负担,延迟符号值被实际值替换,降低路径的不完整性。本文用开源符号执行工具KLEE对程序进行分析。设计实验来评估CCSDSM框架的可行性及优化效果。该实验以KLEE默认方法为参照,将分段执行前和分段执行后的程序构造代码进行实验分析,发现由于不同代码圈复杂度的不同,程序的运行时间和效率有非常大的差别。并对开源项目中部分源代码文件进行圈复杂度测试,选用圈复杂度值较高的源代码文件readelf.c通过分段并优化约束集可以有效缓解路径空间爆炸。符号执行越来越多的被用于自动化软件测试,对于处理路径爆炸的程序验证和优化约束的研究对软件测试具有十分重要的意义。