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

基于Petri网可达分析的代码搜索方法

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

丁雪儿1,钮俊1,2,张开乐1,毛昕怡1
1(宁波大学信息科学与工程学院 浙江宁波 315211);2(嵌入式系统与服务计算教育部重点实验室(同济大学) 上海 201804) (dingxuer@yeah.net)
出版日期: 2022-01-01


基金资助:国家自然科学基金项目(61672384);嵌入式系统与服务计算教育部重点实验室开放课题(ESSCKF2019-07);宁波市自然科学基金项目(2019A610088)

Code Search Method Based on the Reachability Analysis of Petri Nets

Ding Xue’er1, Niu Jun1,2, Zhang Kaile1, Mao Xinyi1
1(Faculty of Electrical Engineering and Computer Science, Ningbo University, Ningbo, Zhejiang 315211);2(Key Laboratory of Embedded System and Service Computing (Tongji University), Ministry of Education, Shanghai 201804)
Online: 2022-01-01


Supported by:This work was supported by the National Natural Science Foundation of China (61672384), the Open Project of Key Laboratory of Embedded System and Service Computing of the Ministry of Education of China (ESSCKF2019-07), and the Natural Science Foundation of Ningbo (2019A610088).




摘要/Abstract


摘要: 复用已有高质量源代码可提高软件开发效率及软件质量.当前,基于用户提供的输入输出对的匹配判断是代码语义搜索的主要方法之一,但该方法难以刻画完整代码行为,且仅能处理单输入类型.提出一种针对多种形式类型匹配的代码语义搜索方法.首先将代码集内各个代码片段中数据对象个数及类型的加工过程转换为Petri网模型;其次根据用户查询中蕴含的数据类型及个数、输出数据类型等约束来构造Petri网初始标识和目标标识;然后在Petri网中通过可达图及诱发网分析判断是否存在相应的可达路径,从而获得代码匹配依据.分析及实验表明,该方法能有效实现多种形式的输入输出类型匹配的代码搜索,且相对于传统类型匹配方法,能明显提高搜索准确度和效率.






[1]王萌, 王靖婷, 江胤霖, 漆桂林. 人机混合的知识图谱主动搜索[J]. 计算机研究与发展, 2020, 57(12): 2501-2513.
[2]刘峤,李杨,段宏,刘瑶,秦志光. 知识图谱构建技术综述[J]. 计算机研究与发展, 2016, 53(3): 582-600.
[3]王烨,李清宝,曾光裕,陈志锋. 基于代码防泄漏的代码复用攻击防御技术[J]. 计算机研究与发展, 2016, 53(10): 2277-2287.
[4]黄 瑞, 史忠植, . 一种新的Web异构语义信息搜索方法[J]. , 2008, 45(8): 1338-1345.





PDF全文下载地址:

https://crad.ict.ac.cn/CN/article/downloadArticleFile.do?attachType=PDF&id=4569
相关话题/代码 计算机 技术 知识 软件

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 可解释深度知识追踪模型
    刘坤佳,李欣奕,唐九阳,赵翔(国防科技大学信息系统工程重点实验室长沙410073)(kunjia_liu@nudt.edu.cn)出版日期:2021-12-01基金资助:国家重点研发计划项目(2020AAA0108800);国家自然科学基金项目(61872446,71971212,62002373) ...
    本站小编 Free考研考试 2022-01-01
  • 基于图匹配网络的可解释知识图谱复杂问答方法
    孙亚伟,程龚,厉肖,瞿裕忠(计算机软件新技术国家重点实验室(南京大学)南京210023)(ywsun@smail.nju.edu.cn)出版日期:2021-12-01基金资助:国家重点研究与发展计划项目(2018YFB1005100);国家自然科学基金项目(61772264)GraphMatchin ...
    本站小编 Free考研考试 2022-01-01
  • InterDroid:面向概念漂移的可解释性Android恶意软件检测方法
    张炳1,2,文峥1,2,魏筱瑜3,任家东1,21(燕山大学信息科学与工程学院河北秦皇岛066004);2(河北省软件工程重点实验室(燕山大学)河北秦皇岛066004);3(中国五洲工程设计研究院北京100053)(jdren@ysu.edu.cn)出版日期:2021-11-01基金资助:国家自然科学 ...
    本站小编 Free考研考试 2022-01-01
  • 一种面向含噪中尺度量子技术的量子-经典异构计算系统
    付祥1,郑宇真1,苏醒2,于锦涛3,徐炜遐1,吴俊杰11(国防科技大学计算机学院量子信息研究所兼高性能计算国家重点实验室长沙410073);2(国防科技大学计算机学院长沙410073);3(数学工程与先进计算国家重点实验室郑州450001)(xiangfu@quanta.org.cn)出版日期:20 ...
    本站小编 Free考研考试 2022-01-01
  • 面向超导量子计算机的程序映射技术研究
    窦星磊,刘磊,陈岳涛(计算机体系结构国家重点实验室(中国科学院计算技术研究所)北京100190)(中国科学院计算技术研究所北京100190)(liulei2010@ict.ac.cn)出版日期:2021-09-01基金资助:国家自然科学基金项目(62072432,61502452)AnInvesti ...
    本站小编 Free考研考试 2022-01-01
  • 基于张量分解的知识超图链接预测模型
    王培妍,段磊,郭正山,蒋为鹏,张译丹(四川大学计算机学院成都610065)(wongpy@stu.scu.edu.cn)出版日期:2021-08-01基金资助:国家自然科学基金项目(61972268);国家重点研发计划项目(2018YFB0704301-1);四川省科技计划项目(2020YFG003 ...
    本站小编 Free考研考试 2022-01-01
  • 基于代码属性图和Bi-GRU的软件脆弱性检测方法
    肖添明,管剑波,蹇松雷,任怡,张建锋,李宝(国防科技大学计算机学院长沙410073)(xiaotianm19@nudt.edu.cn)出版日期:2021-08-01基金资助:国家自然科学基金项目(61872444,U19A2060);国家重点研发计划项目(2018YFB0204301)Softwar ...
    本站小编 Free考研考试 2022-01-01
  • 舆情场景下基于层次知识的话题推荐方法
    史存会1,3,胡耀康2,3,冯彬1,3,张瑾2,俞晓明1,刘悦1,程学旗41(中国科学院计算技术研究所数据智能系统研究中心北京100190);2(中国科学院网络数据科学与技术重点实验室(中国科学院计算技术研究所)北京100190);3(中国科学院大学北京100049);4(烟台中科网络技术研究所山东 ...
    本站小编 Free考研考试 2022-01-01
  • 基于深度学习的图异常检测技术综述
    陈波冯1,李靖东1,卢兴见1,沙朝锋2,王晓玲1,张吉31(华东师范大学计算机科学与技术学院上海200062);2(复旦大学计算机科学技术学院上海200433);3(之江实验室杭州310000)(51194501030@stu.ecnu.edu.cn)出版日期:2021-07-01基金资助:国家自然 ...
    本站小编 Free考研考试 2022-01-01
  • 闪存固态硬盘系统结构与技术
    高聪明1,石亮2,刘凯3,薛春4,舒继武11(清华大学计算机科学与技术系北京100083);2(华东师范大学计算机科学与技术学院上海200062);3(重庆大学计算机学院重庆400044);4(香港城市大学计算机系香港999077)(gaocm92@gmail.com)出版日期:2021-07-01 ...
    本站小编 Free考研考试 2022-01-01