启发式学习自动化程序指令的可达性测试

作     者：金虎 李志蜀 陈良银 李勇军 李斌 孙继荣 JIN Hu;LI Zhi-shu;CHEN Liang-yin;LI Yong-jun;LI Bin;SUN Ji-rong

作者机构：四川大学计算机学院 

基　　金：四川省重点科技攻关资助项目(05GG021) 国家科技型中小企业技术创新基金资助项目(06C26225101730) 

出 版 物：《四川大学学报（工程科学版）》 (Journal of Sichuan University (Engineering Science Edition))

年 卷 期：2007年第39卷第4期

页      码：146-150页

摘      要：为了测试程序指令的可达性,需要搜索可触发包含该指令的控制流路径执行的测试用例。该问题可等价为路径约束满足问题的自动求解,求解结果即为验证指令可达的测试用例。为了提高自动求解的性能,在前向检测算法基础上改进设计了R_BinSearchFC算法,算法结合了边界测试数据选取和二叉树搜索技术,可有效提高对数据空间的搜索速度,并可扩展到在实数域空间的求解搜索。实验结果表明,采用了启发式学习的R_BinSearch算法可自动生成有效的测试用例,完成对指令的可达性测试。

主 题 词：自动化软件测试 约束满足问题 前向检测 启发式学习 

学科分类：0810[工学-土木类] 08[工学] 0805[工学-能源动力学] 0835[0835] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.3969/j.issn.1009-3087.2007.04.029

馆 藏 号：203440343...