DeepCom-GCN:融入控制流结构信息的代码注释生成模型

1

作者 钟茂生 刘会珠 +1 位作者 匡江玲 严婷 《江西师范大学学报(自然科学版)》 北大核心 2025年第1期27-36,共10页

代码注释生成是指给定一个代码片段,通过模型自动生成一段关于代码片段功能的概括性自然语言描述.不同于自然语言,程序语言具有复杂语法和强结构性.部分研究工作只利用了源代码的序列信息或抽象语法树信息,未能充分利用源代码的逻辑结... 代码注释生成是指给定一个代码片段,通过模型自动生成一段关于代码片段功能的概括性自然语言描述.不同于自然语言,程序语言具有复杂语法和强结构性.部分研究工作只利用了源代码的序列信息或抽象语法树信息,未能充分利用源代码的逻辑结构信息.针对这一问题,该文提出一种融入程序控制流结构信息的代码注释生成方法,将源代码序列和结构信息作为单独的输入进行处理,允许模型学习代码的语义和结构.在2个公开数据集上进行验证,实验结果表明:和其他基线方法相比,DeepCom-GCN在BLEU-4、METEOR和ROUGE-L指标上的性能分别提升了2.79%、1.67%和1.21%,验证了该方法的有效性. 展开更多

关键词 代码注释生成 抽象语法树 控制流图 图卷积神经网络 软件工程 程序理解 自然语言处理

在线阅读 下载PDF 职称材料

Smalltalk程序理解辅助系统BDCom-ST 被引量：2

2

作者 梅宏 吴穹 +1 位作者 袁望洪 杨芙清 《计算机学报》 EI CSCD 北大核心 2000年第8期882-886,共5页

Smalltalk语言的概念和语法结构简洁 ,程序易于理解 ,但它的某些特性 (如动态绑定、动态类型 )仍然对Smalltalk程序的理解构成障碍 .而且随着应用系统复杂性增大以及类库的增长 ,对 Smalltalk程序理解的难度也随之增大 .对此 ,作者介绍... Smalltalk语言的概念和语法结构简洁 ,程序易于理解 ,但它的某些特性 (如动态绑定、动态类型 )仍然对Smalltalk程序的理解构成障碍 .而且随着应用系统复杂性增大以及类库的增长 ,对 Smalltalk程序理解的难度也随之增大 .对此 ,作者介绍了一个 Smalltalk程序辅助理解系统 BDCom- ST,它在分析 Smalltalk程序的基础上 ,利用类型推导技术来解决动态行为的理解问题 .该系统可从源程序逆向生成 OOD文档 。 展开更多

关键词 SMALLTALK 程序理解辅助系统 BDCom-ST

在线阅读 下载PDF 职称材料

基于ε-ADP的一类离散非线性系统最优跟踪控制

3

作者 林小峰 曹怒云 宋绍剑 《广西大学学报（自然科学版）》 CAS 北大核心 2014年第2期372-377,共6页

针对实际工业常见的定点跟踪控制问题,通过数学变换,将原系统最优跟踪控制问题转化为新系统最优调节问题,以跟踪误差作为新系统的状态量,引入ε-自适应动态规划算法(ε-ADP)求解HJB方程,并以两个BP神经网络分别用于近似性能指标函数和... 针对实际工业常见的定点跟踪控制问题,通过数学变换,将原系统最优跟踪控制问题转化为新系统最优调节问题,以跟踪误差作为新系统的状态量,引入ε-自适应动态规划算法(ε-ADP)求解HJB方程,并以两个BP神经网络分别用于近似性能指标函数和最优控制,从而得到ε-最优跟踪控制。仿真实验表明,所设计的控制器可以在有限时间内将状态跟踪到目标值,并使得性能指标函数近似最优。 展开更多

关键词 ε-自适应动态规划(ε-ADP) 跟踪控制 最优控制 神经网络 ε-adaptive dynamic programMING (ε-ADP)

在线阅读 下载PDF 职称材料

基于H-等价的算法识别技术研究

4

作者 朱杰 尹青 蒋烈辉 《计算机工程与应用》 CSCD 北大核心 2007年第3期74-76,83,共4页

蕴涵在程序代码中的语义是程序语言词法和语法的抽象表达,构成了人脑思维与机器思维交互过程的中间变换。从指称语义出发,结合具体语言,用形式化的方法讨论了语义等价和H-等价(Herbrand等价)。H-等价的判定条件相对来说更容易得到满足,... 蕴涵在程序代码中的语义是程序语言词法和语法的抽象表达,构成了人脑思维与机器思维交互过程的中间变换。从指称语义出发,结合具体语言,用形式化的方法讨论了语义等价和H-等价(Herbrand等价)。H-等价的判定条件相对来说更容易得到满足,具有更广泛的可用性。结合具体算法给出了H-等价在算法识别方面的应用成果及其局限性。 展开更多

关键词 程序理解 算法识别 语义等价 计算项 H-等价

在线阅读 下载PDF 职称材料

一种基于程序理解的N-S图生成算法

5

作者 林道淼 古辉 《计算机工程》 CAS CSCD 2012年第15期286-289,共4页

程序理解是计算机自动实现程序源码分析、获得程序结构相关知识的技术,在程序理解信息提取的基础上,针对程序函数级以下结构的源码分析,运用计算机可视化技术,提出一种N S图表示程序函数的算法,运用该算法可解决图元设计、图元缩放与定... 程序理解是计算机自动实现程序源码分析、获得程序结构相关知识的技术,在程序理解信息提取的基础上,针对程序函数级以下结构的源码分析,运用计算机可视化技术,提出一种N S图表示程序函数的算法,运用该算法可解决图元设计、图元缩放与定位、图元嵌套等问题。算法运行结果表明,该算法能够快速有效地生成N S图,提高程序理解的效率。 展开更多

关键词 程序理解 可视化表示 上下文关系 控制结构 NS图

在线阅读 下载PDF 职称材料

Some Practical Issues Regarding Java Programming

6

作者 Ming-fang Wang Department of Computer Science, University of Central ArkansasConway, Arkansas 72035 wangm @ panda.cs.uca.eduWu JieShanghai Institute of Computing Tech. Shanghai, China 200040 Telephone: 62520070 《计算机工程》 CAS CSCD 北大核心 1996年第S1期106-121,共16页

Java programming language is a major . new development which involves object-oriented programming and computer networking. Here, several examples of Java programs are presented. These examples show some major features... Java programming language is a major . new development which involves object-oriented programming and computer networking. Here, several examples of Java programs are presented. These examples show some major features that Java language provides, such as multi-thread, exception handling, network application writing, and the usage of Java applets. This article also shows some ways of setting up a Java language programming environment. All these examples are correct and ready to run. 展开更多

关键词 Java programming/object- ORIENTED programming/multi - THREAD

在线阅读 下载PDF 职称材料

基于深度学习的程序合成研究进展 被引量：1

7

作者 苟倩文 董云卫 李泳民 《计算机学报》 EI CAS CSCD 北大核心 2024年第11期2594-2628,共35页

随着软件工程实践的不断深入、开源社区的蓬勃发展,基于深度学习的程序合成引起了学术界和工业界的广泛关注.基于深度学习的程序合成,即程序智能合成,旨在利用深度学习技术自动生成满足用户意图的程序.相较于传统合成方法在扩展性和实... 随着软件工程实践的不断深入、开源社区的蓬勃发展,基于深度学习的程序合成引起了学术界和工业界的广泛关注.基于深度学习的程序合成,即程序智能合成,旨在利用深度学习技术自动生成满足用户意图的程序.相较于传统合成方法在扩展性和实用性方面的局限性,程序智能合成凭借其易扩展、可学习迭代等特性,已迅速崭露头角,成为软件工程领域的研究热点之一.最近,研究学者们在程序智能合成方面取得了显著进展,如GPT-4在LeetCode网站上的表现已经可以与人类相媲美.同时,工业界也推出了多款AI编程助手,如Copilot、Comate等,旨在解决软件开发的产能瓶颈.本文从多个角度出发,包括用户意图理解、程序理解、模型训练、模型测试与评估,归纳梳理了程序智能合成的研究进展,综述了该领域近几年的研究成果.此外,本文还对可能面临的挑战进行了探讨,并展望了未来的发展趋势.本文的研究有助于研究学者们全面了解程序智能合成领域的最新研究进展,同时也有助于软件开发人员快速掌握程序智能合成的技术方案和思路,以满足工业实践的需要. 展开更多

关键词 智能软件工程 深度学习 程序合成 程序理解 用户意图理解

在线阅读 下载PDF 职称材料

程序算法识别研究综述

8

作者 张雅雯 张丽萍 +1 位作者 闫盛 魏敏 《计算机应用研究》 CSCD 北大核心 2024年第7期1940-1950,共11页

了解程序代码所描述的算法,能帮助程序员理解程序从而开展各项软件工程任务。由于人工理解程序算法要求程序员具备丰富的专业知识并且十分耗时耗力,程序算法识别任务以实现程序算法理解的自动化为主要研究目标,与人工理解相比更为高效... 了解程序代码所描述的算法,能帮助程序员理解程序从而开展各项软件工程任务。由于人工理解程序算法要求程序员具备丰富的专业知识并且十分耗时耗力,程序算法识别任务以实现程序算法理解的自动化为主要研究目标,与人工理解相比更为高效、准确。系统整理了程序算法识别领域的相关工作。首先,梳理程序算法识别等相关概念,简介基于知识表示与基于信息检索的方法;其次,将基于代码表征的方法划分为基于序列、基于树和基于图等方法展开详细阐述,并对三类方法作出小结与对比;最后,介绍程序算法识别任务的相关应用领域,分析该任务中尚存的问题并对未来的发展作出展望。 展开更多

关键词 程序算法识别 程序理解 程序代码表征

在线阅读 下载PDF 职称材料

基于程序理解的编程题自动评分方法 被引量：35

9

作者 马培军 王甜甜 苏小红 《计算机研究与发展》 EI CSCD 北大核心 2009年第7期1136-1142,共7页

针对传统的编程题自动评分方法没有考虑学生程序是怎样实现编程任务的,以及不能从程序文本的语法结构和语义角度衡量学生程序与正确答案的接近程度等问题,提出一种基于程序理解的自动评分方法.以程序理解的一般过程及基本策略为依据,结... 针对传统的编程题自动评分方法没有考虑学生程序是怎样实现编程任务的,以及不能从程序文本的语法结构和语义角度衡量学生程序与正确答案的接近程度等问题,提出一种基于程序理解的自动评分方法.以程序理解的一般过程及基本策略为依据,结合人工阅卷的思维过程,建立评分模型.评分过程可划分为3个阶段:首先将程序代码转换成系统依赖图中间表示形式;然后,对系统依赖图进行标准化转换,消除程序表达方式的多样性;最后,匹配标准化后的学生程序与模板程序系统依赖图并根据匹配结果给出评分.该方法被应用于"C语言编程题自动评分系统"中.实验结果表明:它可以根据学生程序的语法和语义衡量学生程序实现编程任务的正确程度,具有较高的准确性. 展开更多

关键词 自动评分 程序理解 程序标准化 程序匹配 语义

在线阅读 下载PDF 职称材料

程序理解 被引量：10

10

作者 李莹 张琴燕 《计算机应用研究》 CSCD 北大核心 2001年第6期40-43,共4页

程序理解是从计算机程序中获取有关信息的过程。作为程序维护中必不可少的环节，一直受到大家的关注。结合最近比较热门的软件重建工程，分析程序理解中出现的一些问题以及解决方案。

关键词 程序理解 认知模型 程序理解工具 软件工程

在线阅读 下载PDF 职称材料

面向Java语言的设计模式抽取方法的研究 被引量：8

11

作者 冯铁 李文锦 +1 位作者 张家晨 柴胜 《计算机工程与应用》 CSCD 北大核心 2005年第25期28-33,共6页

从源码中抽取设计模式对于提高软件可理解性和可维护性、软件设计重用以及软件重构具有重要意义。文章面向Java语言提出了一个从源码中抽取设计模式的方法。具体地,研究了一种特定的设计模式描述方法、定义了源码信息模型及其化简方法,... 从源码中抽取设计模式对于提高软件可理解性和可维护性、软件设计重用以及软件重构具有重要意义。文章面向Java语言提出了一个从源码中抽取设计模式的方法。具体地,研究了一种特定的设计模式描述方法、定义了源码信息模型及其化简方法,以此为基础提出了设计模式模型和源码模型的匹配方法。特别讨论了在抽取设计模式时与container类相关的问题及其解决方案。最后根据抽取结果从模式及其实例的角度对方法进行了评价,并提出了必要的优化技术。 展开更多

关键词 设计模式 逆向工程 程序理解

在线阅读 下载PDF 职称材料

基于Bayes决策的密码算法识别技术 被引量：9

12

作者 李继中 蒋烈辉 +2 位作者 尹青 刘铁铭 郭佳 《计算机工程》 CAS CSCD 北大核心 2008年第20期159-160,163,共3页

在可执行代码中识别密码算法对于查找恶意代码、保护计算机系统安全有着重要的意义。该文在对汇编级密码算法特征分析的基础上,提出了汇编级密码算法特征度量元的概念,并采用七维特征向量对其进行形式化描述,建立基于Bayes决策的密码算... 在可执行代码中识别密码算法对于查找恶意代码、保护计算机系统安全有着重要的意义。该文在对汇编级密码算法特征分析的基础上,提出了汇编级密码算法特征度量元的概念,并采用七维特征向量对其进行形式化描述,建立基于Bayes决策的密码算法识别模型,测试结果表明该模型稳定、准确,能够高效地定位代码中的密码算法。 展开更多

关键词 算法识别 程序理解 决策模型 特征度量元

在线阅读 下载PDF 职称材料

青鸟C++程序理解工具 被引量：10

13

作者 周欣 孙家骕 杨芙清 《计算机工程》 CAS CSCD 北大核心 2000年第11期80-81,共2页

程序理解是软件开发过程中一项重要活动，为了保证该活动的准确性和高效性，有理解工具的半自动支持是很关键的．青鸟Ｃ＋＋程序理解工具（ＪＢＰＣ－Ｃ＋＋）支持用户的多样需求，辅助多种理解策略，为用户理解程序提供了很大帮助．该... 程序理解是软件开发过程中一项重要活动，为了保证该活动的准确性和高效性，有理解工具的半自动支持是很关键的．青鸟Ｃ＋＋程序理解工具（ＪＢＰＣ－Ｃ＋＋）支持用户的多样需求，辅助多种理解策略，为用户理解程序提供了很大帮助．该文概要介绍了青乌Ｃ＋＋程序理解工具（ＪＢＰＣＴ－Ｃ＋＋）的设计目标和原则、体系结构以及基本功能． 展开更多

关键词 程序理解 增量分析 理解视图 逆向文档

在线阅读 下载PDF 职称材料

语句相似度计算在主观题自动批改技术中的初步应用 被引量：47

14

作者 高思丹 袁春风 《计算机工程与应用》 CSCD 北大核心 2004年第14期132-135,共4页

文字类主观题的自动批改是实现远程教学系统中在线考试功能的一个关键技术,由于其具有相当的难度,目前国内外在这方面的研究还不是很多,真正实用的系统更少。该文着重对语句相似度的计算进行了深入的研究,利用基于动态规划的语句相似度... 文字类主观题的自动批改是实现远程教学系统中在线考试功能的一个关键技术,由于其具有相当的难度,目前国内外在这方面的研究还不是很多,真正实用的系统更少。该文着重对语句相似度的计算进行了深入的研究,利用基于动态规划的语句相似度计算方法实现了文字类主观题的自动批改,测试结果初步达到预期目标。 展开更多

关键词 自动批改 自然语言理解 语句相似度 动态规划

在线阅读 下载PDF 职称材料

一种代码和中文文档关联信息的自动提取方法 被引量：3

15

作者 陈华 钱剑飞 俞瑞钊 《计算机应用与软件》 CSCD 北大核心 2005年第9期48-49,110,共3页

维护代码和对应的文档的关联在软件维护、程序理解、需求跟踪等软件工程活动中有重要的意义。维护这些关联其关键在于提取关联信息,提出了一种利用信息检索技术自动提取程序源代码和中文文档关联信息的方法。首先通过提取文档中的词汇... 维护代码和对应的文档的关联在软件维护、程序理解、需求跟踪等软件工程活动中有重要的意义。维护这些关联其关键在于提取关联信息,提出了一种利用信息检索技术自动提取程序源代码和中文文档关联信息的方法。首先通过提取文档中的词汇建立文档的语言概率模型,在此基础上用由代码信息组成的检索项检索文档集,由此得到代码和文档的相关列表和关联矩阵。测试结果表明在提取项大于5时即可获得95%以上的关联。 展开更多

关键词 软件维护 信息检索 程序理解 自动提取方法 程序源代码 中文文档 关联信息 信息检索技术 工程活动 需求跟踪

在线阅读 下载PDF 职称材料

北京奥林匹克教育“同心结”交流活动中的国际理解教育研究 被引量：16

16

作者 茹秀英 吕晓丽 郭英杰 《首都体育学院学报》 北大核心 2011年第5期409-419,共11页

采用文献资料法、对比分析法、实地考察法等研究方法,对北京奥林匹克教育"同心结"交流活动中的国际理解教育进行全面探讨,旨在为后奥运中国中小学开展国际理解教育提供参考,为今后国际奥林匹克教育和奥运会主办城市开展奥林... 采用文献资料法、对比分析法、实地考察法等研究方法,对北京奥林匹克教育"同心结"交流活动中的国际理解教育进行全面探讨,旨在为后奥运中国中小学开展国际理解教育提供参考,为今后国际奥林匹克教育和奥运会主办城市开展奥林匹克教育提供可鉴的资源和经验。首先阐释"同心结"交流活动的设计与开发,具体包括活动名称的由来、整体定位、宗旨、目标、具体内容、标志和主题歌;其次分析"同心结"交流活动的实施过程,具体包括联络过程、赛前和赛时的交流活动;最后探讨"同心结"交流活动的价值及影响,该活动的价值是彰显和践行了国际理解教育,由此对北京乃至中国的国际理解教育产生了深刻的影响,同时对国际奥林匹克教育也产生了继承性、创新性和持续性的影响。 展开更多

关键词 北京奥林匹克教育 “同心结”交流活动 国际理解教育 研究

在线阅读 下载PDF 职称材料

程序算法识别研究综述 被引量：5

17

作者 鲁强 李效恋 王智广 《计算机应用》 CSCD 北大核心 2012年第10期2863-2868,共6页

程序算法识别是程序理解研究中的子问题,主要目的是针对程序源代码识别出其所蕴含的程序算法。针对程序算法识别问题,首先说明其定义及实现过程;对可应用于程序算法识别领域的程序理解技术进行分类介绍,说明每种方法的实现技术路线;最... 程序算法识别是程序理解研究中的子问题,主要目的是针对程序源代码识别出其所蕴含的程序算法。针对程序算法识别问题,首先说明其定义及实现过程;对可应用于程序算法识别领域的程序理解技术进行分类介绍,说明每种方法的实现技术路线;最后对每种方法进行了比较、分析,并提出未来程序算法识别研究的重点问题。 展开更多

关键词 算法识别 程序理解 逆向工程 概念定位 信息检索

在线阅读 下载PDF 职称材料

编译技术研究与逆向工程实践 被引量：5

18

作者 胡燕京 李彩霞 +1 位作者 周子琛 罗海宁 《现代电子技术》 2007年第16期99-101,106,共4页

计算机科学的发展离不开编译技术的支持,编译技术是计算机领域发展非常成熟的一个分支。逆向工程是软件工程中一个新的发展方向,近年来开始被人们关注,成为一个引人入胜的研究领域。反汇编是软件逆向工程中十分重要的内容,通过对编译原... 计算机科学的发展离不开编译技术的支持,编译技术是计算机领域发展非常成熟的一个分支。逆向工程是软件工程中一个新的发展方向,近年来开始被人们关注,成为一个引人入胜的研究领域。反汇编是软件逆向工程中十分重要的内容,通过对编译原理的透彻理解,可以更加科学规范地分析和理解软件系统,从而更加敏捷地实施逆向工程。通过深入探讨编译原理,及通过编译技术进行逆向工程实践,提出了程序理解的一般思路,探索出一条进行逆向工程实践的较好方法。 展开更多

关键词 编译原理 反汇编 程序理解 逆向工程

在线阅读 下载PDF 职称材料

一种精简二进制代码的程序理解方法 被引量：4

19

作者 李卷孺 谷大武 陆海宁 《计算机应用》 CSCD 北大核心 2008年第10期2608-2612,共5页

精简二进制代码形式的软件是软件分析和程序理解需要处理的一类具有代表性的对象,基于高级语言源代码和调试符号信息的传统分析方法在处理此类软件时受到了极大限制。提出一种精简二进制形式软件的理解方法,首先将分析对象转变为运行期... 精简二进制代码形式的软件是软件分析和程序理解需要处理的一类具有代表性的对象,基于高级语言源代码和调试符号信息的传统分析方法在处理此类软件时受到了极大限制。提出一种精简二进制形式软件的理解方法,首先将分析对象转变为运行期进程,引入实际运行中的进程信息;然后引入程序的行为特征,以程序表现出的外在行为和对外接口作为辅助信息,将此类外部特征映射到程序代码;最后基于切片思想和调试技术,获得程序切片并分析。这种方法为分析理解过程扩展了信息量,降低了复杂度,解决了分析此类软件时信息缺失和难以建立理解模型的问题。 展开更多

关键词 精简二进制代码 程序理解 二进制分析 代码反向工程 程序切片

在线阅读 下载PDF 职称材料

基于数据流分析的二进制代码程序理解方法 被引量：2

20

作者 唐和平 吴志勇 +1 位作者 黄曙光 李永成 《计算机工程》 CAS CSCD 北大核心 2010年第17期25-27,共3页

通过数据流分析将程序转换成数据流描述标记,结合数据流到达-定值分析,确定每个基本块的输入、输出定值集合,推导出函数输入与输出间的联系,实现函数功能的静态理解。实验结果表明,在不需要额外提示的情况下,该方法能准确识别二进制形... 通过数据流分析将程序转换成数据流描述标记,结合数据流到达-定值分析,确定每个基本块的输入、输出定值集合,推导出函数输入与输出间的联系,实现函数功能的静态理解。实验结果表明,在不需要额外提示的情况下,该方法能准确识别二进制形式的字符串拷贝等字符串处理函数。 展开更多

关键词 数据流分析 反汇编 到达-定值 程序理解

在线阅读 下载PDF 职称材料