摘要
通过复用已有的开源代码或内部遗留代码,可极大地提高软件开发效率、降低开发成本,而准确地搜索到所需代码是代码复用的前提和基础。当前基于"输入/输出"语义匹配的代码搜索方法解决了关键字搜索中因为语义歧义存在代码搜索准确度不高的问题,但仅仅考虑了顺序结构代码的处理。在已有工作基础上,重点关注分支结构代码的基于"输入/输出"匹配的语义搜索方法。首先给出不同分支结构的语法定义及形式化描述。其次,定义分支结构到顺序结构的语法转化规则、语义上的约束转换规则,以及转换过程的语义等价性证明。最后给出上述语法转换的实现算法。理论分析及实例表明,该方法是合理、可行的,将为代码搜索提供方法指导。
By reusing existing open source code or internal legacy code, software development efficiency and development cost can be greatly improved, and accurate search of required code is the premise and basis of code reuse. The current code search method based on "input/output" semantic matching solves the problem that the code search accuracy is not high because of semantic ambiguity in keyword search, but only the processing of sequential structure code is considered. Based on the existing work, we focus on the semantic search method based on "input/output" matching of branch structure code. First, the grammatical definitions and formal descriptions of different branch structures are given. Secondly, define the grammatical transformation rules of the branch structure to the order structure, the semantic constraint transformation rules, and the semantic equivalence proof of the transformation process. Finally, the implementation algorithm of the above syntax conversion is given. Theoretical analysis and examples show that the method is reasonable and feasible, and will provide method guidance for code search.
作者
王奎
WANG Kui(Department of Computer,Faculty of Electrical Engineering and Computer Science of Ningbo University,Ningbo 315211,China)
出处
《无线通信技术》
2019年第2期1-6,共6页
Wireless Communication Technology
关键词
代码搜索
语法语义
分支结构
语义等价
code search
syntax and semantics
branch structure
semantic equivalence
