进化测试中循环体内标志变量移除方法  

Remove of flag variables from the loops in evolutionary testing

作　　者：江胜[1] 卢炎生[1] 

机构地区：[1]华中科技大学计算机科学与技术学院,湖北武汉430074

出　　处：《华中科技大学学报（自然科学版）》2009年第3期79-82,共4页Journal of Huazhong University of Science and Technology(Natural Science Edition)

基　　金："十一五"国防预研基金资助项目

摘　　要：研究了循环体内标志变量赋值对进化测试带来的影响.分析了传统方法的不足及标志变量(flag)存在的各种情况,如针对标志变量的多分支赋值、跳转语句(break)的使用以及存在嵌套循环等问题,提出了一种改进的循环体内部的flag移除算法.通过对源程序的插桩和转换,重新构造了利于搜索进展的适应度函数.实验结果表明该方法可提高进化测试效率,并以较小的代价成功生成测试用例.Evolutionary tests with loop-assigned flags were studied. Various circumstances of the flags were considered, such as loop-assigned flags of multiple-branch, presence of arbitrary jump statement （break） and nested loop, After the insufficiencies of the traditional approaches were discussed, an im- proved algorithm for removing the flag from the loops was proposed. Through instrument and transformation of the source code, a fitness function was re-constructed to guide the evolutionary search effectively. The results of experimental study showed that the new fitness calculation greatly improved the efficiency of evolutionary testing and find the required test data at low cost.

关 键 词：软件测试 结构性测试 进化测试 进化搜索 标志变量 适应度 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]