符号执行技术在测试用例生成中的应用

摘要

符号执行技术提出近四十年,随着计算机科学与技术的发展,在软件工程领域得到广泛的应用,成为一种流行的自动测试技术。对符号执行技术在测试用例生成中的应用展开综述,全方位地叙述符号执行技术的基本原理、面临的问题和挑战以及相应的改进策略、相关的典型案例,并介绍和比较现有的工具,对学术界和工业界提供相应的参考。