删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

基于故障检测上下文的等价变异体识别算法

本站小编 Free考研考试/2022-01-01

于畅, 王雅文,林欢,宫云战
(网络与交换技术国家重点实验室(北京邮电大学) 北京 100876) (shuoxunyc@bupt.edu.cn)
出版日期: 2021-01-01


基金资助:国家自然科学基金项目(U1736110,61702044)

Fault Detection Context Based Equivalent Mutant Identification Algorithm

Yu Chang, Wang Yawen, Lin Huan, Gong Yunzhan
(State Key Laboratory of Networking and Switching Technology (Beijing University of Posts and Telecommunications), Beijing 100876)
Online: 2021-01-01


Supported by:This work was supported by the National Natural Science Foundation of China(U1736110, 61702044).




摘要/Abstract


摘要: 等价变异体识别一直是阻碍变异测试在工业界得以广泛应用的一个关键难题.为此提出了一种基于故障检测上下文的等价变异体识别算法.该算法通过静态分析技术抽取程序中与故障检测条件相关的代码上下文信息,以构造故障检测上下文;接着,故障检测上下文被转换为文档模型,经过一个文档表示学习网络进行编码;最后通过机器学习模型将变异体分类为等价或非等价变异.在包含了22个C程序和118 000个变异体样本的训练集上,该算法取得91%的分类精准度和82%的召回率;同时在跨项目交叉验证中,机器学习模型取得了77%的精准度和78%的召回率.该结果表明基于故障检测上下文的识别技术能够有效地提高等价变异体分类的精准性和泛用性,为提高变异测试技术的有效性提供了技术支持.






[1]邵天竺, 王晓亮, 陈文龙, 唐晓岚, 徐敏. 一种减少网络振动的智能路由选择算法设计[J]. 计算机研究与发展, 2021, 58(6): 1261-1274.
[2]孙聪, 李占魁, 陈亮, 马建峰, 乔新博. 面向数字货币特征的细粒度代码注入攻击检测[J]. 计算机研究与发展, 2021, 58(5): 1035-1044.
[3]汪嘉来, 张超, 戚旭衍, 荣易. Windows平台恶意软件智能检测综述[J]. 计算机研究与发展, 2021, 58(5): 977-994.
[4]任泽众, 郑晗, 张嘉元, 王文杰, 冯涛, 王鹤, 张玉清. 模糊测试技术综述[J]. 计算机研究与发展, 2021, 58(5): 944-963.
[5]汪烨, 陈骏武, 夏鑫, 姜波. 智能需求获取与建模研究综述[J]. 计算机研究与发展, 2021, 58(4): 683-705.
[6]吴宗友, 白昆龙, 杨林蕊, 王仪琦, 田英杰. 电子病历文本挖掘研究综述[J]. 计算机研究与发展, 2021, 58(3): 513-527.
[7]陈晋音, 陈奕芃, 陈一鸣, 郑海斌, 纪守领, 时杰, 程瑶. 面向深度学习的公平性研究综述[J]. 计算机研究与发展, 2021, 58(2): 264-280.
[8]李双峰. TensorFlow Lite:端侧机器学习框架[J]. 计算机研究与发展, 2020, 57(9): 1839-1853.
[9]陈珂锐, 孟小峰. 机器学习的可解释性[J]. 计算机研究与发展, 2020, 57(9): 1971-1986.
[10]丁成诚, 陶蔚, 陶卿. 一种三参数统一化动量方法及其最优收敛速率[J]. 计算机研究与发展, 2020, 57(8): 1571-1580.
[11]贺一笑, 庞明, 姜远. 蒙德里安深度森林[J]. 计算机研究与发展, 2020, 57(8): 1594-1604.
[12]李冬梅, 张扬, 李东远, 林丹琼. 实体关系抽取方法研究综述[J]. 计算机研究与发展, 2020, 57(7): 1424-1448.
[13]陶涛, 孙玉娥, 陈冬梅, 杨文建, 黄河, 罗永龙. 一种基于智能手机传感器数据的地图轮廓生成方法[J]. 计算机研究与发展, 2020, 57(7): 1490-1507.
[14]蓝天, 彭川, 李森, 叶文政, 李萌, 惠国强, 吕忆蓝, 钱宇欣, 刘峤. 单声道语音降噪与去混响研究综述[J]. 计算机研究与发展, 2020, 57(5): 928-953.
[15]刘辰屹, 徐明伟, 耿男, 张翔. 基于机器学习的智能路由算法综述[J]. 计算机研究与发展, 2020, 57(4): 671-687.





PDF全文下载地址:

https://crad.ict.ac.cn/CN/article/downloadArticleFile.do?attachType=PDF&id=4331
相关话题/计算机 技术 智能 网络 测试

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 分布式深度学习训练网络综述
    朱泓睿1,2,元国军1,姚成吉3,谭光明1,王展1,户忠哲1,2,3,张晓扬1,2,3,安学军11(中国科学院计算技术研究所北京100190);2(中国科学院大学北京100049);3(北京旷视科技有限公司北京100080)(zhuhongrui@ncic.ac.cn)出版日期:2021-01-01 ...
    本站小编 Free考研考试 2022-01-01
  • 网络功能虚拟化下服务功能链的资源管理研究综述
    祖家琛,胡谷雨,严佳洁,李实吉(陆军工程大学指挥控制工程学院南京210007)(jiachen_zu@foxmail.com)出版日期:2021-01-01ResourceManagementofServiceFunctionChaininNFVEnabledNetwork:ASurveyZuJia ...
    本站小编 Free考研考试 2022-01-01
  • 命名数据网络中的视频传输研究综述
    胡晓艳1,2,3,4,童钟奇1,徐恪5,张国强6,郑少琦1,赵丽侠1,程光1,2,3,龚俭1,2,31(东南大学网络空间安全学院南京211189);2(计算机网络和信息集成教育部重点实验室(东南大学)南京211189);3(网络空间国际治理研究基地(东南大学)南京211189);4(网络通信与安全紫 ...
    本站小编 Free考研考试 2022-01-01
  • 基于边际贡献的需求变更技术债务量化评估
    张云洁1,张璇1,2,王旭3,任峻民1,唐子淇11(云南大学软件学院昆明650091);2(云南省软件工程重点实验室(云南大学)昆明650091);3(云南大学经济学院昆明650091)(932145749@qq.com)出版日期:2021-01-01基金资助:国家自然科学基金项目(61862063 ...
    本站小编 Free考研考试 2022-01-01
  • 基于排序学习的网络舆情演化趋势评估方法研究
    秦涛1,2,沈壮1,2,刘欢1,2,陈周国31(智能网络与网络安全教育部重点实验室(西安交通大学)西安710049);2(西安交通大学电子与信息工程学部西安710049);3(中国电子科技集团第三十研究所成都610093)(qin.tao@mail.xjtu.edu.cn)出版日期:2020-12- ...
    本站小编 Free考研考试 2022-01-01
  • 人机混合增强智能的典型应用专题前言
    郑庆华(西安交通大学西安710049)出版日期:2020-12-01Online:2020-12-01摘要/Abstract摘要:当前人工智能在不确定性、脆弱性和开放性实际应用环境中面临重大挑战,任何程度的机器智能都无法完全取代人类.一种新的学习范——“知识引导+数据驱动”的人机混合增强智能的新模式 ...
    本站小编 Free考研考试 2022-01-01
  • 基于散度的网络流概念漂移分类方法
    程光1,2,3,钱德鑫1,2,3,郭建伟4,史海滨1,2,3,吴桦1,2,3,赵玉宇1,2,31(东南大学网络空间安全学院南京211189);2(教育部计算机网络和信息集成重点实验室(东南大学)南京211189);3(江苏省计算机网络技术重点实验室(东南大学)南京211189);4(华为技术有限公司 ...
    本站小编 Free考研考试 2022-01-01
  • 基于自适应广义回归神经网络的链路质量评估
    舒坚,高素,陈宇斌(南昌航空大学软件学院南昌330063)(shujian@nchu.edu.cn)出版日期:2020-12-01基金资助:国家自然科学基金项目(61962037,61762065);江西省自然科学基金重点项目(20202BABL202039,20181BAB202015);江西省研 ...
    本站小编 Free考研考试 2022-01-01
  • 基于SMT求解器的微处理器指令验证数据约束生成技术
    谭坚,罗巧玲,王丽一,胡夏晖,范昊,徐占(江南计算技术研究所江苏无锡214083)(tanjian131@163.com)出版日期:2020-12-01基金资助:国家重点研发计划项目(2017YFB0202703)DataConstraintGenerationTechnologyforMicrop ...
    本站小编 Free考研考试 2022-01-01
  • 基于双向循环神经网络的安卓浏览器指纹识别方法
    刘奇旭1,2,刘心宇1,2,罗成3,王君楠1,2,陈浪平1,2,刘嘉熹1,21(中国科学院信息工程研究所北京100093);2(中国科学院大学网络空间安全学院北京100049);3(中国信息通信研究院北京100191)(liuqixu@iie.ac.cn)出版日期:2020-11-01基金资助:中国 ...
    本站小编 Free考研考试 2022-01-01