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 Xinyi11（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-01Supported 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网中通过可达图及诱发网分析判断是否存在相应的可达路径，从而获得代码匹配依据.分析及实验表明，该方法能有效实现多种形式的输入输出类型匹配的代码搜索，且相对于传统类型匹配方法,能明显提高搜索准确度和效率.
参考文献
相关文章 4
| [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
