Java代码信息查询语言

程序理解在软件维护和软件复用中扮演着重要的角色,基于编译技术的程序信息抽取与分析是程序理解辅助工具的主要技术手段.为了降低信息抽取和信息分析的代价,提高程序理解工具的质量和构建效率,本文使用Java文档对象模型作为程序代码结构模型,提出并实现了针对Java代码的信息查询语言JPATH.通过构造JPATH查询表达式,信息抽取与分析程序能够定位感兴趣的元素在代码结构模型中的位置.同时,本文对JPATH做了进一步的扩展,提供了一种对象一关系的查询机制,便于编程人员提取具有特定语义关系的语法对象组合.     

逆向工程中的用例模型恢复技术

用例和用例模型从用户的角度描述了软件系统的行为特点,它们已经成为程序理解中的一个关键所在。随着逆向工程、程序理解、遗产系统等领域的发展,用例模型恢复的技术也受到越来越多的关注。该文介绍了目前的用例模型恢复技术及其各自特点和适用范围,并对其今后的发展提出了一些建议。     

软件维护中程序理解的应用与研究

程序理解是软件维护中的一项重要活动。从软件维护和认知学的角度分析了程序理解的任务,描述了几种主流的程序理解的模型。最后针对影响程序理解的因素提出了相应的对策,为提高维护效率提供帮助。     

用于Hadoop2.x的MapReduce性能评估模型

基于MapReduce的程序被越来越多地应用于大型数据分析的应用中.Apache Hadoop是最常用的开源MapReduce模型之一.程序运行时间的缩短对于MapReduce程序以及所有数据处理应用而言至关重要,而能够准确估算MapReduce程序的执行时间是优化程序的重要环节.本文定义了一个在Hadoop2.x版本中能够准确估算MapReduce作业负载执行时间的性能模型.该模型包括一个优先级树模型与一个排队网络模型,分别用于展示一个MapReduce作业中不同任务之间的依赖关系及MapReduce作业内的同步约束.最后,实验证明了该模型的可用性.     

软件维护中程序理解的应用与研究

程序理解是软件维护中的一项重要活动。从软件维护和认知学的角度分析了程序理解的任务，描述了几种主流的程序理解的模型。最后针对影响程序理解的因素提出了相应的对策，为提高维护效率提供帮助。     

基于综合模型的核电程序理解

随着我国经济和社会的发展,我国核电产业已进入繁荣发展时期,但现有核电软件已不能满足我国现阶段核电发展需求。为了对我国现有核电软件进行升级改造,在原有核电软件基础之上进行软件重用或再工程成为一个迫切的需求,这就会涉及到核电程序理解的问题。由于核电领域的专业性和复杂性,在核电软件分析的实践基础上,通过引入一般性程序理解采用的技术、模型,引出了核电软件理解需要的技术、模型、步骤。以Copernic程序为例,重点介绍了核电软件理解的过程以及物理模型的建立过程,总结出了一套对核电软件程序理解切实可行的方案,这对我国核电的发展具有十分现实的意义。     

代码注释自动生成系统设计与实现

快速识别程序源码语义,可以辅助编程学习者理解代码。为提高程序开发效率,有必要开发一个代码注释自动生成系统。本文提出了一个代码注释自动生成系统的开发方案,对于Seq2seq模型如何训练、中文数据集如何处理和提高注释质量等问题提出了具体实施方案。实践结果表明,采取该方案制成的代码注释自动生成系统能够基本满足辅助理解代码的需要。     

一种基于分层切片模型思想的源程序信息分析方案

作为软件理解的手段之一,程序切片技术通过寻找程序内部的相关性来分解程序,再通过对分解所得程序切片的分析达到对整个程序的分析和理解。程序切片算法必须建立在对源程序信息正确、完整分析的基础上。详细地描述了一种基于分层切片模型思想的程序信息提取方案。该方案已成功运用到一种Java程序切片工具模型JSTM（Java Slicing Tools Model)中。     

一种可行的自动程序理解途径

自动程序理解是软件工程和人工智能的非常活跃的研究领域，本文提出了一种独立于程序设计语言，具有明显结构性和流图结构的中间表示ｐｌａｎ来表示程序代码，本文首次提出了应用图文法分析技术于自动程序理解的方法，并给出了基于人工智能技术来进行自动程序理解的模型。     

适用于分布式程序设计的图示化模型

VMDP(visual mode for distributed programming)模型是一个基于图标的面向分布式程序设计的图示化模型.它用图标表示分布式系统中的对象及其控制,例如,用车辆、路口和红绿灯等图标分别表示进程、资源和进程控制,从而使分布式系统中进程之间的同步、异步、互斥、共享等协调关系变得十分直观和易于理解.VMDP模型可以广泛应用到分布式系统模型、网络程序设计、并行程序设计和分布式程序设计等领域.     

逆向工程技术研究

遗留系统的现代化改造成为软件工程领域研究的重点。文章介绍了逆向工程的基本概念以及阐明程序理解是遗留系统演化的最有效的途径,同时引进了程序理解的马蹄铁模型。     

软件理解工具TAUS

本文介绍了一个能帮助程序人员交互型分析和理解软件的工具TAUS,开发TAUS的目的是在于软件理解过程中,降低对人的智力的依赖程度,提高程序人员理解软件的生产率,TAUS为人们分析和理解软件提供了新工具,本文介绍了TAUS的设计和实现,还叙述了程序人员如何理解他们的程序,以及TAUS如何来支撑程序人员的理解。     

一种证明程序正确性的方法

介绍一种证明程序正确性的方法,并和Floyed_Hoare公理学方法作了一些比较.为了形象的描述该方法,建立了一个抽象模型及一个程序实例,然后相对于这一模型并结合程序,给出了程序正确性的定义及其证明方法.     

基于Java多线程的演示程序设计

介绍了用Java多线程开发的一个操作系统演示程序,该程序动态演示操作系统中多线程的调度过程.学生通过该演示程序更直观地了解线程的调度原理,加深对线程概念的理解.     

函数式语言编译器中的G-Machine技术研究

函数式程序设计语言具有程序简洁,易于进行推理和正确性证明等优点。抽象机技术完成函数式程序设计语言的规约计算到传统体系结构的状态转移计算之间的转换,是函数式语言编译技术的核心。本文基于SpinelessG-Machine抽象机的图规约机模型,并在其基础上进行了改进,通过增加闭包,构造全懒惰表达式等,得到了一个更容易理解和易于优化的抽象机模型。并且在此模型上使用了扩展MKAP指令和G-code窥孔优化等方法提高抽象机的效率。     

邮件病毒传播模型及其分析

通过分析电子邮件病毒的传播特性及影响因素,将电子邮件病毒的感染率定义为一个与多种影响因素有关的函数,并提出了相应的邮件病毒传播模型.在所提模型的基础上,分析了邮件病毒传播高潮到来的时刻及其对病毒控制的影响,并从理论上推导出反病毒程序出现后,病毒传播不会继续发生扩散的条件.仿真实验结果表明,该模型及其分析的合理性为理解邮件病毒的传播过程及制定相应的病毒控制策略提供了理论支持.     

程序理解:现状与未来

程序理解是软件工程中的关键活动,在软件开发、维护、重用等任务中发挥着重要的作用.程序理解自软件工程出现以来,就一直是该领域的研究热点.随着软件应用的日益复杂和不断普及,程序理解研究的需求发生了新的变化,程序的自理解或自认知逐渐成为新的关注点,有必要对程序理解进行重新审视.从工程、学习和认知以及方法和技术这3个角度定位程序理解任务;随后,通过文献分析展示其研究布局,进而分别从认知过程、理解技术以及软件工程任务中的应用这3个方面,综合论述程序理解研究的发展脉络和研究进展.     

主动面向对象系统中编译子系统的设计与实现

面向对象技术的程序设计与主动机制技术的相互结合,为主动程序设计语言的研究与开发创造了条件.提出了在一个源语言系统和一个面向对象语言的对象模型基础上的主动机制模型.研究了该模型的编译子系统,分别从支持面向对象和主动机制技术的角度,分析了子系统的组成、工作流程和典型算法.结合一个主动对象实例,对中间代码的生成过程进行了说明.     

数据流Java并行程序设计模型的设计、实现及运行时优化

提出了一种具有数据流特征的Java并行程序设计模型,并针对该模型提出了一种基于运行时信息反馈的自适应优化算法,使得运行时系统可以利用数据流程序所暴露出的数据并行性,加速程序的运行.此外,在该模型中加入了数据流多态的概念,扩展了该模型的面向对象特性.在一个实际的开放源码Java虚拟机中实现了上述程序设计模型及优化方法.在实际多核多线程机器上的实验结果表明,所提出的程序设计模型及优化能够充分利用硬件的并行处理能力,显著地提高了程序的性能.     

基于角色的访问控制扩展模型及其实现

提出了一种改进的RBAC模型,该模型通过引入安全员、审计员、主客体安全等级、角色容量等概念,对传统RBAC模型进行了扩展,克服了传统RBAC中判断程序的权限仅仅根据启动程序的角色的不足,提高了模型的安全性.最后通过一个应用实例验证了新模型的有效性.