基于混合测试和动态分析的分段代码测试

摘要：

传统混合执行测试方法无法对源代码不可见函数进行符号执行。针对该问题，将符号执行、分段式符号执行以及具体执行按需结合，提出一种分段式混合执行测试方法，将源代码不可见函数以分段式分析法截取为单独代码片段，结合动态执行和回归分析方法推导其相应的程序语义。为验证该方法的有效性，实现sCREST原型系统，并对5个应用广泛的开源系统进行测试。实验结果表明，该方法能够产生比传统方法覆盖更多分支数的测试数据。

关键词：软件测试、混合测试、分段式符号分析、动态分析、测试数据生成、分支覆盖

分类号：TP311.5(计算技术、计算机技术)

资助基金：上海市自然科学基金资助项目13ZR1413000。

在线出版日期：2015-03-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：63-69,80