Java语言中的元数据机制及其应用

在介绍Java元数据机制的基础上,描述基于Java元数据功能的数据库浏览器的实现方法。Java语言提供了反射API,用于动态获取对象式类的结构信息,Java Annotation被用来在Java程序中描述元数据。     

面向对象语言的谱系

本文深入讨论了面向对象的程序设计语言。根据对象、类、继承性、数据抽象、强类型、并发性与持续性等语言特征,作为语言空间的设计量纲,讨论了语言的分类和层次关系。着重阐述了基于对象的语言、基于类的语言和面向对象的语言之间的联系与区别。     

面向对象程序设计语言的绑定时间分析技术

为了实现面向对象语言的部分求值,提出了一种绑定时间分析技术.该技术通过针对引用类型变量和指针变量的上下文敏感分析,能够比较精确地分析面向对象语言中诸如对象元素、数组元素等复杂数据结构元素的绑定时间,进而扩大了部分求值的作用范围.这种方法采用两层BTA环境来保存静态变量和局部变量的BTA状态,设置一种专用句柄来表示不同程序点创建的对象,进而采用这种句柄的集合表示引用类型变量的BTA状态.在为面向对象语言程序标注绑定时间信息的过程中,采用一个正向分析和一个反向分析过程,借助于BTA环境来跟踪和设定各种变量、对象和引用变量的绑定时间.该技术已经用于实现Java程序的绑定时间分析,能够有效地分析大多数单线程的Java程序,为实现高性能Java程序部分求值提供了必要的手段.     

基于类型理论的面向对象多步证明系统

介绍基于扩展构造型演算的交互式多步证明系统。该系统中以函数式语言ML为开发环境，建立了ECC的项、规则证明策略和证明管哩机制的描述，并引入规约类型、类类型、类和对象的表示，为面向对象的程序规约和定理证明系统的结合进行了一些探索。     

一种实时Java程序的WCET分析新方法研究

软件的最坏执行时间是实时系统的时间可信基础,Java语言的动态特性使程序的最坏执行时间分析较悲观和难以预测,本文提出了一种基于Java字节码的面向实时Java程序的最坏执行时间分析新方法,该方法引入一个注释类对源程序进行注释,然后将编译产生的Java类文件作为方法的分析对象,解决了实时Java程序中由于动态分配问题带来的预测不确定的问题,实验表明,该方法可以使对实时Java程序的最坏情况执行时间预测更加安全和精确.     

OpenCV在目标跟踪中的应用及实现

基于视频的运动目标跟踪为研究对象,深入分析了开放计算机视觉函数库OpenCV在跟踪领域中的应用,重点介绍了基于OpenCV的团块跟踪框架,并详细说明了在跟踪框架中自定义模块的方法。实验证明,基于OpcnCV的跟踪程序不但有很好的跟踪效果,而且从很大程度上降低了程序开发的难度。     

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

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

基于类型理论的面向对象多步证明系统

介绍基于扩展构造型演算的交互式多步证明系统。该系统中以函数式语言ＭＬ为开发环境，建立了ＥＣＣ的项、规则证明策略和证明管理机制的描述，并引入规约类型、类类型、类和对象的表示，为面向对象的程序规约和定理证明系统的结合进行了一些探索。     

基于对象跟踪的J2EE程序动态污点分析方法

Web程序的安全威胁主要是由外部输入未验证引发的安全漏洞,如数据库注入漏洞和跨站脚本漏洞,动态污点分析可有效定位此类漏洞。提出一种基于对象跟踪的动态分析方法,与现有动态方法跟踪字符和字符串对象不同,追踪所有可能被污染的Java对象。方法应用对象哈希值表示污点对象,定义方法节点和方法坐标记录污点传播时的程序位置,支持污点传播路径追踪,针对Java流对象装饰模式提出流家族污点传播分析。方法设计一种语言规范对Java类库中污点传播相关的方法集合以及用户自定义方法建模,按照污点引入、传播、验证和使用,对方法集分类后设计和形式化定义各类方法的污点传播语义。在SOOT平台实现对J2EE源码或字节码插桩框架,使用静态分析计算可达方法集以减少插桩规模,应用原型系统对真实网站的测试结果表明该方法可有效发现注入漏洞。     

基于数据切片度量JAVA内聚性

面向对象的程序切片在程序分析、程序理解、软件测试和调试以及软件维护方面有着广泛的用途.首先建立了抽象数据切片和类内切片的概念,然后基于这两种切片讨论了JAVA语言中存在的内聚问题,通过分析这些切片与数据、方法、类之间的关系来度量数据、方法以及类的内聚性问题.     

ACHIEVING REUSE WITH OO TECHNOLOGY

High-quality reusable objects offer long-term benefits through reduced development and maintenance costs, but their creation does not automatically result from the introduction of object-oriented (OO( technology. Designing and implementing a formal usability program that simultaneously focuses on the dimensions of people, processes, and technology is the first step in achieving reusability in OO development.     

面向对象软件回归测试技术研究

回归测试的目标之一是在程序修改后,只对进行修改的部分重新测试,从而达到与完全测试相同的测试覆盖.利用数据流或部分数据流技术,对结构化程序进行回归测试的技术已相继提出.随着面向对象方法的逐渐成熟,对面向对象软件测试技术的研究有了迫切的需求.通过分析对象系统的特性,定义了对象之间的依赖关系,通过这个依赖关系,导出测试对象的方法序列,并应用程序切片技术,标识那些受到程序修改影响的测试用例,只有这些测试用例才需要在回归测试中重新执行.最后给出了一完整的对象系统的回归测试解决方案.     

图形应用系统下Undo/Redo操作的设计与实现

针对图形应用系统下Undo/Redo操作问题,提出了一种解决方案,设计了相关的数据模型,详细说明了工作原理,并给出了部分代码实现。     

面向对象技术中标识对象的策略

面向对象（OO）分析模型的核心是对象，如何找出这些对象是OO技术所面临的中心挑战。对标识对象策略的探讨，有助于对OO技术的深入理解和掌握。本文结合需求文档分析工具的对象标识，对相关的问题进行了讨论。     

Beyond Object-Oriented Technology: Where Current Approaches Fall Short

Object-oriented (OO) technology has been heralded as a solution to the problems of software engineering. The claims are that OO technology promotes understandability, extensibility, evolvabilty, reusability, and maintainability of systems and that OO systems are easy to understand and use. However, this technology has not been as successful as expected. An analysis of experiences and empirical studies reveals that the problem is not the technology per se but that the technology provides no support to software developers in performing the processes the technology requires. We present a cognitive model of software development that details the challenges software developers face in using OO technology. The model focuses on three aspects of software development—evolution, reuse and redesign, and domain orientation. We motivate this model with a variety of firsthand experiences and use it to assess current OO technology. Further, we present tools and evaluations that substantiate parts of this model. The model and tools indicate directions for future software development environment, looking beyond the technological possibilities of OO languages and beyond the context of individual developers and projects.     

Object-oriented program tracing and visualization

Conventional program analysis and presentation techniques are insufficient when dealing with object oriented concepts, but tool developers have nevertheless found a way to obtain and visualize OO traces. The approach presented combines static information with actual execution information to produce views that summarize the relevant computation. In developing this approach, the authors focused on reducing the search space for extracting dynamic program information and on creating visualizations that may improve a programmer's understanding of object behaviour in real world OO systems. They applied the research prototype, Program Explorer, to a real project outside IBM. Although Program Explorer was originally designed for C++, a version for IBM's System Object Model (SOM) has demonstrated that the concepts are applicable to OO languages in general     

面向对象的数据仓库模型设计

面向对象的方法是软件工程中最主要和最流行的设计方法,UML是面向对象系统的标准建模语言。论文首先分析了数据仓库的多维模型的特点和基本概念,然后给出了用面向对象的技术,并结合UML进行数据仓库模型设计的方法。     

应用框架法的化工过程系统通用模型

企业领域的面向对象应用框架研究是现代面向对象应用框架技术的重要趋势之一.应用框架可以增强大型应用软件代码的重用性和可扩充性.针对目前化工过程系统软件中存在的问题,采用面向对象应用框架方法,建立起化工过程系统的通用模型.结合使用本模型完成的国家教委项目--化工仿真系统来阐述该模型.     

基于Turbo PROLOG的面向对象方法

面向对象 (OO)技术是当前计算机界讨论的热点。另一方面 ,知识信息处理正在成为计算机应用的主要领域 ,发展中的基于知识的软件工程也将成为一种关键的软件技术。本文提出一种基于 Turbo PROLOG的 OO程序设计方法学。我们 :(1 )简明地讨论了 OO方法的基本概念和基本要素 ;(2 )给出了在 Turbo PROLOG中实现 OO各要素的规则和方法 ;(3)分析了 OO基本特征在该方法中的体现及存在问题。     

基于Oracle数据库OO4O技术的应用研究

OO4O(Oracle Objects for OLE)是Oracle公司提供的基于COM技术，能与Oracle数据库实现无缝连接和优化访问的一组编程对象的集合。介绍了OO4O的特点和使用方法，指出了直接使用OO4O存在的不足，利用面向对象思想把OO4O常用的操作封装成一个新类COO4ODB，并举例说明了该类的使用。