| 一种目标制导的混合执行测试方法 |
| |
| 引用本文： | 崔展齐,王林章,李宣东.一种目标制导的混合执行测试方法[J].计算机学报,2011,34(6):953-964. |
| |
| 作者姓名： | 崔展齐 王林章 李宣东 |
| |
| 作者单位： | 1. 南京大学软件新技术国家重点实验室,南京,210093
2. 南京大学计算机科学与技术系,南京,210093 |
| |
| 基金项目： | 国家自然科学基金，国家"九七三"重点基础研究发展规划项目基金，国家"八六三"高技术研究发展计划项目基金，核高基项目 |
| |
| 摘 要： | 混合执行测试(concolic testing)是一种将具体执行与符号执行相结合的自动化测试方法.由于混合执行测试从程序本身出发,未将目标缺陷的先验知识作为指导,会导致生成和执行大量不能发现缺陷的测试输入,从发现缺陷的角度看浪费了时间和计算资源开销.这个问题在具有时间、成本及资源约束的实际测试任务中更加突出.为解决这一...
|
| 关 键 词： | 目标制导测试 缺陷触发 静态分析 混合执行测试 |
Target-Directed Concolic Testing |
| |
| CUI Zhan-Qi,WANG Lin-Zhang,LI Xuan-Dong.Target-Directed Concolic Testing[J].Chinese Journal of Computers,2011,34(6):953-964. |
| |
| Authors: | CUI Zhan-Qi WANG Lin-Zhang LI Xuan-Dong |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
