检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]中国矿业大学信息与电气工程学院,江苏徐州221116 [2]兰州理工大学电气工程与信息工程学院,甘肃兰州730050 [3]山东建筑大学计算机科学与技术学院,山东济南250101
出 处:《电子学报》2017年第6期1518-1522,共5页Acta Electronica Sinica
基 金:国家973重点基础研究发展计划(No.2014CB046306-2);国家自然科学基金(No.61375067;No.61503220)
摘 要:本文基于语句重要度,提出一种新的变异测试对象选择方法,以减少变异体的数量.首先,给出反映变异测试对象重要性的3个因素;然后,基于这些因素的重要性,建立评价所选测试对象重要性的指标;最后,基于这些指标的值,选出重要度高的语句作为变异测试对象.将所提方法应用于8个基准和工业程序的变异测试,实验结果表明,所提方法在维持很高变异测试充分度的同时,显著提高了变异测试的效率.Based on the importance of the statement, a novel method of selecting mutation object is proposed so as to reduce mutants. In this method, three factors that reflect the importance of an object are given, and then an index system of evaluating the importance of an object is established based on the importance of these factors. Finally, statements with high importance are selected as the objects to be mutated according to the values of these indexes. The proposed method is applied to test eight benchmark or industrial programs, and the experimental results suggest that the proposed method significantly improves the efficiency of mutation testing with high mutation sufficiency.
关 键 词:软件测试 变异测试 变异体约简 测试对象选择 重要语句
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222