2. 信息安全国家重点实验室(中国科学院 信息工程研究所), 北京 100093;
3. 高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学), 江苏 南京 211106;
4. 北京信息科技大学 计算机学院, 北京 100101;
5. 天津大学 智能与计算学部, 天津 300350
2. State Key Laboratory of Information Security(Institute of Information Engineering, Chinese Academy of Sciences), Beijing 100093, China;
3. Key Laboratory of Safety-Critical Software of Ministry of Industry and Information Technology(Nanjing University of Aeronautics and Astronautics), Nanjing 211106, China;
4. School of Computer, Beijing Information Science and Technology University, Beijing 100101, China;
5. College of Intelligence and Computing, Tianjin University, Tianjin 300350, China
随着软件项目的复杂度和软件产品迭代频率的不断提升, 程序理解在整个软件开发环节的重要性也日益提高.最近的一项研究工作[1]表明: 开发人员平均需要花费59%的时间在程序理解上.无疑, 高质量的代码注释是提高开发人员程序理解效率的关键[2].但开发人员由于项目开发预算有限、编程经验不足或者对代码注释的重视程度不够, 经常会出现代码注释的缺失、不足或者与代码实际内容不匹配等问题.虽然借助一些工具(例如JavaDoc[3]和Doxygen(http://www.doxygen.org))可以辅助生成代码注释模板, 但仍然不能自动生成与代码实现功能和目的相关的描述.如果由开发人员手工输入代码注释则费时费力, 并且注释的质量很难得到保障.除此之外, 已有的代码注释也需要随着相关代码的持续演化而保持同步更新[4].因此亟需研究人员设计出有效的代码注释自动生成(code comment generation)方法(由于生成的注释通常较短(通常使用一句话来概括代码的目的和主要功能), 因此该问题在有的文献中又被称为代码摘要自动生成(automatic code summarization)问题).
代码注释自动生成是当前程序理解领域的一个研究热点[5].代码注释可以描述相关代码的实现功能和实现目的.高质量的代码注释有助于提高代码的可读性和可理解性, 因此在软件开发和维护过程中具有重要的作用.代码注释自动生成问题可以认为是将基于编程语言实现的代码自动翻译成基于自然语言描述的文本, 同时希望自动生成的注释不仅可以描述代码实现的功能, 而且还可以给出代码的实现目的或开发人员的设计意图等.例如: 开发人员通过阅读如下两段注释“uploads log files to the backup server”和“formats decimal values as scientific notation”, 就可以直接对相关代码的目的产生清晰的认识, 而不需要再深入地去理解代码的具体实现细节.
代码注释的自动生成在很多软件工程相关任务中都能起到重要的作用.例如: 当开发人员新加入某个项目的开发团队, 或者需要评估项目内的某个模块是否需要使用新的类库时, 都需要通过阅读和理解代码尽快地熟悉大规模软件项目内的某个程序模块.开发人员在审查某个程序模块时, 需要尽快了解该模块的核心代码变更情况.在软件开发和维护过程中, 开发人员需要尽快定位到自己感兴趣的代码段上.不难看出, 高质量的代码注释有助于协助开发人员提高上述任务的完成效率.
但代码注释自动生成问题在研究时也面临诸多严峻挑战: 首先, 高质量的代码注释离不开对代码结构和语义的高质量分析, 尤其是代码语义分析在当前软件工程领域仍然是一个开放问题.其次, 有时候如果仅分析代码本身, 并不足以生成高质量的代码注释.因此还需要研究如何有效地利用项目缺陷跟踪系统和版本控制系统内的领域知识以及来自Stack Overflow和Github的众包知识.最后, 当前对生成的代码注释进行质量评估时, 主要采用手工评估方法和自动评估方法.但使用手工评估方法打分, 受限于专家对编程语言和领域知识的熟悉程度, 容易存在主观性较强的问题.而自动评估方法一般使用来自机器翻译研究领域的评测指标, 虽然可以自动给出生成注释的质量评分, 但代码注释自动生成问题与机器翻译问题相比, 仍存在一定的差异性[6].
代码注释自动生成的研究工作最早可以追溯到Haiduc等人[7, 8]的研究工作, 他们首次借助信息检索技术, 尝试为代码自动生成文本摘要.在该问题的早期研究阶段, 研究人员更多集中于基于模板的生成方法和基于信息检索的生成方法, 借助启发式规则从代码内提取关键信息, 并合成基于自然语言描述的注释.随着深度学习技术的迅猛发展和更多代码注释语料库的逐步共享, 基于深度学习的方法有效提升了自动生成的代码注释的质量, 并成为该问题当前的一个主流研究方向[9].其中, Iyer等人[10]在2016年首次基于深度学习中的序列到序列模型, 提出了CODE-NN方法.后续相关研究基本上都集中于利用神经机器翻译领域的最新研究成果以解决该问题, 重点集中于学习代码结构信息和自然语言描述间的隐含关系, 并取得了较好的注释生成效果.不难看出, 针对代码注释自动生成问题的研究涉及到多个不同的研究领域, 例如: 软件工程、程序分析、深度学习、信息检索和自然语言处理等, 因此代码注释自动生成问题可以认为是一个多领域交叉的研究问题.
为了对该问题的已有研究工作和取得的成果进行系统的梳理, 我们首先确定了source code summarization、summarizing source code、generating summary comments、summarization of source code、comment generation、commit message generation、generating commit messages等关键词.随后我们选择如下论文数据库, 通过输入上述关键词来检索与综述主题相关的论文.
● IEEE Xplore Digital Library (https://ieeexplore.ieee.org)
● ACM Digital Library (https://portal.acm.org)
● Science Direct Digital Library (https://www.sciencedirect.com)
● Springer Link Digital Library (https://link.springer.com)
● Wiley Online Library (https://www.onlinelibrary.wiley.com)
基于上述论文数据库中检索出来的相关文献, 我们在人工筛选方法的基础上, 通过分析论文的标题、关键词和摘要等来识别并移除与综述主题无关的论文.然后通过谷歌学术和DBLP等学术搜索引擎来查阅被选中论文的被引用情况和相关研究人员已发表论文的清单, 以进一步补充相关论文.最后我们确定了与该综述主题直接相关的高质量论文共70篇(截止到2020年7月).
我们首先将每年累计发表的论文总数进行统计, 结果如图 1所示.不难看出, 从2009年开始, 与综述主题相关的研究工作逐步增多, 尤其是在2019年, 仅当年就有14篇论文发表.因此可以认为该问题是程序理解领域近些年来的一个热点研究问题.
随后我们按照论文的发表源进行统计, 结果见表 1.在表 1中, 首先按照CCF(中国计算机协会)列表推荐的期刊/会议的等级进行排序, 如果等级相同, 则进一步按照发表源累计发表的论文数从高到低进行排序.基于表 1, 我们发现大部分研究工作发表在软件工程领域的权威期刊和会议上, 其中在ICPC会议、ASE会议和ICSE会议上发表的论文数最多, 分别达到12篇、10篇和7篇.这里需要注意的是, ICPC会议是程序理解领域研究人员公认的权威会议, 该会议每年集中收录与程序理解相关的研究工作.除此之外, 在人工智能领域和自然语言处理领域等也有相关研究工作发表.例如, 在ACL会议、WWW会议和IJCAI会议上均有两篇论文发表.
通过分析相关研究人员, 我们发现目前在该研究问题上最为活跃的是来自美国圣母大学(University of Notre Dame)的Collin McMillan教授所领导的研究小组.同时我们也注意到, 国内研究人员在该研究问题上也日趋活跃, 目前来自浙江大学、北京大学、南京大学、北京航空航天大学、南方科技大学等国内高校的研究人员都有高质量的研究成果发表.除此之外, 该研究问题也是软件工程领域里的一个热点话题, 据我们所知, 目前有5篇与综述主题相关的论文获得软件工程领域权威会议的最佳论文奖, 包括: Rodeghero等人[11]在ICSE 2014上的研究工作、McBurney等人[12]在ICPC 2014上的研究工作、Hu等人[13]在ICPC 2018上的研究工作、Liu等人[14]在ASE 2018上的研究工作和Liu等人[15]在ASE 2019上的研究工作.
目前针对代码注释自动生成问题的综述并不多, Nazar等人[16]在2016年对软件制品摘要生成方法进行了综述, 他们考虑的软件制品包括缺陷报告、代码、邮件清单和开发人员间的讨论等.而本文仅关注代码摘要的自动生成方法.除此之外, 由于Nazar等人的综述论文发表时间较早, 因此他们的综述并未对基于深度学习的生成方法进行总结.Song等人[17]在2019年对代码注释生成问题进行了系统综述, 但他们的综述仅关注到2018年之前发表的论文.而在2018年~2020年之间, 该领域又新发表了24篇论文, 尤其是在基于深度学习的生成方法上取得了很多研究成果.除此之外, 我们的综述论文在方法的分类、语料库和评测指标上进行了更为深入的分析和点评.
本文第1节给出综述的整体研究框架.第2节~第4节分别介绍基于模板的生成方法、基于信息检索的生成方法和基于深度学习的生成方法的相关研究工作, 并进行点评.第5节总结常用的代码注释语料库.第6节将常用的代码注释质量评估方法分为两类, 并分别加以分析.最后对该领域未来值得关注的研究方向进行展望.
1 研究框架本文的整体研究框架如图 2所示.首先将已有的注释自动生成方法分为3类: 基于模板的生成方法(见第2节)、基于信息检索的生成方法(见第3节)和基于深度学习的生成方法(见第4节).同时深入分析已有的代码注释语料库(见第5节)和常见的代码注释质量评估方法(见第6节).
从图 2可以看出, 该问题的主要输入是需要生成注释的代码, 为了进一步提高代码注释的质量, 研究人员会额外分析项目所在的版本控制系统、开发人员间的电子邮件往来、Stack Overflow和Github的众包协作平台等.该问题的输出是代码注释.Haiduc等人[7]根据方法的不同, 将生成的代码注释分为两类: 抽取式代码注释和生成式代码注释(或理解型代码注释).不难看出, 前两种方法(即基于模板的方法和基于信息检索的方法)生成的注释可以归为抽取式代码注释, 而后一种方法(即基于深度学习的方法)生成的注释则可以归为生成式代码注释.其中抽取式注释主要从代码中提取关键词来尝试生成注释, 在通顺度上要好于生成式注释.而生成式注释则主要基于深度学习的序列到序列模型.
我们进一步对3种不同类型方法的相关论文的所占比例进行了统计, 具体如图 3所示.其中, 26%的研究工作集中于基于模板的方法, 24%的研究工作集中于基于信息检索的方法, 以及50%的研究工作集中于基于深度学习的方法.从时间维度上看, 在2016年之前, 主要以基于模板和信息检索的生成方法为主.而在2016年之后, 基本上以基于深度学习的生成方法为主.
2 基于模板的生成方法 2.1 简述
这类方法主要基于SWUM(software word usage model)或分析代码结构的版型(stereotype)信息, 以识别出方法的主要功能, 并基于模板生成对应的注释.其在分析时, 不仅需要考虑到代码本身的信息, 还需要考虑代码所处的上下文信息以及不同编程语言的特征.
2.2 已有工作的分析 2.2.1 基于SWUM分析的方法SWUM可以为识别和表达高级别动作提供必要的语言信息.SWUM不仅可以捕获代码中单词出现的次数, 而且还可以捕获语言与结构的关系.在注释生成问题中, 使用SWUM分析代码, 可以重点识别出3个要素: 动作(action)、主题(theme)和可能的次要参数(secondary arguments).例如, 如果方法签名(signature)是list.add(Item i), 则通过对该方法签名进行SWUM分析, 可以识别出: 动作是add, 主题是item, 次要参数是(to) list.因此, 基于上述3个要素, 可以合成较为容易理解的代码注释.
Hill等人[18]基于SWUM, 通过分析Java方法的签名, 来生成基于自然语言的代码注释.虽然一些方法签名借助SWUM分析, 可以较为容易地分析出方法实现的功能.但有一些方法的签名可能与这种方法需要响应的事件有关(例如方法mousePressed), 因此使用Hill等人提出的方法, 将难以生成令人满意的注释.Sridhara等人[19]针对上述问题, 在生成代码注释时进一步考虑了方法体内含有的代码.但方法体内通常仅有少量语句与需要生成的代码注释相关.因此他们提出的方法主要包括两个阶段: 内容选择阶段和文本生成阶段.其中, 内容选择阶段尝试着从方法体内选出核心代码语句, 他们在选择时主要基于对已有开源项目内注释的分析和与经验丰富的开发人员的交流.随后在文本生成阶段, 基于上述选出的语句, 尝试生成代码注释.
Sridhara等人[20]进一步针对方法的参数来生成注释.以Java语言为例, 通过如下注释@param args: create meta server using the port obtained from the parameter, 开发人员可以了解到参数args在方法内的作用.他们通过分析18个开源项目, 发现: 含有至少1个参数, 但没有@param注释的方法大约占到31%~97%, 因此, 基于方法参数生成相应的注释是一个亟需解决的问题.他们提出启发式方法来尝试生成与参数相关的注释, 实验结果表明: 所生成的注释可以描述出参数在方法实现的功能中所起到的主要作用.
Sridhara等人[21]随后关注代码中的高级别动作(high-level actions).他们通过分析语句序列、条件语句块和循环语句块, 来尝试识别出代码内的高级别动作, 随后借助SWUM, 为每个识别出的高级别动作生成简洁的注释.但Wang等人[22]随后发现, 在生成注释时, 代码内仍有一些类型的高级别动作并未被识别出来.他们重点关注了通过对象引用相互关联的连续语句序列, 并称其为与对象相关的动作(object-related action).通过分析1 000个开源项目后, 他们发现这类高级别动作在项目内普遍存在.通过挖掘开源项目, 构建出与这类高级别动作相关的注释模板, 随后通过在代码内识别出与这类动作相关的代码, 借助SWUM对已有的代码注释作进一步的增强.
McBurney和McMilan[12, 23]从代码的上下文入手.他们将方法的设计目的与在系统中所起的作用视为上下文.他们的方法首先搜集与Java方法源代码相关的上下文数据(即方法调用信息).随后基于方法所处的上下文中的关键词来描述方法是如何被使用的, 该阶段主要借助SWUM来识别不同关键词的词类(parts of speech).最后, 借助PageRank算法来选择上下文信息, 并通过关键词来生成针对上下文的描述.
2.2.2 基于版型信息分析的方法版型是针对代码结构(例如类、方法、代码变更等)的类型(type)和角色(role)的高级别抽象.利用版型信息, 可以确定需要用于生成注释的代码结构类型.例如, 如果一种方法的职责是将类实例化为对象, 则可以将该方法的版型归为构造方法.
Moreno等人[24]将关注的代码粒度从函数级别提升到类级别, 因为他们认为类是面向对象编程语言的基本构成单元.但又发现不能将针对类内函数的注释, 通过简单合并的方式来生成类的注释.首先, 简单合并函数的注释会造成最终类的注释内含有过多的内容.其次, 类内仅有部分函数与类的行为密切相关.他们假设方法的类型在类内的分布并不是偶然的, 而是与类的设计意图有关.因此他们的方法首先决定类和方法的版型.随后通过结合版型信息与预先定义的基于方法和数据成员访问级别的启发式规则, 可以确定需要包含在注释里的信息.最终通过综合使用选择的信息、预先定义的规则以及针对变量和语句的自然语言描述, 以最终生成代码注释. Moreno等人的研究工作主要针对Java编程语言, 随后, Abid等人[25]针对基于C++编程语言实现的方法来生成注释.他们的方法首先基于静态分析方法和一系列启发式规则来确定方法的版型类型.随后基于版型的信息、静态分析的结果和预先定义的模板来生成方法的注释.其中, 使用静态分析方法有助于抽取出方法的内部实现细节(例如参数、局部变量以及方法调用等信息), 而使用预先定义的模板则有助于针对不同的版型类型来生成代码注释.
在版本控制系统内, 开发人员可以通过提交消息(commit message)来描述代码变更(code change)的目的和变更的主要内容.不难看出, 代码变更也是理解软件演化的一个重要依据, 而对应的提交消息同样可以协助开发人员在不需要理解代码变更的底层实现细节时, 就可以为理解软件演化提供重要的信息.但一些实证研究的结果表明, 项目内的提交消息质量难以令人满意.例如: Maalej和Happel[26]通过分析超过60万条的提交消息, 发现有10%的提交消息不含有任何文本内容或者含有的文本内容很少.随后Dyer等人[27]通过分析超过2.3万个开源项目后, 发现14%的提交消息不含有任何文本内容, 66%的提交消息含有的文本内容很少, 而仅有10%的提交消息包含了代码变更的目的和内容.为了提高提交消息的质量, Buse和Weimer[28]开发出DeltaDoc工具, 该工具通过对修改前后版本的控制流图进行对比, 从中抽取出被修改代码内的路径谓词, 并通过预定义的模板来生成注释.Cortes-Coy等人[29]提出了ChangeScribe方法, 该方法通过考虑代码变更的版型类型、变更的类型(例如文件的重命名、针对属性文件的修改等)和与代码变更相关的影响集, 可以生成提交消息, 结果表明, 该方法生成的提交消息可以有效地包含代码变更的目的和具体变更的内容.Shen等人[30]同样识别出代码变更相关的影响集, 随后根据方法的类型来生成代码变更的变更信息, 通过识别代码变更的版型和维护任务的类型来生成代码变更的目的信息.
2.2.3 其他类型的方法除了基于SWUM和版型的方法, 也有研究人员从其他角度来设计基于模板的注释生成方法.Rai等人[31]从基于代码级别的微模式(nano-pattern)入手, 并考虑了26种微模式.在深入分析了Java方法内不同微模式之间的关联关系后, 他们使用基于模板的方法来生成最终的代码注释.Malhotra和Chhabra[32]基于微模式和类的变更倾向性, 针对类生成代码注释.其中, 主要通过计算类之间的不同依赖关系来确定类的变更倾向性.Nazar等人[33]首先基于Eclipse和NetBeans项目, 构建了基于代码段的语料库, 随后他们邀请了4名学生对代码段进行注释.接着使用众包方法来对代码段(主要基于21个特征)进行标记.最后, 基于支持向量机和朴素贝叶斯分别构建了两个分类器, 这些分类器可以根据给定的特征取值自动地生成代码注释.Rastkar等人[34]提出一种基于多文档摘要的方法来生成代码变更的提交消息, 其生成的提交消息可以描述代码变更的目的(例如新实现的特征等).但是, 由于这些信息可能分布于项目内的不同文档中, 例如需求文档、设计文档等, 于是他们针对代码变更, 从相关文档中抽取出与之相关的句子, 这些句子包含了代码变更的提交目的等信息.他们提出的方法主要基于机器学习方法, 通过分析句子级别的特征, 尝试着在文档中识别出相关句子.
2.3 已有工作的对比和评点我们通过表 2对所有基于模板的生成方法进行了全面对比, 包括考虑的代码模块粒度、编程语言、方法的类型和主要特征.不难看出, 大部分研究工作都集中于研究的早期阶段, 78.6%的研究工作基于SWUM和版型的方法, 64.3%的研究工作将代码的粒度设置为方法/函数, 92.9%的研究工作关注的是Java编程语言.在评估注释质量时, 基本上都是借助人工评估的方式.
3 基于信息检索的生成方法 3.1 简述
在这类方法的研究早期, 研究人员一般仅分析项目内的所有代码模块, 并基于信息检索模型, 通过识别出目标模块内的关键单词来合成代码的摘要.随着项目管理的日趋规范(例如, 当前大部分项目开发均会使用缺陷跟踪系统和版本控制系统)以及Github和Stack Overflow这类基于众包协作平台的快速发展, 研究人员尝试挖掘这些软件仓库以寻找与目标模块相似的代码段, 并利用这些相似代码段的描述、注释和讨论等以生成代码注释.
3.2 已有工作的分析 3.2.1 基于代码关键词抽取的方法这类方法尝试着从目标代码中识别出核心关键词或语句, 随后将这些识别出的关键词或语句视为代码摘要, 我们将这类注释称为基于单词的代码注释.这类方法主要受到自动文本摘要(automatic text summarization)研究问题的启发.自动文本摘要主要针对单个或多个文档, 以尝试生成简短且包含文档核心内容的摘要.这类方法的主要流程可总结如下: 首先构造语料库, 在构造时主要包括单词识别、停用词移除和词干还原等操作.与文档不同, 代码需要额外针对标识符, 根据命名规范(例如驼峰命名法、下划线命名法)做进一步的切割.例如, 可以基于驼峰命名法将标识符setValue进一步切割成set和value这两个单词.除此之外, 在确定停用词清单时, 还需要额外添加与编程语言相关的关键词.这类方法经常考虑的检索模型包括VSM(vector space model)、LSI(latent semantic indexing)和LDA(laten Dirichlet allocation)等.在VSM模型中, 向量中的每个元素表示文档中对应单词的权重, 其中, tf(term frequency)、idf(inverse document frequency)和tf-idf是使用最多的单词权重计算方法.LSI模型使用SVD(singular value decomposition)方法将文档向量从高维单词空间映射到低维的语义空间(即主题空间).LSI模型可以用于挖掘文本隐含的主题信息, 而不需要依赖任何先验知识.LDA模型将狄利克雷先验分布引入到文档-主题分布和主题-单词分布中, 模型的学习和推断算法主要基于贝叶斯估计.
Haiduc等人[7]最早提出了基于信息检索的自动文本摘要技术.该方法主要包括两个步骤: 首先, 从系统中的每个文档(例如函数或类等)内抽取单词, 并通过切割标识符和移除停用词来构建语料库.接着, 针对语料库内的文档确定最为相关的单词.在他们提出的方法中, 仅考虑了LSI和VSM这两种检索模型.以VSM检索模型为例, 如果将单词和文档建模为矩阵, 则矩阵中的每个单元格表示单词在对应文档中的权重, 在设置单词权重时, 他们考虑了log、tf-idf和binary-entropy这3种方法.随后给定一个文档, 他们会根据单词权重, 从中抽取出排名前k的单词, 并将这些单词视为代码摘要.Haiduc等人[8]随后基于代码的词法信息(lexical information)和结构信息(structural information)以尝试生成注释.具体来说, 首先, 他们基于LSI建模模型来构建语料库, 其中每个文档对应一种方法.随后, 在LSI处理后的空间内, 计算出方法文本和语料库中每个单词的距离.接着, 将语料库中的单词按照与方法间的相似度从大到小进行排序.最后, 将排名前五的单词视为方法的注释.Eddy等人[35]对Haiduc等人的工作[7]进行了重现和扩展, 他们基于分层主题模型hPAM(hierarchical PAM), 提出一种新的代码摘要生成方法.但与Haiduc等人的研究工作[7]相比, 他们发现所提方法的性能并不一定能带来提升.McBurney等人[36]基于主题模型, 将代码内的主题以层次方式进行组织.在层次的顶层倾向于描述更高级别功能的主题, 而在层次的底层倾向于描述更低级别功能的主题.例如, 主题play sound处于主题decode mp3和主题open files的顶层.
Rodeghero等人[11, 37]基于眼动追踪(eye-tracking)技术来识别出开发人员在代码阅读过程中重点关注的语句和关键词.他们首先雇用了10名Java开发人员, 要求这些开发人员阅读Java方法的代码并编写对应的注释.随后通过分析这些人员的眼动和注视信息, 来确定他们在查阅代码和编写注释时经常关注的关键词.通过与其他工具识别出的关键词进行比较, Rodeghero等人发现, 基于眼动跟踪获取的关键词有助于生成更高质量的代码注释.
Fowkes等人[38]发现, 很多集成开发环境具有代码折叠(code folding)的功能, 该功能可以支持开发人员有针对性地展示或隐藏部分代码段.目前开发人员一般借助手工方式, 来决定使用代码折叠功能的时机.他们提出了TASSAL方法, 该方法在折叠非核心代码时, 可以自动生成对应的注释.其核心是需要确定与代码内容最为相关的词素(token).在他们的研究工作中, 主要比较了VSM模型和主题模型.
3.2.2 基于软件仓库挖掘的方法仅基于项目内模块来构建语料库, 可能存在信息不足的问题.为了缓解上述问题, 通过挖掘软件仓库, 有助于搜集与目标代码相关的知识, 并利用这些相关知识来生成更高质量的代码注释.
一些研究人员尝试着利用项目缺陷跟踪系统和开发人员往来邮件内的知识来生成代码注释.Panichella等人[39]借助正则表达式匹配方法, 从缺陷跟踪系统和邮件清单中抽取与方法相关的描述.他们基于两个开源项目(即Lucene和Eclipse)对所提方法的有效性进行了评估, 最终结果表明: 在Lucene和Eclipse项目内, 分别有36%和7%的方法, 可以在项目的缺陷报告和邮件清单中找到与方法代码相关的描述信息.
一些研究人员借助信息检索方法, 利用来自Stack Overflow和Github的众包知识来辅助生成代码注释.例如, 在开发人员问答网站Stack Overflow中, 用户经常会贴出一段含有缺陷的代码和所需要实现的功能, 随后, 其他用户会围绕这段缺陷代码展开讨论, 并给出可能的缺陷修复方案.这些讨论经常会包含一些有价值的信息, 并可以辅助对上述代码的理解.同样, 由于代码重复在大规模代码库(例如Github)内是一种常见现象.因此可以使用代码克隆(code clone)检测方法来尝试检索出与目标代码相似的代码段, 并基于这些相似代码段的注释来生成目标代码的注释.
Rahman等人[40]首先针对这类方法进行了探索性研究, 通过分析来自Stack Overflow的9 016个问题贴和接受答案以及对应的讨论, 他们发现22%的评论是有用的.上述探索性研究的结论表明, 可以借助来自Stack Overflow的众包知识来辅助生成代码注释.随后, 他们提出了基于启发式(例如, 帖子的流行度、相关度、评论评分、包含的单词数和情感等)的方法, 通过挖掘Stack Overflow来获取有用的注释.最后, 他们基于292个来自Stack Overflow的代码段和对应的5 039个讨论, 验证了所提方法的有效性.
Wong等人[41]提出了AutoComment方法.他们借助爬虫技术, 首先从Stack Overflow社区中爬取了大量代码片段和对应的描述.随后基于代码-描述映射对(code-description mapping)来构建语料库, 当给定目标代码时, 从语料库中检索出相似代码并将其描述作为代码注释.他们通过分析与Java和Android标签相关的帖子, 总共抽取了132 767对代码-描述映射.最后通过将该方法应用到23个Java和Android项目, 总共生成了102个代码注释.Vassallo等人[42]开发了CODES工具, 该工具从Stack Overflow的讨论中提取方法的候选注释并生成基于JavaDoc的描述.他们发现: 在Lucene和Hibernate项目中, 分别有20%和28%的方法可以从Stack Overflow中抽取出相关描述.
Wong等人[43]随后提出了CloCom方法.他们基于代码克隆方法, 尝试着从Github网站中搜索出相似的代码段, 并基于这些相似代码段的注释来描述目标代码.他们主要使用自然语言处理技术.该方法的输入是用于抽取注释的软件项目和需要生成注释的软件项目, 输出是一系列自动生成的代码注释.具体来说, 首先对用于抽取注释的项目进行代码克隆检测, 随后从检测出的代码克隆中移除掉不具有语义相似性的代码, 最后抽取相关代码克隆的注释、移除其中的无关注释并进行排序.他们分析了来自1 005个Java项目的4 200万行代码, 并最终生成了359个注释.通过进一步的人工分析后, 他们发现其中23.7%的注释具有较高的质量.Badihi和Heydarnoori[44]使用众包(crowdsourcing)方法来搜集代码-描述映射对.他们通过设计游戏来激励用户为给定的代码段编写注释.同时, 该游戏也支持用户对其他用户编写的注释按照质量进行排序.随后, 他们使用自然语言处理技术来处理这些代码-描述映射对, 并通过为目标代码段查找最为相似的代码来生成注释.
同样, 也有研究人员尝试基于信息检索的生成方法, 通过分析代码变更来生成提交消息.Huang等人[45]通过挖掘版本控制系统来搜集代码变更和对应的提交消息, 并构建语料库.对于目标代码变更, 他们会从已搜集的语料库中检索出最为相似的代码变更, 并使用对应的提交消息来生成目标代码变更的注释.在评估代码变更相似度时, 他们综合考虑了4种相似度, 其中后语法和语义相似度是衡量修改后代码段间的相似度, 而前语法和语义相似度是衡量修改前代码段间的相似度.他们基于7个开源项目对所提方法的有效性进行了评估, 实验结果表明: 在生成的提交消息中, 9.1%的提交消息是高质量的, 27.7%的提交消息需要进行小幅度的修改, 而剩余的63.2%的提交消息则难以令人满意, 他们对具体的原因也给出了深入的分析.
Liu等人[14]对Jiang等人[46]提出的基于深度学习的方法进行了重新审视.他们对Jiang等人提出的方法能够取得良好性能的背后原因进行了深入分析.首先他们发现, 在测试集中的代码变更若能生成高质量的提交消息, 是因为在训练集中含有相似的代码变更.其次他们发现, 在Jiang等人搜集并共享的语料库中, 大约有16%的代码变更含有噪音(即这些代码变更的提交消息是由持续集成工具自动生成的).通过移除这些噪音代码变更, Liu等人发现, 基于深度学习方法的性能并不理想, 因此他们提出了一种基于最近邻的简单方法NNGen.具体来说, NNGen首先使用词袋模型(bag of words), 将训练集中的代码变更和新的代码变更转换成向量表示.他们在该阶段使用的词袋模型忽略了单词间的次序, 且仅考虑了单词在代码变更中的出现频率.随后, 基于余弦相似度, 从训练集中选出与新的代码变更最为相似的k个代码变更.接着, 再计算出新的代码变更与这k个代码变更间的BLUE-4评分.最后, 将BLUE-4评分最高的代码变更的提交消息视为新的代码变更的提交消息.最终的实验结果表明, 与Jiang等人提出的方法相比, NNGen方法可以提速2 600倍, 并且在BLEU指标上可以提升21%.
3.3 已有工作的对比和评点我们通过表 3, 对所有基于信息检索的方法进行了全面对比, 包括代码模块的粒度、考虑的编程语言、方法的类型和主要特征.不难看出, 这类方法的早期以基于代码关键词抽取的方法为主, 重点是从目标代码中抽取关键词, 在抽取时主要基于VSM、LSI和主题模型等信息检索技术.近些年来, 更多的研究人员将关注点从代码模块本身转移到软件仓库挖掘上.最早考虑的对象包括缺陷跟踪系统、版本控制系统、开发人员间的电子邮件.最近研究人员更多关注Github和Stack Overflow这类基于众包协作的平台.这类方法的性能取决于是否能够找到语义相似的代码.其难点在于衡量不同方法或者不同代码变更间的语义相似度, 因此可以考虑借鉴目前最新的代码嵌入方法, 例如针对方法间的语义相似性, 可以考虑Alon等人提出的code2vec和code2seq[47, 48].针对代码变更间的语义相似性, 可以考虑Lozoya等人提出的commit2vec[49]和Hoang等人提出的cc2vec[50].
4 基于深度学习的生成方法 4.1 简述
这类方法主要基于代码的naturalness假设[51, 52], 该假设由Hindle等人在2012年首次提出, 他们认为软件的代码是由开发人员编写的, 因此与自然语言一样, 具有一些可预测的统计特征, 并且这些统计特征是可以被语言模型所捕获的.该假设构成利用深度学习进行代码语义学习的重要基石.通过对比代码与自然语言, 我们发现代码与自然语言存在诸多相似之处, 例如: 均由词素构成, 可以建模为语法树, 具有重复性和可预测性等.但代码自身也具有一些特性: (1) 强结构性, 代码按照特定编程语言的语法规则, 因此只能被解析为唯一的抽象语法树. (2) 代码对应的词典规模要远大于自然语言对应的词典规模.因为开发人员在代码中会定义不同的变量名、方法名和类名等, 这些名字在自然语言里并不一定能找到.
基于深度学习的方法目前主要将代码注释自动生成问题建模为神经机器翻译(neural machine translation, 简称NMT)问题[53].在自然语言处理领域, 机器翻译问题是指将基于某种自然语言(例如英语)的句子翻译成基于另一种自然语言(例如中文)的句子.因此需要搜集大量英文与中文对应的语料库, 并训练出正确的单词映射, 甚至语法结构映射.但与机器翻译问题不同, 基于深度学习的代码注释生成问题在研究时面临如下挑战: (1) OOV (out of vocabulary)问题, 即需要生成的注释可能含有未在代码中出现的单词.(2) 代码注释的可读性问题, 使用贪心或者束搜索(beam search)策略进行解码时, 其生成的句子可能会出现不通顺的问题.(3) 代码注释和代码的长度并不相等, 通常来讲, 代码注释的长度要远小于代码的长度.
4.2 已有工作的分析 4.2.1 基于经典编码器-解码器模型的方法当前这类方法主要基于编码器-解码器结构(encode-decoder structure), 有时又被称为序列到序列模型(sequence to sequence model).具体来说, 编码器的作用是将源代码编码为固定长度的向量表示, 解码器的作用是将源代码的向量表示进行解码, 并生成代码注释.不同的编码器-解码器的主要区别在于代码的输入形式和神经网络的结构.一般来说, 常见的结构包括: CNN(convolutional neural network)和RNN(recurrent neural network).其中, LSTM(long short term memory)是最常见的一种RNN网络, 其考虑了3个门控, 即输入门控、遗忘门控和输出门控.主要是为了解决长序列训练过程中的梯度消失和梯度爆炸问题.GRU(gated recurrent unit)可以缓解LSTM中存在的结构复杂和实现复杂的问题, 并可以有效地减少模型训练时所需的时间开销.GRU仅考虑了两个门控, 即更新门控和重置门控.同时, 研究人员还会在RNN上进一步考虑注意力机制(attention mechanism), 其可以为编码器/解码器的相关序列中更为相关的词素赋予更高的权重取值, 以进一步缓解长序列训练中存在的相关问题.
Iyer等人[10]首次对这类方法展开研究, 并提出CODE-NN方法, 在编码和解码时均基于LSTM和注意力机制.在Allamanis等人[54]提出的方法中, 编码器使用CNN和注意力机制, 解码器使用GRU.通过使用卷积操作, 有助于检测出局部时序不变(local time-invariant)特征和长程主题注意(long-range topical attention)特征.Zheng等人[55]提出一种新颖的注意力机制, 即代码注意力(code attention)机制.该机制通过利用代码段的领域特征(例如symbols和标识符)来理解代码结构.通过关注这些具体领域特征, 代码注意力机制可以更好地理解代码段的结构信息.Liang和Zhu[56]基于Code-RNN进行编码, 从代码中抽取特征并构建向量表示.在解码时使用Code-GRU.
Hu等人[13]提出DeepCom方法, 该方法通过抽象语法树(abstract syntax tree, 简称AST)来分析Java方法的结构和语义信息, 随后将AST转换成序列.为了更好地表示AST内的结构信息, 且确保转换后的序列没有歧义, 他们提出一种新的AST遍历方法SBT(structure-based traversal).SBT将节点包含的子树包含在一对括号内.借助括号可以有效地表示出AST的结构, 并且可以无歧义地将转换后的序列恢复成转换前对应的AST.除此之外, 为了进一步解决OOV问题, 他们提出一种表示未知词素的新方法.在他们分析的AST转换后的序列中包含3类节点: 终端节点、非终端节点和括号.其中, 未知词素隶属于终端节点, 因此, 该方法使用未知词素的类型来代替之前使用的通用词素值⟨UNK⟩.随后, 他们基于DeepCom方法[57], 进一步提出Hybrid-DeepCom方法, 该方法主要进行了3方面的改进, 首先综合使用了代码信息和AST转换后的序列信息, 其次基于驼峰命名规范, 通过将标识符进一步细分为多个单词来缓解OOV问题.最后, 该方法使用束搜索来生成代码注释.Kang等人[58]在Hu等人[13]研究工作的基础上, 分析了使用预训练的词嵌入是否能够提升模型的性能.他们发现, 使用基于code2vec[47]或GloVe[59]的预训练的词嵌入并不一定能提升性能.
LeClair等人[60]提出了ast-attendgru方法, 该方法考虑了两类代码信息: 基于单词的表示(即将代码简单视为文本)和基于AST的表示.他们考虑的模型包括两个单向的GRU层: 其中一层用于处理代码中的单词, 另一层用于处理AST.随后, 借助注意力机制来识别出这两层中的重要单词.之后, 合并基于注意力机制输出的向量, 以创建上下文向量.最后, 基于该上下文向量生成代码注释.
Ahmad等人[61]利用Transformer模型来生成代码注释.Transformer模型是一种基于多头自注意力的序列到序列模型, 它可以有效地捕获长程依赖(long-range dependencies).
已有的针对代码变更生成提交消息的方法[21, 29]在生成的提交消息内仅包含代码变更的内容和变更位置, 并且生成的提交消息较为冗长, 除此之外, 这些方法对代码变更的提交原因关注得较少, 而这一类信息可以通过分析已有的代码变更来获取.
Loyola等人[62]首先初步证实了这种类型方法的可行性.Jiang等人[46, 63]针对代码变更来生成提交消息, 他们将该问题视为NMT问题, 其编码器和解码器均基于RNN.除此之外, 他们还实现了质量保证过滤器, 该过滤器可以自动识别出难以生成高质量提交消息的代码变更, 并直接返回警告信息.Xu等人[64]针对已有工作忽略了代码结构信息和OOV问题, 提出了CODISUM方法.具体来说, 首先, 他们从代码变更中抽取代码结构信息和代码语义信息.随后, 他们基于上述两类信息源进行联合建模, 以更好地学习代码变更的表示.此外, 他们使用复制机制对模型进行扩充以缓解OOV问题.Jiang等人[65]从数据集质量入手, 借助代码语义分析方法对数据集进行预处理, 结果表明, 上述预处理方法可以有效地提升已有方法[46]的性能.Liu等人[66]提出ATOM方法, 该方法基于AST对代码变更进行编码, 随后使用了一个混合排序模块, 可以用迭代的方式, 从已生成的或已检索的提交消息中选取出最为相关的提交消息.
Liu等人[15]针对Pull Request(PR)来生成代码注释.一个PR一般包含一个或多个相关代码变更.为了创建一个PR, 开发人员同样需要提供标题和描述, 描述中的内容主要包括PR的目的和这次PR包含的具体变更内容.与代码变更一样, 很多项目的PR描述经常不包含任何文本.例如, Liu等人发现在搜集的1 000个项目333 001个PR中, 超过34%的PR描述中不包含任何文本.他们的方法主要基于PR内的提交消息和新增的代码注释, 同时, 借助指针生成网络(pointer generator network)来缓解OOV问题并直接针对ROUGE指标进行优化.
4.2.2 综合使用其他类型的学习算法除了上述经典的基于编码器-解码器模型的方法, 研究人员最近也尝试综合使用其他类型的学习算法(例如图神经网络、强化学习和对偶学习等)来进一步提升性能.
一些研究人员考虑使用图神经网络.Shido等人[67]认为代码本身具有结构性, 即含有循环和条件分支等结构.但传统的Tree-LSTM难以有效处理上述结构, 因此他们提出了扩展的Tree-LSTM.LeClair等人[68]使用图神经网络(graph neural network, 简称GNN), 通过分析AST以更好地生成代码注释.具体来说, 他们方法的特点是使用graph2seq中的基于GNN的编码器来对每个函数的AST进行建模, 同时使用基于RNN的编码器对每个函数的代码序列进行建模.Liu等人[69]将多种不同的代码表示方法(例如AST、控制依赖图和程序依赖图)合并成联合代码属性图(joint code property graph).随后, 为了更好地从联合代码属性图中学习代码语义, 他们设计了基于检索的增强机制, 通过引入外部知识来增强代码语义.最后, 他们基于上述联合代码属性图和基于检索的增强机制, 设计出一种新的GNN模型, 以对代码进行编码.
一些研究人员考虑使用强化学习.Wan等人[70]提出Hybrid-DRL方法, 该方法同时考虑了混合代码表示和深度强化学习.在混合代码表示中, 他们认为基于序列的LSTM可以捕获代码内的序列内容, 而基于AST的LSTM则可以捕获代码内的结构信息, 因此综合使用这两类LSTM可以更好地表示目标代码.随后进一步使用深度强化学习框架(即actor-critic network)来解决解码时面临的曝光偏差(exposure bias)问题, 以获取更好的性能.其中, 演员网络(actor network)可以根据当前状态给出预测出的下一个单词的置信度, 可以视为局部指导.而评论者网络(critic network)可以根据当前状态的所有可能扩展对奖励价值进行评估, 可以视为全局指导.为了更加有效地训练这两个网络, 他们使用标准的有监督学习和交叉熵损失来预训练演员网络, 同时使用均方损失来预训练评论者网络.随后, 基于BLEU评测指标的优势奖励(advantage reward)和策略梯度(policy gradient)来训练这两个网络.之后, Wang等人[71]对上述方法进行了扩展.首先使用类型增强的AST序列对代码进行表示.然后, 使用分层注意力网络(hierarchical attention network)对序列进行编码.
一些研究人员借助对偶学习(dual learning), 通过利用两个任务之间的对称性, 通过互相反馈, 以进一步提升模型性能.Chen等人[72]同时关注代码检索和注释生成任务, 他们提出了一种框架BVAE, 可以允许代码和自然语言的双向映射.该方法尝试着构建两个VAEs(variational autoencoders), 其中, C-VAE主要针对代码进行建模, 而L-VAE主要针对注释中的自然语言进行建模.该方法联合训练这两个VAEs, 以学习代码和自然语言的语义向量表示.Ye等人[73]设计了简单、有效的端对端模型, 可以同时解决代码检索和代码注释生成任务.其主要引入代码生成任务, 并同时借助对偶学习和多任务学习(multi-task learning)以充分利用这些任务之间的内在联系.Wang等人[74]同样同时考虑了上述两个任务, 他们提出了基于Transformer的框架以集成上述两个任务.具体来说, 针对代码注释生成, 他们借助了演员-评论者网络.在演员网络中, 他们基于Transformer和tree-Transformer的编码器/解码器.随后基于评论者网络的反馈, 对演员网络进行迭代调优, 以不断提高生成的注释质量.最后用生成的注释进行代码检索.Wei等人[75]同时考虑了注释生成和代码生成问题, 认为这两个任务之间具有一定的相关性.他们提出了一种基于对偶学习的方法, 通过利用这两个任务间的对偶性来同时训练模型.他们考虑了概率和注意力权重间的对偶性, 并设计了对应的正则化项以约束这种对偶性.
4.2.3 考虑其他信息来源除了上述研究工作外, 一些研究人员尝试着利用其他信息(例如API序列信息、与目标代码相似的代码段、方法的上下文信息等)来进一步提升生成的注释质量.
开发人员经常会通过调用特定的API序列来实现某个功能.例如, 使用Java编程语言实现打开文件这一功能, 就会使用固定的API序列.因此, 与可能基于不同编码规范实现的代码相比, 代码内的API序列会更为有规可循.基于上述观察, Hu等人[76]提出了TL-CodeSum方法, 该方法首先完成API序列总结任务, 通过该任务可以构建出API知识与实现的功能描述间的映射.随后将该知识应用于代码的注释生成.
Zhang等人[77]尝试着将基于深度学习和基于信息检索这两类方法进行了融合.具体地, 他们提出了Rencos方法, 该方法首先基于训练语料库训练出编码器-解码器模型.随后从语法(即将代码解析为AST, 并计算AST之间的相似度)和语义(即使用预训练的编码器, 将代码编码为语义向量, 并计算语义向量之间的相似度)两个角度, 从训练语料库中选出与目标代码段最为相似的两个代码段.最后对输入代码段和检索出的两个相似代码段进行编码, 并在解码生成注释时综合利用了这3个代码段的信息.
Liu等人[78]基于需要生成注释的代码和相关代码的调用依赖关系, 提出了一种基于深度学习的注释生成方法.他们从代码中抽取出调用依赖关系, 并将其转换成方法名的token序列, 并通过综合利用代码和调用依赖关系, 基于seq2seq模型来生成代码注释.Zhou等人[79]提出了ContextCC方法, 首先使用程序分析方法, 通过解析AST来抽取上下文信息(即方法和相关的依赖关系), 接着通过预先定义的模板和规则, 从上下文信息中过滤掉无关内容, 最后基于RNN来生成代码注释.Haque等人[80]尝试着利用代码上下文信息来生成注释.他们提出文件上下文(即处在同一个文件内的其他函数)的概念, 所提方法在编码器时考虑了3类输入(即代码文本、AST和文件上下文包含的其他函数).实验结果表明, 使用文件的上下文信息有助于进一步提升生成的代码注释的质量.
4.3 已有工作的对比和评点我们通过表 4对所有基于深度学习的方法进行全面的对比, 包括代码模块粒度、编程语言、方法类型和主要特征.不难看出, 基于深度学习的方法是当前该研究领域内最为流行的一类方法.早期的研究一般基于传统的编码器-解码器模型.主要区别是如何对代码进行编码, 因为代码与自然语言相比, 具有一定的结构性.目前常见的编码方式包括: 将源代码直接转化成序列、将源代码建模为AST、借助SBT方法将AST转换成序列、直接基于AST等方式.其次, 研究人员在经典方法的基础上, 考虑进一步融合其他学习方法, 例如图神经网络、强化学习和对偶学习等.除此之外, 除了源代码信息, 更多研究人员考虑利用其他信息来提高注释生成的质量, 例如考虑API序列信息、代码的上下文信息等.由于这类方法主要基于深度学习, 因此这类方法的性能同样离不开高质量且规模大的语料库.
5 代码注释语料库分析
早期的研究基本上都是从Github里选择流行的开源项目, 并借助用户研究(human study)方式对所提方法的有效性进行评估, 因此实验规模较小, 并以案例分析为主.随后, 研究人员逐渐共享出他们整理的语料库, 并吸引了更多研究人员针对该研究问题展开深入的研究.不难看出, 这些语料库是当前基于深度学习的方法能够生成高质量代码注释的一个重要前提.本文对目前代码注释自动生成研究已共享的主流语料库进行了总结, 具体见表 5, 包括相关文献、编程语言、模块粒度、共享网址和累计使用次数.接着, 我们将简要介绍表 4中的部分经典语料库.
Iyer等人[10]首次基于Stack Overflow搜集了语料库并进行了共享.他们使用C#标签来过滤与C#相关的帖子, 使用sql、database和oracle标签来过滤与SQL相关的帖子.在Stack Overflow中, 每个帖子均包含标题、具体的问题和相关的回答(有时会将其中一个回答标记为已接受的回答).他们只提取了在已接受回答中仅含有一段代码(即处于code标签内)的帖子.基于这些帖子的标题和相关代码构建语料库.随后借助一种半监督分类方法来进行数据清理, 移除掉标题与代码不相关的数据.最终在他们共享的语料库内, 共包含66 015对基于C#的代码-注释对和32 337对基于SQL的代码-注释对.
随后, Hu等人共享了两个高质量语料库.(1) 在文献[76]中, Hu等人构造了两个语料库.一个用于API序列总结, 另一个用于代码注释生成.这两个语料库均搜集自Github.API序列总结语料库包含了介于2009年~2014年之间的Java项目, 并用于学习API知识.代码注释生成语料库考虑的项目来自2015年~2017年.为了确保项目的质量, 他们仅选择了star数超过20的项目.最终, 第1个语料库内共含有340 922对⟨API序列, 注释⟩, 第2个语料库内共含有69 708对⟨API序列, 代码, 注释⟩.(2) 在文献[13]中, Hu等人使用Eclipse JDT compiler将Java方法内的代码解析成AST, 并从中抽取出JavaDoc注释.他们将不含有JavaDoc的方法移除掉.对于每一种方法, 他们将出现在JavaDoc中的第1个句子作为该方法的注释, 因为一般来说, JavaDoc的第1个句子主要用于描述方法的功能.除此之外, 他们也未考虑setter方法、getter方法、构造方法和基于JUnit的测试方法, 因为这些类型的方法比较容易生成注释.最终他们搜集了588 108对⟨Java方法、注释⟩.在数据集划分时, 他们选择80%的数据作为训练集, 10%的数据作为验证集, 剩余10%的数据作为测试集.在所搜集的语料库内, 代码和注释平均包含的词素数分别是99.94和8.86.同时, 他们也发现95%的代码注释含有的词素数不超过50, 90%的方法含有的词素数不超过200.在训练时, 他们使用通用词素⟨NUM⟩和⟨STR⟩分别代替numerals和strings; 使用特殊符号⟨PAD⟩来对短序列进行填充, 长序列被统一限制在400个词素.在模型训练的解码阶段, 他们增加了特殊词素⟨START⟩和⟨EOS⟩.其中, ⟨START⟩表示编码序列的开始, 而⟨EOS⟩表示编码序列的结束.注释的最大长度被限制到30.同时, AST序列和注释的词汇表规模都被设置为30 000.在AST序列中没有⟨UNK⟩词素, 但对注释中出现的OOV词素, 他们统一将其替换成⟨UNK⟩词素.
Barone等人[81]共享的语料库, 主要搜集来自开源项目托管网站Github的项目, 他们重点关注的是Python编程语言.该语料库共包含了108 726个代码-注释对, 其中, 代码和注释的词汇表规模分别为50 400和31 350.为了进行交叉验证, 他们使用了60%的数据作为训练集, 20%的数据作为验证集, 剩余20%的数据作为测试集.
Jiang等人[46]通过从Github中排名前1 000的项目内搜集代码变更与对应的提交信息来构建语料库.首先, 他们从提交消息中抽取第1个句子作为目标序列, 因为一般来说, 第1个句子是提交消息的总结.之后, 将代码变更和提交消息中的commit id和issue id移除掉, 因为这些ID取值不但没有实际意义, 还会扩大词汇表规模.接着, 他们移除了merge类型和rollback类型的代码变更, 因为这两类代码变更涉及的代码修改量较大, 并且过长的序列也是基于深度学习的方法难以处理的.同样, 他们也移除了规模超过1M的代码变更.然后, 他们将代码变更序列和注释序列长度超过100和30的相关数据移除掉, 并使用V-DO(verb-direct object)过滤器来进一步移除低质量的代码变更.
不难看出, 目前文献[13, 46, 81]共享的语料库是当前代码注释自动生成问题研究中使用次数较多的3个语料库.但是通过分析已共享的代码注释自动生成语料库, 不难发现, 大部分语料库都是基于Java和Python来构建的, 基于这类编程语言的注释通常具有公认的文档标准, 例如一般注释摘要位于注释的头部.而基于其他编程语言(例如C或C++)的代码注释, 通常结构性较差, 因此从这些无结构的代码注释中提取注释摘要具有一定的研究挑战性.Eberhart等人[84]提出一种基于众包的注释摘要提取方法.首先, 他们雇佣了经验丰富的开发人员从1 000个针对C的代码注释中抽取出注释摘要.随后, 基于Amazon Mechanical Turk众包平台从120 000个针对C的代码注释中抽取出注释摘要.这些注释摘要的质量稍差, 但数量更多且搜集代价较低.之后, 受自然语言处理领域中关键短语检测的启发, 他们提出了一种自动化方法, 该方法基于来自众包平台的标记来训练模型, 并利用来自经验丰富的开发人员的标记来评估模型的性能.最终实验结果表明, 他们提出的自动方法可以取得较好的性能.
6 代码注释生成质量的评估方法精确评估生成的代码注释质量仍然是一个开放性问题.相对于文本分类和机器翻译等自然语言处理的应用, 代码注释质量的评估更具研究挑战性, 从理论上来讲, 并不存在完美的代码注释.针对同一段代码, 不同开发人员可能会写出不同的代码注释, 并且这些代码注释之间可能会存在较大的差异性.在已有的研究工作中, 主要考虑了两种评估方式.第1种评估方式是雇用有经验的开发人员进行人工评估, 这是论文分析的3类方法均会使用的评估方式.第2种评估方式是使用来自机器翻译领域的评测指标来辅助评估, 这是第3类方法经常使用的评估方式.
6.1 人工评估的方法好的代码注释需要满足如下特征[85, 86]: (1) 准确性.从代码注释包含的内容来看, 代码注释应能正确体现代码的实现目的和主要功能.(2) 流畅性.由于代码注释是基于自然语言来描述的, 因此需要没有语法错误, 书写流畅, 以方便开发人员的阅读和理解.(3) 一致性.代码注释应遵守标准的样式/格式, 以方便代码阅读.在已有的人工评估方法中, 研究人员基本上围绕这些特征加以展开.
在人工评估时, 研究人员一般会邀请经验丰富的开发人员(通常要求具有至少5年的编程经验)或计算机专业的硕士研究生或博士研究生来阅读自动生成的代码注释, 并从给定的维度来进行打分, 每一项得分通常被设置为从1~5, 其中, 1表示最差, 5表示最好.除此之外, 也有研究人员将得分设置为从1~3或从1~4.但在人工评估的过程中, 不同开发人员之间的打分会存在较大的差异, 一些开发人员认为质量很好的代码注释, 可能在另一个开发人员眼里被认为质量不好, 这与参与人员的编程经验、对项目所处领域的熟悉程度、人员个性、认真态度等均有关.因此, 如何克服评分专家之间的主观差异性成为研究人员关注的焦点.例如, 可以考虑金字塔方法(pyramid method)[87]来缓解这种主观性.除此之外, 虽然人工评估方法的代价较高, 但在当前的研究工作中, 这种评估方法仍不可或缺.
6.2 自动评估的方法这些评测指标主要来自机器翻译和文本总结等研究领域, 可以评估候选文本(即基于代码注释自动方法而生成)和参考文本(即基于手工方式而生成)的相似度.
(1) BLEU指标[88]: 其全称是bilingual evaluation understudy.该指标是最早用于评估机器翻译的评测指标.用于比较候选文本和参考文本里n元词组(n-gram)的重合程度.其中, BLEU-1/2/3/4分别对应一元词组、二元词组、三元词组和四元词组的重合程度.其中, BLEU-1可以用于衡量单词翻译的准确性, 而随着n的取值增大, BLEU指标则可以进一步衡量文本的流畅性.不难看出, BLEU指标的取值越高, 即n元词组的重合程度越高, 则认为候选文本的质量也越高.
但BLEU指标更偏重查准率, 而忽略了查全率(即参考文本中未在候选文本中出现的n元词组).虽然可以通过引入长度惩罚因子(brevity penalty)来惩罚候选文本过短的问题, 但从整体上来看, BLEU评测指标更偏向于较短的候选文本.
(2) METEOR指标[89]: 其全称是metric for evaluation of translation with explicit ordering.其使用WordNet等知识源来扩充同义词集, 同时考虑了单词的词形.在评价句子流畅度时, 使用了chunk(即候选文本和参考文本能够对齐的, 并且空间排列上连续的单词形成一个chunk)的概念, chunk的数目越少, 意味着每个chunk的平均长度越长, 即候选文本和参考文本的语序越一致.
(3) ROUGE指标[90]: 其全称是recall-oriented understudy for gisting evaluation.与BLEU指标相似, 但BLEU指标面向的是查准率, 而ROGUE指标面向的是查全率.该指标在文本摘要研究中被经常使用, 又可以细分为ROUGE-N和ROUGE-L.其中, ROUGE-N指标以n元词组为基本单元, 计算两个句子之间n元词组的重合率.而ROUGE-L指标与ROUGE-N指标相似, 但是针对的是最长公共子序列(longest common subsequence)的重合率.
(4) CIDER指标[91]: 其全称是consensus-based image description evaluation.一般用于图像字幕生成问题.该评测指标可以认为是BLEU指标和向量空间模型的集合.其将每个句子视为文档, 然后计算出n元词组的tf-idf值, 通过余弦夹角计算出候选文本和参考文本之间的相似度.最后, 基于不同长度的n元词组计算出平均取值, 并作为最终结果.
不难看出, BLEU、METOR和ROUGE指标的取值范围介于0~1之间, 并经常以百分比的形式给出.而CIDER指标对的取值范围并不在0~1之间, 因此经常以实数的形式给出.
我们按照不同年份, 将上述评测指标在基于深度学习的方法中的使用情况进行了统计, 最终如图 4所示.
不难看出, 在2016年和2017年, 研究人员主要使用BLEU和METOR指标.但从2018年开始, 研究人员逐渐开始使用ROUGE和CIDER指标.除此之外, 我们还发现基本上所有的基于深度学习的方法均使用了BLEU评测指标, 近些年来, 研究人员更倾向于同时使用BLEU、METOR和ROUGE指标.
在最近的一个研究工作中, Stapleton等人[6]通过调研高校学生和经验丰富的开发人员后, 发现与自动生成代码注释相比, 人工编写的代码注释可以更好地协助开发人员进行代码理解.同时, 基于BLUE和ROGUE的评分与代码理解并不存在相关性, 即开发人员在代码理解时, 并不一定能从评分较高的代码注释中受益.因此, 在后续研究中, 需要设计更为有效的评测指标来评估生成的代码注释的质量.
7 总结与展望高质量的代码注释有助于减少开发人员花费在程序理解上的代价.但开发人员由于项目开发时间紧、编程经验不足或者对代码注释的重视程度不够, 经常会造成代码注释的缺失、不足或者与代码实际内容不匹配等问题.因此, 代码注释自动生成是缓解上述问题的一种有效手段, 也是当前程序理解研究领域的一个重要应用场景.同时, 针对该问题的研究具有丰富的理论研究价值和工业应用前景, 目前, 该问题在程序理解领域仍是一个开放性研究问题.本文针对该主题进行了系统的综述, 以方便研究人员更好地了解这一主题的最新研究进展.具体来说, 首先将已有方法细分为3类: 基于模板的方法、基于信息检索的方法和基于深度学习的方法.对每一类方法均深入分析了方法的核心思想并对经典工作进行了深入的评点.随后对常用的语料库和代码注释生成质量评估方法进行了总结, 以方便研究人员对后续提出的新方法进行更加全面和合理的评估.虽然研究人员针对代码注释自动问题已经取得了一系列高质量的研究成果, 但该问题仍有很多研究点值得研究人员进一步关注.
(1) 搭建统一的实验平台以集成更多的语料库、评测指标和基准方法等.通过第5节的分析, 我们发现虽然研究人员陆续共享了多个代码注释语料库, 其中一些语料库[13, 46, 81]被使用的次数也较多, 但目前还没有一个大家都普遍认可的统一语料库.通过对已有研究工作的分析我们发现, 本文实证研究中的语料库选择与研究人员所在的研究小组密不可分, 因此会对已有研究结论的一般性产生重要的影响.在后续研究工作中, 亟需搭建一个统一的实验平台, 以支持基于更多编程语言的语料库.同时需要进一步提出有效的方法识别出语料库内的噪音, 也进一步提高语料库的质量.除此之外, 希望基于该实验平台, 使用统一的深度学习框架来实现已有的经典方法和目前主流的评测指标, 从而避免不同的深度学习框架由于编程细节的不同对实证研究结论有效性的影响.不难看出, 基于该实验平台, 有助于将研究人员新提出的方法与已有经典基准方法进行更公平和全面的评估.
(2) 从挖掘众包知识网站、分析相关软件制品和学习优秀注释风格等角度, 进一步地提升生成的代码注释质量.进一步提升生成的代码注释质量仍然是该综述主题的一个重要研究点, 首先, 一方面需要充分利用来自Stack Overflow和Github平台上的众包知识, 以进一步提升注释的生成质量.具体来说, 在生成代码注释时, 不仅要深入分析代码的文本内容和结构信息, 还要额外搜索Github和Stack Overflow等平台, 以有效地搜索出与目标代码相关的众包知识.通过有效利用这些众包知识, 进一步地提升生成的代码注释的质量.另一方面, 也可以充分利用项目内的相关知识.为了更好地捕获与项目相关的信息, 可以在训练模型和生成注释时, 考虑项目软件仓库内的其他类型文档.例如, 如果一个新的代码变更是为了修复缺陷, 则可以去查找这次变更对应的缺陷报告以获取缺陷的具体信息.其次, 本文总结的3种类型方法各有自己的优点和不足.虽然当前基于深度学习的方法是主流的研究方式, 但我们仍然可以通过融合其他两种类型的方法来进一步提升生成的代码注释质量.例如: Zhang等人[77]在融合了基于深度学习的生成方法和基于信息检索的生成方法上进行了初步尝试, 并取得了较好的效果.接着, 在已有的生成的代码注释的基础上, 我们还可以进一步尝试优秀代码注释风格的学习.一般来说, Google共享的相关项目的代码注释质量比较高, 因此可以使用深度学习, 基于这些项目来学习出优秀代码注释的风格, 随后将该风格应用到已有方法生成的代码注释上, 以进一步提升注释的质量.最后可以考虑面向特定领域的项目的代码注释生成, 因为特定领域会有特定的术语, 因此可以为这个领域构建一个知识图谱, 并将知识图谱内的知识融合到模型的训练过程中.
(3) 针对其他软件制品来生成注释.该综述重点分析了传统代码(例如Java、Python等)的注释自动生成问题, 但在当前软件开发和维护过程中, 除了传统软件代码外, 开发人员还会创建其他类型的软件制品.结合这些软件制品特征来生成对应的高质量注释, 同样具有研究意义并存在一定的研究挑战性.虽然研究人员在这个方向上进行了一些探索.例如, Kamimura等人[92]和Li等人[93]针对单元测试用例生成代码注释.Moreno等人[94]提出ARENA方法, 可以针对新部署的软件产品自动生成发行说明(release note).发行说明一般包含在软件发行包内, 其重点描述与上一版本相比, 当前版本增加的功能、修复的缺陷、对发布项目相关许可证的修改等.Gao等人[95]针对App的评论, 尝试着自动生成针对该评论的回应.但不难看出, 针对上述软件制品的研究工作仍然较少, 并有很多值得进一步关注的研究点.以单元测试用例这一软件制品为例, 在生成代码注释时, 除了需要考虑测试用例代码本身的信息外, 还需要额外考虑该测试用例覆盖的具体代码信息.除此之外, 深度学习系统和智能合约是当前软件工程研究领域关注较多的两类软件制品, 如何针对这两类软件制品自动地生成高质量的注释是未来值得关注的研究问题.
(4) 辅助其他软件工程任务.除了分析代码生成对应的注释外, 我们还可以利用已有的研究成果辅助其他软件工程任务.例如: 通过分析方法或者类内的代码来生成方法名或者类名.Allamanis等人[96]借助神经概率语言模型尝试着生成方法名或者类名.Jiang等人[97]对基于机器学习的方法code2vec[47]进行了深入分析, 给出了这类方法可以取得较好/较差结果的场景.基于上述观察, 他们提出了一种简单的启发式方法HeMa, 该方法可以自动推荐方法名, 实证研究结果表明, 该方法的性能要优于code2vec.除此之外, 通过分析代码还可以额外生成伪代码.Oda等人[98]同样基于神经机器翻译的框架, 通过分析代码可以自动生成基于日语或英语的伪代码.除了上述方法名/类名的自动生成和伪代码的自动生成问题外, 在后续工作中, 通过为各个程序模块生成高质量的代码注释, 还可以尝试着提高代码搜索和基于信息检索的缺陷定位方法的效率.具体来说, 针对代码搜索问题, 可以针对基于自然语言描述的查询语句, 通过与注释进行相似度计算, 搜索到更为相关的程序模块.针对基于信息检索的缺陷定位问题, 根据缺陷报告的描述信息, 通过与被测项目内程序模块的注释进行相似度计算, 以迅速定位到与该缺陷报告描述相关的程序模块上.
(5) 注释自动生成插件的开发和代码注释的自动补全.研究人员在后续研究中需要针对主流的集成开发环境, 开发相关的注释自动生成插件, 在选定关注的代码段后, 插件可以直接生成对应的代码注释, 以方便开发人员后续对代码注释作进一步的完善.除此之外, 已有研究结果表明, 直接生成高质量的代码注释比较困难, 一种可行的方法是在用户编写代码注释时, 自动给出注释补全建议.该解决方案的好处是, 一方面可以减少编写代码注释的代价, 另一方面也可以协助开发人员写出更多的代码注释.Movshovitz-Attias等人[99]首次针对Java代码, 基于主题模型和n元模型进行了尝试, 他们发现使用注释自动补全方法可以节省47%的注释输入量.Ciurumelea等人[100]尝试着针对Python代码, 借助神经语言模型对Python的文档字符串(docstring)进行补全.在后续研究工作中, 一方面需要继续搜集更多高质量的训练语料库, 另一方面需要引入代码补全(code completion)领域的最新研究成果, 以进一步提高代码注释的自动补全能力.
(6) 自动化的评估方法.通过分析已有工作, 我们发现大部分工作在注释质量评估时, 都考虑了手工评估的方法.但这种评估方法较为主观, 与参与评估人员的编程经验和对项目所在领域知识的了解密切相关.在基于深度学习的生成方法中, 大部分研究人员直接使用机器翻译领域中的评价指标.但代码注释生成问题与机器翻译问题仍存在一定的区别.首先, 代码注释与代码本身并不完全对应, 代码注释含有的单词通常要显著少于代码含有的单词.其次, 目前语料库中代码对应的注释质量并不乐观, 因此基于语料库中注释计算出的评测指标值, 并不一定能够真实地反映出代码注释的质量, 会对不同方法间的性能比较结论的有效性产生影响, 因此如何寻找更加客观评估代码注释质量的评测指标仍是一个开放问题, 也是现有研究成果应用到实际开发过程中的一个重要阻碍.
我们希望针对上述挑战提出有效的解决方案, 可以使得开发人员在代码注释的编写上节约大量的时间, 同时自动生成的高质量的注释也可以为项目的后续维护提供重要的保障.
致谢 感谢各位审稿专家提出的宝贵意见.
[1] |
Xia X, Bao L, Lo D, Xing Z, Hassan AE, Li S. Measuring program comprehension: A large-scale field study with professionals. IEEE Trans. on Software Engineering, 2018, 44(10): 951-976.
http://ieeexplore.ieee.org/document/8453126 |
[2] |
He H. Understanding source code comments at large-scale. In: Proc. of the 27th ACM Joint Meeting on European Software Engineering Conf. and Symp. on the Foundations of Software Engineering. 2019. 1217-1219.
|
[3] |
Kramer D. API documentation from source code comments: A case study of Javadoc. In: Proc. of the 17th Annual Int'l Conf. on Computer Documentation. 1999. 147-153.
|
[4] |
Fluri B, Wursch M, Gall HC. Do code and comments co-evolve? On the relation between source code and comment changes. In: Proc. of the 14th Working Conf. on Reverse Engineering. 2007. 70-79.
|
[5] |
Jin Z, Liu F, Li G. Program comprehension: Present and future. Ruan Jian Xue Bao/Journal of Software, 2019, 30(1): 110-126(in Chinese with English abstract).
http://www.jos.org.cn/1000-9825/5643.htm [doi:10.13328/ki.jos.005643] |
[6] |
Stapleton S, Gambhir Y, LeClair A, Eberhart Z, Weimer W, Leach K, Huang Y. A human study of comprehension and code summarization. In: Proc. of the Int'l Conf. on Program Comprehension. 2020. 2-13.
|
[7] |
Haiduc S, Aponte J, Moreno L, Marcus A. On the use of automated text summarization techniques for summarizing source code. In: Proc. of the 17th Working Conf. on Reverse Engineering. 2010. 35-44.
|
[8] |
Haiduc S, Aponte J, Marcus A. Supporting program comprehension with source code summarization. In: Proc. of the 32nd ACM/IEEE Int'l Conf. on Software Engineering. 2010. 223-226.
|
[9] |
Liu F, Li G, Hu X, Jin Z. Program comprehension based on deep learning. Journal of Computer Research and Development, 2019, 56(8): 1605-1620(in Chinese with English abstract).
|
[10] |
Iyer S, Konstas I, Cheung A, Zettlemoyer L. Summarizing source code using a neural attention model. In: Proc. of the 54th Annual Meeting of the Association for Computational Linguistics. 2016. 2073-2083.
|
[11] |
Rodeghero P, McMillan C, McBurney PW, Bosch N, D'Mello S. Improving automated source code summarization via an eye-tracking study of programmers. In: Proc. of the 36th Int'l Conf. on Software Engineering. 2014. 390-401.
|
[12] |
McBurney PW, McMillan C. Automatic documentation generation via source code summarization of method context. In: Proc. of the 22nd Int'l Conf. on Program Comprehension. 2014. 279-290.
|
[13] |
Hu X, Li G, Xia X, Lo D, Jin Z. Deep code comment generation. In: Proc. of the 26th IEEE/ACM Int'l Conf. on Program Comprehension. 2018. 200-210.
|
[14] |
Liu Z, Xia X, Hassan AE, Lo D, Xing Z, Wang X. Neural-machine-translation-based commit message generation: How far are we? In: Proc. of the 33rd ACM/IEEE Int'l Conf. on Automated Software Engineering. 2018. 373-384.
|
[15] |
Liu Z, Xia X, Treude C, Lo D, Li S. Automatic generation of pull request descriptions. In: Proc. of the 34th IEEE/ACM Int'l Conf. on Automated Software Engineering. 2019. 176-188.
|
[16] |
Nazar N, Hu Y, Jiang H. Summarizing software artifacts: A literature review. Journal of Computer Science and Technology, 2016, 31(5): 883-909.
[doi:10.1007/s11390-016-1671-1] |
[17] |
Song X, Sun H, Wang X, Yan J. A survey of automatic generation of source code comments: Algorithms and techniques. IEEE Access, 2019, 7: 111411-111428.
|
[18] |
Hill E, Pollock L, Vijay-Shanker K. Automatically capturing source code context of NL-queries for software maintenance and reuse. In: Proc. of the 31st IEEE Int'l Conf. on Software Engineering. 2009. 232-242.
|
[19] |
Sridhara G, Hill E., Muppaneni D, Pollock L, Vijay-Shanker K. Towards automatically generating summary comments for Java methods. In: Proc. of the IEEE/ACM Int'l Conf. on Automated Software Engineering, 2010. 43-52
|
[20] |
Sridhara G, Pollock L, Vijay-Shanker K. Generating parameter comments and integrating with method summaries. In: Proc. of the 19th IEEE Int'l Conf. on Program Comprehension. 2011. 71-80.
|
[21] |
Sridhara G, Pollock L, Vijay-Shanker K. Automatically detecting and describing high level actions within methods. In: Proc. of the 33rd Int'l Conf. on Software Engineering. 2011. 101-110.
|
[22] |
Wang X, Pollock L, Vijay-Shanker K. Automatically generating natural language descriptions for object-related statement sequences. In: Proc. of the 24th IEEE Int'l Conf. on Software Analysis, Evolution and Reengineering. 2017. 205-216.
|
[23] |
McBurney PW, McMillan C. Automatic source code summarization of context for Java methods. IEEE Trans. on Software Engineering, 2015, 42(2): 103-109.
http://doi.ieeecomputersociety.org/10.1109/TSE.2015.2465386 |
[24] |
Moreno L, Aponte J, Sridhara G, Marcus A, Pollock L, Vijay-Shanker K. Automatic generation of natural language summaries for Java classes. In: Proc. of the 21st Int'l Conf. on Program Comprehension. 2013. 23-32.
|
[25] |
Abid NJ, Dragan N, Collard ML, Maletic JI. Using stereotypes in the automatic generation of natural language summaries for C++ methods. In: Proc. of the 2015 IEEE Int'l Conf. on Software Maintenance and Evolution. 2015. 561-565.
|
[26] |
Maalej W, Happel HJ. Can development work describe itself? In: Proc. of the 7th IEEE Working Conf. on Mining Software Repositories. 2010. 191-200.
|
[27] |
Dyer R, Nguyen HA, Rajan H, Nguyen TN. BOA: A language and infrastructure for analyzing ultra-large-scale software repositories. In: Proc. of the 35th Int'l Conf. on Software Engineering. 2013. 422-431.
|
[28] |
Buse RP, Weimer WR. Automatically documenting program changes. In: Proc. of the IEEE/ACM Int'l Conf. on Automated Software Engineering. 2010. 33-42.
|
[29] |
Cortés-Coy LF, Linares-Vásquez M, Aponte J, Poshyvanyk D. On automatically generating commit messages via summarization of source code changes. In: Proc. of the 14th IEEE Int'l Working Conf. on Source Code Analysis and Manipulation. 2014. 275-284.
|
[30] |
Shen J, Sun X, Li B, Yang H, Hu J. On automatic summarization of what and why information in source code changes. In: Proc. of the 40th IEEE Annual Computer Software and Applications Conf. 2016. 103-112.
|
[31] |
Rai S, Gaikwad T, Jain S, Gupta A. Method level text summarization for Java code using nano-patterns. In: Proc. of the 24th Asia-Pacific Software Engineering Conf. 2017. 199-208.
|
[32] |
Malhotra M, Chhabra JK. Class level code summarization based on dependencies and micro patterns. In: Proc. of the 2nd Int'l Conf. on Inventive Communication and Computational Technologies. 2018. 1011-1016.
|
[33] |
Nazar N, Jiang H, Gao G, Zhang T, Li X, Ren Z. Source code fragment summarization with small-scale crowdsourcing based features. Frontiers of Computer Science, 2016, 10(3): 504-517.
http://d.wanfangdata.com.cn/Periodical/zggdxxxswz-jsjkx201603009 |
[34] |
Rastkar S, Murphy GC. Why did this code change? In: Proc. of the 35th Int'l Conf. on Software Engineering. 2013. 1193-1196.
|
[35] |
Eddy BP, Robinson JA, Kraft NA, Carver JC. Evaluating source code summarization techniques: Replication and expansion. In: Proc. of the 21st Int'l Conf. on Program Comprehension. 2011. 13-22.
|
[36] |
McBurney PW, Liu C, McMillan C, Weninger T. Improving topic model source code summarization. In: Proc. of the 22nd Int'l Conf. on Program Comprehension. 2014. 291-294.
|
[37] |
Rodeghero P, Liu C, McBurney PW, McMillan C. An eye-tracking study of Java programmers and application to source code summarization. IEEE Trans. on Software Engineering, 2015, 41(11): 1038-1054.
http://smartsearch.nstl.gov.cn/paper_detail.html?id=2863b4dc507f3f24bd251699dc9a4024 |
[38] |
Fowkes J, Chanthirasegaran P, Ranca R, Allamanis M, Lapata M, Sutton C. Autofolding for source code summarization. IEEE Trans. on Software Engineering, 2017, 43(12): 1095-1109.
http://ieeexplore.ieee.org/document/7843666/citations |
[39] |
Panichella S, Aponte J, Di Penta M, Marcus A, Canfora G. Mining source code descriptions from developer communications. In: Proc. of the 20th IEEE Int'l Conf. on Program Comprehension. 2012. 63-72.
|
[40] |
Rahman MM, Roy CK, Keivanloo I. Recommending insightful comments for source code using crowdsourced knowledge. In: Proc. of the 15th IEEE Int'l Working Conf. on Source Code Analysis and Manipulation. 2015. 81-90.
|
[41] |
Wong E, Yang J, Tan L. Autocomment: Mining question and answer sites for automatic comment generation. In: Proc. of the 28th IEEE/ACM Int'l Conf. on Automated Software Engineering. 2013. 562-567.
|
[42] |
Vassallo C, Panichella S, Di Penta M, Canfora G. Codes: Mining source code descriptions from developers discussions. In: Proc. of the 22nd Int'l Conf. on Program Comprehension. 2014. 106-109.
|
[43] |
Wong E, Liu T, Tan L. Clocom: Mining existing source code for automatic comment generation. In: Proc. of the 22nd IEEE Int'l Conf. on Software Analysis, Evolution, and Reengineering. 2015. 380-389.
|
[44] |
Badihi S, Heydarnoori A. Crowdsummarizer: Automated generation of code summaries for Java programs through crowdsourcing. IEEE Software, 2017, 34(2): 71-80.
http://dl.acm.org/doi/10.1109/MS.2017.45 |
[45] |
Huang Y, Zheng Q, Chen X, Xiong Y, Liu Z, Luo X. Mining version control system for automatically generating commit comment. In: Proc. of the 2017 ACM/IEEE Int'l Symp. on Empirical Software Engineering and Measurement. 2017. 414-423.
|
[46] |
Jiang S, Armaly A, McMillan C. Automatically generating commit messages from diffs using neural machine translation. In: Proc. of the 32nd IEEE/ACM Int'l Conf. on Automated Software Engineering. 2017. 135-146.
|
[47] |
Alon U, Zilberstein M, Levy O, Yahav E. code2vec: Learning distributed representations of code. In: Proc. of the ACM on Programming Languages. 2019. 1-29.
|
[48] |
Alon U, Brody S, Levy O, Yahav E. code2seq: Generating sequences from structured representations of code. arXiv Preprint arXiv: 1808.01400, 2019.
|
[49] |
Lozoya RC, Baumann A, Sabetta A, Bezzi M. Commit2Vec: Learning distributed representations of code changes. arXiv Preprint arXiv: 1911.07605, 2019.
|
[50] |
Hoang T, Kang HJ, Lawall J, Lo D. CC2Vec: Distributed representations of code changes. arXiv Preprint arXiv: 2003.05620, 2020.
|
[51] |
Allamanis M, Barr ET, Devanbu P, Sutton C. A survey of machine learning for big code and naturalness. ACM Computing Surveys, 2018, 51(4): 1-37.
http://dl.acm.org/doi/10.1145/3212695 |
[52] |
Hindle A, Barr ET, Su Z, Gabel M, Devanbu P. On the naturalness of software. In: Proc. of the 34th Int'l Conf. on Software Engineering. 2012. 837-847.
|
[53] |
Li YC, Xiong DY, Zhang M. A survey of neural machine translation. Chinese Journal of Computers, 2018, 41(12): 2734-2755(in Chinese with English abstract).
https://www.cnki.com.cn/Article/CJFDTOTAL-JSJX201812007.htm |
[54] |
Allamanis M, Peng H, Sutton C. A convolutional attention network for extreme summarization of source code. In: Proc. of the Int'l Conf. on Machine Learning. 2016. 2091-2100.
|
[55] |
Zheng W, Zhou HY, Li M, Wu J. Code attention: Translating code to comments by exploiting domain features. arXiv Preprint arXiv: 1709.07642, 2017.
|
[56] |
Liang Y, Zhu K. Q. Automatic generation of text descriptive comments for code blocks. In: Proc. of the 32nd AAAI Conf. on Artificial Intelligence. 2018.
|
[57] |
Hu X, Li G, Xia X, Lo D, Jin Z. Deep code comment generation with hybrid lexical and syntactical information. Empirical Software Engineering, 2020, 25(3): 2179-2217.
|
[58] |
Kang HJ, Bissyandé TF, Lo D. Assessing the generalizability of code2vec token embeddings. In: Proc. of the 34th IEEE/ACM Int'l Conf. on Automated Software Engineering. 2019. 1-12.
|
[59] |
Pennington J, Socher R, Manning CD. Glove: Global vectors for word representation. In: Proc. of the 2014 Conf. on Empirical Methods in Natural Language Processing. 2014. 1532-1543.
|
[60] |
LeClair A, Jiang S, McMillan C. A neural model for generating natural language summaries of program subroutines. In: Proc. of the 41st IEEE/ACM Int'l Conf. on Software Engineering. 2019. 795-806.
|
[61] |
Ahmad WU, Chakraborty S, Ray B, Chang KW. A transformer-based approach for source code summarization. arXiv Preprint arXiv: 2005.00653, 2020.
|
[62] |
Loyola P, Marrese-Taylor E, Matsuo Y. A neural architecture for generating natural language descriptions from source code changes. arXiv Preprint arXiv: 1704.04856, 2017.
|
[63] |
Jiang S, McMillan C. Towards automatic generation of short summaries of commits. In: Proc. of the 25th IEEE/ACM Int'l Conf. on Program Comprehension. 2017. 320-323.
|
[64] |
Xu S, Yao Y, Xu F, Gu T, Tong H, Lu J. Commit message generation for source code changes. In: Proc. of the 27th Int'l Joint Conf. on Artificial Intelligence. 2019. 3975-3981.
|
[65] |
Jiang S. Boosting neural commit message generation with code semantic analysis. In: Proc. of the 34th IEEE/ACM Int'l Conf. on Automated Software Engineering. 2019. 1280-1282.
|
[66] |
Liu S, Gao C, Chen S, Nie LY, Liu Y. ATOM: Commit message generation based on abstract syntax tree and hybrid ranking. IEEE Trans. on Software Engineering, 2020.
http://arxiv.org/abs/1912.02972 |
[67] |
Shido Y, Kobayashi Y, Yamamoto A, Miyamoto A, Matsumura T. Automatic source code summarization with extended tree-LSTM. In: Proc. of the 2019 Int'l Joint Conf. on Neural Networks. 2019. 1-8.
|
[68] |
LeClair A, Haque S, Wu L, McMillan C. Improved code summarization via a graph neural network. In: Proc. of the Int'l Conf. on Program Comprehension. 2020.
|
[69] |
Liu S, Chen Y, Xie X, Siow JK, Liu Y. Automatic code summarization via multi-dimensional semantic fusing in GNN. arXiv Preprint arXiv: 2006.05405, 2020.
|
[70] |
Wan Y, Zhao Z, Yang M, Xu G, Ying H, Wu J, Yu PS. Improving automatic source code summarization via deep reinforcement learning. In: Proc. of the 33rd ACM/IEEE Int'l Conf. on Automated Software Engineering. 2018. 397-407.
|
[71] |
Wang W, Zhang Y, Sui Y, Wan Y, Zhao Z, W uJ, Xu G. Reinforcement-learning-guided source code summarization via hierarchical attention. IEEE Trans. on Software Engineering, 2020.
http://ieeexplore.ieee.org/document/9031440 |
[72] |
Chen Q, Zhou M. A neural framework for retrieval and summarization of source code. In: Proc. of the 33rd IEEE/ACM Int'l Conf. on Automated Software Engineering. 2018. 826-831.
|
[73] |
Ye W, Xie R, Zhang J, Hu T, Wang X, Zhang S. Leveraging code generation to improve code retrieval and summarization via dual learning. In: Proc. of the Web Conf. 2020. 2309-2319.
|
[74] |
Wang W, Zhang, Y, Zeng Z, Xu G. Trans. A transformer-based framework for unifying code summarization and code search. arXiv Preprint arXiv: 2003.03238, 2020.
|
[75] |
Wei B, Li G, Xia X, Fu Z, Jin Z. Code generation as a dual task of code summarization. In: Advances in Neural Information Processing Systems. 2019. 6563-6573.
|
[76] |
Hu X, Li G, Xia X, Lo D, Lu S, Jin Z. Summarizing source code with transferred API knowledge. In: Proc. of the 27th Int'l Joint Conf. on Artificial Intelligence. 2018. 2269-2275.
|
[77] |
Zhang J, Wang X, Zhang H, Sun H, Liu X. Retrieval-based neural source code summarization. In: Proc. of the 42nd Int'l Conf. on Software Engineering. 2020.
|
[78] |
Liu B, Wang T, Zhang X, Fan Q, Yin G, Deng J. A neural-network based code summarization approach by using source code and its call dependencies. In: Proc. of the 11th Asia-Pacific Symp. on Internetware. 2019. 1-10.
|
[79] |
Zhou Y, Yan X, Yang W, Chen T, Huang Z. Augmenting Java method comments generation with context information based on neural networks. Journal of Systems and Software, 2019, 156: 328-340.
http://www.sciencedirect.com/science/article/pii/S0164121219301529 |
[80] |
Haque S, LeClair A, Wu L, McMillan C. Improved automatic summarization of subroutines via attention to file context. In: Proc. of the 17th Int'l Conf. on Mining Software Repositories. 2020.
|
[81] |
Barone AVM, Sennrich R. A parallel corpus of Python functions and documentation strings for automated code documentation and code generation. In: Proc. of the 8th Int'l Joint Conf. on Natural Language Processing. 2017. 314-319.
|
[82] |
LeClair A, McMillan C. Recommendations for datasets for source code summarization. In: Proc. of the 2019 Conf. of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. 2019. 3931-3937.
|
[83] |
Yao Z, Weld DS, Chen WP, Sun H. Staqc: A systematically mined question-code dataset from stack overflow. In: Proc. of the 2018 World Wide Web Conf. 2018. 1693-1703.
|
[84] |
Eberhart Z, LeClair A, McMillan C. Automatically extracting subroutine summary descriptions from unstructured comments. In: Proc. of the 27th IEEE Int'l Conf. on Software Analysis, Evolution and Reengineering. 2020. 35-46.
|
[85] |
Khamis N, Witte R, Rilling J. Automatic quality assessment of source code comments: The JavadocMiner. In: Proc. of the Int'l Conf. on Application of Natural Language to Information Systems. 2010. 68-79.
|
[86] |
Steidl D, Hummel B, Juergens E. Quality analysis of source code comments. In: Proc. of the 21st Int'l Conf. on Program Comprehension. 2013. 83-92.
|
[87] |
Nenkova A, Passonneau RJ. Evaluating content selection in summarization: The Pyramid method. In: Proc. of the Human Language Technology Conf. of the North American. 2004. 145-152.
|
[88] |
Papineni K, Roukos S, Ward T, Zhu WJ. BLEU: A method for automatic evaluation of machine translation. In: Proc. of the 40th Annual Meeting of the Association for Computational Linguistics. 2002. 311-318.
|
[89] |
Banerjee S, Lavie A. METEOR: An automatic metric for MT evaluation with improved correlation with human judgments. In: Proc. of the ACL WORKSHop on Intrinsic and Extrinsic Evaluation Measures for Machine Translation and/or Summarization. 2005. 65-72.
|
[90] |
Lin CY. Rouge: A package for automatic evaluation of summaries. In: Proc. of the Text Summarization Branches Out. 2004. 74-81.
|
[91] |
Vedantam R, Lawrence Zitnick C, Parikh D. Cider: Consensus-based image description evaluation. In: Proc. of the IEEE Conf. on Computer Vision and Pattern Recognition. 2015. 4566-4575.
|
[92] |
Kamimura M, Murphy GC. Towards generating human-oriented summaries of unit test cases. In: Proc. of the 21st Int'l Conf. on Program Comprehension. 2013. 215-218.
|
[93] |
Li B, Vendome C, Linares-Vásquez M, Poshyvanyk D, Kraft NA. Automatically documenting unit test cases. In: Proc. of the 2016 IEEE Int'l Conf. on Software Testing, Verification and Validation. 2016. 341-352.
|
[94] |
Moreno L, Bavota G, Di Penta M, Oliveto R, Marcus A, Canfora G. Automatic generation of release notes. In: Proc. of the 22nd ACM SIGSOFT Int'l Symp. on Foundations of Software Engineering. 2014. 484-495.
|
[95] |
Gao C, Zeng J, Xia X, Lo D, Lyu MR, King I. Automating app review response generation. In: Proc. of the 34th IEEE/ACM Int'l Conf. on Automated Software Engineering. 2019. 163-175.
|
[96] |
Allamanis M, Barr ET, Bird C, Sutton C. Suggesting accurate method and class names. In: Proc. of the 10th Joint Meeting on Foundations of Software Engineering. 2015. 38-49.
|
[97] |
Jiang L, Liu H, Jiang H. Machine learning based recommendation of method names: How far are we. In: Proc. of the 34th IEEE/ACM Int'l Conf. on Automated Software Engineering. 2019. 602-614.
|
[98] |
Oda Y, Fudaba H, Neubig G, Hata H, Sakti S, Toda T, Nakamura S. Learning to generate pseudo-code from source code using statistical machine translation. In: Proc. of the 30th IEEE/ACM Int'l Conf. on Automated Software Engineering. 2015. 574-584.
|
[99] |
Movshovitz-Attias D, Cohen W. Natural language models for predicting programming comments. In: Proc. of the 51st Annual Meeting of the Association for Computational Linguistics. 2013. 35-40.
|
[100] |
Ciurumelea A, Proksch S, Gall HC. Suggesting comment completions for Python using neural language models. In: Proc. of the 27th IEEE Int'l Conf. on Software Analysis, Evolution and Reengineering. 2020. 456-467.
|
[5] |
金芝, 刘芳, 李戈. 程序理解: 现状与未来. 软件学报, 2019, 30(1): 110-26.
http://www.jos.org.cn/1000-9825/5643.htm [doi:10.13328/ki.jos.005643] |
[9] |
刘芳, 李戈, 胡星, 等. 基于深度学习的程序理解研究进展. 计算机研究与发展, 2019, 56(8): 1605-1620.
|
[53] |
李亚超, 熊德意, 张民. 神经机器翻译综述. 计算机学报, 2018, 41(12): 2734-2755.
https://www.cnki.com.cn/Article/CJFDTOTAL-JSJX201812007.htm |