Java API文档缺陷自动检测和修复方法研究

来源 :南京航空航天大学 | 被引量 : 0次 | 上传用户:wpf82011
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
应用程序编程接口(Application Programming Interface,API)在软件开发中起着非常关键的作用。快速正确地理解API是使用API的前提,而API文档的质量会严重影响开发人员对API的使用。观察发现,API文档中具有缺少参数约束信息描述的缺陷,导致开发人员在使用API时出现问题。因此,研究API文档的缺陷具有现实意义。为了完善API文档,本文提出了基于程序静态分析和自然语言处理的API文档缺陷自动检测和修复方法,该方法能够自动检测和修复API文档缺陷。在缺陷检测中,通过对代码的调用关系分析和抽象语法树分析,获得代码中的参数约束信息,对API文档进行基于启发式规则的自然语言理解,获取文档中关于参数约束信息的描述,并根据代码和文档中的参数约束信息生成一阶逻辑表达式(First Order Logic,FOL),用定理求解器进行约束求解,判断两者是否一致。如果一致,则文档描述正确没有缺陷,如果不一致,则文档有缺陷,需要进行补全。最终生成该API的缺陷报告。对于检测出的文档缺陷,通过模板的方式,利用从代码中提取的参数约束信息的FOL,生成约束信息描述,对文档进行补全,解决文档存在缺陷的问题。在实验一中,缺陷检测结果的准确率和召回率分别达到76.4%和83.8%,能够较为准确的检测到java API存在的文档缺陷。实验三的Android和Guava数据集中,准确率同样能够达到74.7%和78.5%,充分证明了检测方法的有效性和普适性。在实验四中,本文还对修复方法进行了评估,结果表明本文生成的文档正确且简洁,可以有效地修复API文档缺陷。最后,本文实现了基于该方法的原型系统DRONE(Detect and Repair of dOcumentatioN dEfects)。
其他文献
隐蔽伪装色表现为背部体色深,腹部体色浅,在包括鱼类在内的动物中普遍存在。这种体色的形成主要与皮肤中的色素细胞的不同分布和数量差异有关。鱼类的色素细胞主要有四种类型:黑色素细胞、黄色素细胞、红色素细胞和虹彩细胞,其中黑色素细胞的差异排列对鱼类体色的形成起决定性作用。目前,有关鱼类色素细胞的研究主要集中在对观赏鱼体色的研究以及鱼类色素细胞的形态结构方面,对鱼类隐蔽伪装色形成的研究很少。最新研究发现蓝光
本文利用代数图论知识以及Lyapunov稳定性理论,证明了智能体在运动过程中速度达到一致,距离保持不变,系统达到稳定状态,同时也证明了通过智能体之间的局部信息交流最小化总代价函数,实现优化。主要完成了以下三方面的工作:第一,研究了具有群集行为的多智能体系统的分布式优化问题。对于二阶动态系统,设计了包含有避免碰撞项、控制速度项和实现优化项的分布式控制器,运用稳定性理论推导出算法的收敛性。第二,研究了
隐喻理解能力是学习者学习一门外语并达到地道流利使用这门外语的一种重要能力。培养英语学习者的隐喻理解能力,能够帮助学习者形成目标语的思维模式,有助于增强其英语隐喻思
在高中阶段,习题利用是师生教、学实践过程中重要的环节之一。恰当地使用习题,不仅可以巩固师生所教、所学,也可以锻炼师生逻辑思维能力、语言表达能力等。然而在习题利用的
本文的主要研究内容由两方面组成。一方面,2009年,Mizel引入耗散辅助系统设计了一种具有阻尼量子态旋转功能的非幺正定点搜索算法,该算法不容易在普通量子计算机中实现。对偶计算机拥有允许非幺正操作存在的强大能力,并且可以在普通量子计算机上实现模拟,称为对偶量子计算模式。本文提出一种在对偶计算机中实现Mizel定点搜索算法的方案。通过设计具体的对偶量子计算模式和循环计算模式,该方案理论上能在普通量子
观察品行障碍儿童青少年在日常生活中的行为表现,较常见的是攻击行为频发、人际冲突较多、情绪失控、注意力不集中等问题。随着品行障碍学生问题的不断出现,对于品行障碍儿童
我国《刑事诉讼法》一直以来都对诱供骗供行为做出了禁止性规定,并对以刑讯逼供等非法手段获取的供述加以排除,却对以诱供骗供方式获取的证据如何处理未作出明确的规定,虽然
工业物联网对于智能制造至关重要,在物联网末端节点部分,由于计算能力受限、存储资源受限,存在节点可靠访问、传输可靠性等具体问题,使物联网面临严重的安全威胁。入侵检测系
随着高速率、低时延数据交互业务需求的不断提升,近距离无线传输系统已经成为通信专业研究的重要部分。相对于WLAN、蓝牙、RFID等短距离无线接入技术,可见光通信的新兴信息传
近年,采用PPP模式进行建设受到我国政府大力支持与推广。但对于具体项目,应当首先判别此类项目是否适合采用PPP模式。物有所值定量评价是通过一定的计算流程得出量化数值,并判定城市基础设施或公共服务是否适用于PPP模式的评价方法,在国外部分国家或地区已经具备比较完善的评价体系,而我国虽然出台了《PPP物有所值评价指引(试行)》,但没有对物有所值定量评价的流程、参数及方法进行详尽的说明与解释。另外,温州