随着软件安全性受到越来越广泛的关注,软件研发人员开始投入更多的研究工作到漏洞测试技术上。动态符号执行是一项非常有前景的测试生成和漏洞挖掘技术,多项研究表明它具有潜在的高效生产力,目前这项技术的研究重点已经开始从学术研究向工业化应用演进。然而,面对大规模的、复杂的软件项目时,动态符号执行往往会遭遇一些覆盖瓶颈;并且使用传统的分析方法很难快速地定位问题的具体原因,造成了大量的工作量被消耗在分析阶段。在这样的情况下,重新组织和构造动态符号执行的过程信息,将其测试生成过程进行可视化呈现将能极大地帮助到分析人员进行过程分析;这将帮助快速地辨别阻碍代码覆盖继续增长的具体原因,并指导相应的修改和重新配置以使得动态符号执行走出停滞区域,进一步提升代码覆盖率。本文基于以上的动机,对动态符号执行的过程分析进行了研究,设计出了一种针对动态符号执行的可视化分析方法,然后基于此方法实现了一个动态符号执行可视化分析工具——VDSE。本文的研究将主要从以下3个方面进行展开。第一,对动态符号执行理论进行了调查和研究。本文主要对它的理论基础、发展现状、技术挑战和相应的解决方案进行了系统的阐述,然后横向对比了7款主流的动态符号执行工具。研究表明,动态符号执行技术具有诸多的优势,但也面临诸多的技术挑战。此内容为接下来的研究提供了重要的理论基础和参考依据。第二,设计针对动态符号执行的可视化分析方法。本文通过一个动态符号执行过程中的典型问题说明了传统分析方法的局限性,然后提出了对应的可视化分析方法。本文详细定义了这种方法的概念和原理,并简要介绍了这种方法所带来的优势。第三,实现动态符号执行可视化分析工具——VDSE。这是一个跨平台的可视化分析工具,具有良好的图形交互特性;通过它能够可视化地监控动态符号执行过程,并且在覆盖问题发生的时候快速地展开问题分析。本内容具体描述了此工具的实现架构,然后简单地进行了性能测试和实际使用,以此展现了VDSE的可用性。目前VDSE能够对Fuzzgrind进行可视化分析,后续研究将对更多的动态符号执行工具提供兼容性支持以帮助提升它们的可用性。此项研究中所提出的方法和技术已申请为发明专利。