基于符号执行的单元测试研究与应用

RESEARCH AND APPLICATION OF SYMBOLIC EXECUTION BASED UNIT TESTING

近年来随着测试的复杂性和重要性不断增加,软件测试技术逐渐成为软件领域研究的热点。符号执行技术是一种重要的形式化和自动化的分析技术,在程序自动化测试中具有重要的应用。重点描述运用符号执行技术进行参数化单元测试的实现过程,并选择运用动态符号执行技术实现的参数化单元测试软件Pex进行实验,从而更好地验证符号执行技术在自动化单元测试中的优势。

In recent years,due to the complexity and importance of testing,software testing techniques is becoming a hot spot for research in the software field.Symbolic execution technique is an important formal and automated analysis technique.It has important application values in automated testing of programs.This article focuses on describing the process of parameterized unit testing by using symbolic execution technique,also chooses to use Pex software which realizes parameterized unit testing based on dynamic symbolic execution to carry out experiments.Those experiments validate the advantages of symbolic execution technique in automated unit testing.