计算机研究与发展

北大核心,JST,Pж(AJ),EI,CSCD

国内刊号:11-1777/TP

国际刊号:1000-1239

计算机研究与发展杂志2022年第1期:基于Petri网可达分析的代码搜索方法

发布日期:

作者:丁雪儿,钮俊,张开乐,毛昕怡,

关键词:代码复用, 语义搜索, 类型匹配, Petri网模型, 可达分析,

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

来源:2022年第1期

《计算机研究与发展》期刊编辑部

查看计算机研究与发展杂志2022年第1期

声明

严正声明:本站非期刊官网,非中介代理。

本站仅提供学术规范服务:快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。

联系我们

  • 地址:北京中关村科学院南路6号
  • 电话:(010)62620696
  • E-mail:crad@ict.ac.cn

咨询工作人员