典型文献
基于Petri网可达分析的代码搜索方法
文献摘要：
复用已有高质量源代码可提高软件开发效率及软件质量.当前,基于用户提供的输入/输出对的匹配判断是代码语义搜索的主要方法之一,但该方法难以刻画完整代码行为,且仅能处理单输入类型.提出一种针对多种形式类型匹配的代码语义搜索方法.首先将代码集内各个代码片段中数据对象个数及类型的加工过程转换为Petri网模型;其次根据用户查询中蕴含的数据类型及个数、输出数据类型等约束来构造Petri网初始标识和目标标识;然后在Petri网中通过可达图及诱发网分析判断是否存在相应的可达路径,从而获得代码匹配依据.分析及实验表明,该方法能有效实现多种形式的输入/输出类型匹配的代码搜索,且相对于传统类型匹配方法,能明显提高搜索准确度和效率.
文献关键词：
代码复用;语义搜索;类型匹配;Petri网模型;可达分析
中图分类号：
作者姓名：
丁雪儿;钮俊;张开乐;毛昕怡
作者机构：
宁波大学信息科学与工程学院 浙江宁波315211;嵌入式系统与服务计算教育部重点实验室(同济大学) 上海201804
文献出处：
引用格式：
[1]丁雪儿;钮俊;张开乐;毛昕怡-.基于Petri网可达分析的代码搜索方法)[J].计算机研究与发展,2022(01):236-250
A类：
可达分析
B类：
Petri,代码搜索,搜索方法,质量源,源代码,软件开发,开发效率,软件质量,语义搜索,主要方法,能处,多种形式,类型匹配,数据对象,加工过程,数据类型,发网,分析判断,匹配方法,代码复用
AB值：
0.323634
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
