函数摘要在 Concolic 测试方法中的应用 |
| |
引用本文: | 安靖.函数摘要在 Concolic 测试方法中的应用[J].北京邮电大学学报,2012(1). |
| |
作者姓名: | 安靖 |
| |
作者单位: | 北京邮电大学 计算机学院 |
| |
摘 要: | 在函数摘要的基础上提出了一种新的Concolic测试方法.该方法利用外部调用的函数摘要来避免多次测试外部调用引起的路径爆炸问题.在对外部调用进行 Concolic 测试后,将其返回结果和路径条件作为函数摘要.测试过程中调用同一外部调用时,该方法用函数摘要替代展开测试,避免传统 Concolic 测试过程对外部调用重复测试的问题,缓解了调用次数增多和调用深度增加引起的路径爆炸问题.原型系统的实验结果表明,随着测试对象中的函数数量增加,传统 Concolic 测试路径数量可能出现指数型增长,该方法中测试路径数量基本保持线性增长.
|
关 键 词: | Concolic 测试 符号执行 函数摘要 路径爆炸 |
本文献已被 CNKI 等数据库收录! |
|