10.3969/j.issn.1000-386X.2012.06.049
基于符号执行的单元测试研究与应用
近年来随着测试的复杂性和重要性不断增加,软件测试技术逐渐成为软件领域研究的热点.符号执行技术是一种重要的形式化和自动化的分析技术,在程序自动化测试中具有重要的应用.重点描述运用符号执行技术进行参数化单元测试的实现过程,并选择运用动态符号执行技术实现的参数化单元测试软件Pex进行实验,从而更好地验证符号执行技术在自动化单元测试中的优势.
软件测试、参数化单元测试、符号执行
29
TP306+.2(计算技术、计算机技术)
2012-08-13(万方平台首次上网日期,不代表论文的发表时间)
共5页
182-185,227