检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]中国矿业大学理学院,江苏徐州221116 [2]中国矿业大学信息与电气工程学院,江苏徐州221116 [3]软件工程国家重点实验室,湖北武汉430072
出 处:《电子学报》2013年第12期2523-2528,共6页Acta Electronica Sinica
基 金:国家自然科学基金(No.61203304,No.61075061);高等学校博士学科点专项科研基金(博士生导师类)(No.20100095110006);江苏省自然科学基金(No.BK2012566,No.BK2010187);中央高校基本科研业务专项资金(No.212QNA41)
摘 要:标记变量问题是基于搜索的软件测试数据生成的关键问题之一.本文提出一种基于目标语句占优关系的软件可测试性转化理论与方法,思想是:对于涉及标记变量问题的目标语句,如果存在另一目标语句(集),使得该目标语句(集)占优原有目标语句,则用新的目标语句(集)代替原有目标语句生成测试数据,从而消除标记变量的不利影响.将本文方法应用于典型被测程序,实验结果表明,该方法可以有效解决标记变量问题,从而提高测试数据的生成效率.Flag problem is a key problem in search based software test data generation .This study proposed a testability transformation method based on the dominant relationship of target statements .The basic idea is that :for a target statement involving flag variables ,if another target statement (or target statement set ) dominates the original one ,then the original target statement is substituted with the new one to generate test data .Experimental results showed that the proposed method can effectively solve the flag problem ,therefore improve the efficiency of generating test data .
分 类 号:TP311.5[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.116