| 基于Petri网可达分析的代码搜索方法 |
| |
| 引用本文： | 丁雪儿,钮俊,张开乐,毛昕怡. 基于Petri网可达分析的代码搜索方法[J]. 计算机研究与发展, 2022, 59(1): 236-250. DOI: 10.7544/issn1000-1239.20200586 |
| |
| 作者姓名： | 丁雪儿 钮俊 张开乐 毛昕怡 |
| |
| 作者单位： | 宁波大学信息科学与工程学院 浙江宁波315211,宁波大学信息科学与工程学院 浙江宁波315211;嵌入式系统与服务计算教育部重点实验室(同济大学) 上海201804 |
| |
| 基金项目： | 国家自然科学基金项目(61672384);嵌入式系统与服务计算教育部重点实验室开放课题(ESSCKF2019-07);宁波市自然科学基金项目(2019A610088)。 |
| |
| 摘 要： | 复用已有高质量源代码可提高软件开发效率及软件质量.当前,基于用户提供的输入/输出对的匹配判断是代码语义搜索的主要方法之一,但该方法难以刻画完整代码行为,且仅能处理单输入类型.提出一种针对多种形式类型匹配的代码语义搜索方法.首先将代码集内各个代码片段中数据对象个数及类型的加工过程转换为Petri网模型;其次根据用户查询中...
|
| 关 键 词： | 代码复用 语义搜索 类型匹配 Petri网模型 可达分析 |
Code Search Method Based on the Reachability Analysis of Petri Nets |
| |
| Ding Xue'er,Niu Jun,Zhang Kaile,Mao Xinyi. Code Search Method Based on the Reachability Analysis of Petri Nets[J]. Journal of Computer Research and Development, 2022, 59(1): 236-250. DOI: 10.7544/issn1000-1239.20200586 |
| |
| Authors: | Ding Xue'er Niu Jun Zhang Kaile Mao Xinyi |
| |
| Affiliation: | (Faculty of Electrical Engineering and Computer Science,Ningbo University,Ningbo,Zhejiang 315211;Key Laboratory of Embedded System and Service Computing(Tongji University),Ministry of Education,Shanghai 201804) |
| |
| Abstract: | |
| |
| Keywords: | code reuse semantic search matching type Petri Net model reachability analysis |
| 本文献已被 维普 万方数据 等数据库收录！ |
