函数摘要在Concolic测试方法中的应用

摘要：

在函数摘要的基础上提出了一种新的Concolic测试方法.该方法利用外部调用的函数摘要来避免多次测试外部调用引起的路径爆炸问题.在对外部调用进行Concolic测试后,将其返回结果和路径条件作为函数摘要.测试过程中调用同一外部调用时,该方法用函数摘要替代展开测试,避免了传统Concolic测试过程对外部调用重复测试的问题,缓解了调用次数增多和调用深度增加引起的路径爆炸问题.原型系统的实验结果表明,随着测试对象中函数数量的增加,传统Concolic测试路径数量可能出现指数型增长,而该方法中测试路径数量基本保持线性增长.

关键词：Concolic测试、符号执行、函数摘要、路径爆炸

所属期刊栏目：35

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金项目61070208

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

页数：共4页

页码：24-27