并发Java程序动态分析及重演技术研究

由于Java程序的应用范畴越来越广,这就需要我们对其程序的应用与运作加以合理地了解与分析,本文主要通过对Java这种程序在实际的并发程序中的应用情况予以动态的分析与阐述,并对其予以技术的重演方面进行系统性的分析与探索,能够推动Java程序本身的发展。     

面向Java的分布式程序测试系统

由于程序的分布运行,测试分布式程序必须同时考虑并发特性和运行环境.介绍了一个面向Java语言的分布式程序测试系统JDPT(Java-oriented distributed program testing system).JDPT基于运行环境定义事件,通过事件序列记录分布式程序的运行过程,并定义事件约束检测可行事件序列集的有效性.通过该技术,JDPT可以有效地判断程序在运行环境中并发执行的正确性,适用于跨平台的Java程序测试.     

并发Java程序同步操作的有效删除

同步操作是并发Java程序非常大的一部分开销.在现有程序分析方法的基础上,提出了一种精确而有效的冗余同步操作的静态删除方法.该方法分为基本处理和线程间时序分析两个阶段,充分考虑了控制流结构和线程交互时序对同步删除的影响.构造了一个Java编译器JTool,并在其上实现了同步删除算法.对于确定的单线程程序,同步删除率达到100%;对于多线程程序,同步删除率高于现有的分析工具.     

Java开发目录同步程序

使用Java语言开发了目录同步程序。程序分为服务端和客户端。服务端设置和实时扫描要进行同步的目录并通过Java套接字将读到的文件数据传给客户端,并由客户端写到相应目录下。     

Java语言的程序漏洞分析技术研究

Java语言程序是应用十分广泛、通用性较强的语言程序,然而随着Java应用面越来越广泛,使用过程中难免会出现很多漏洞.探讨了Java语言程序漏洞的重要性,从安卓系统中的隐私信息、找寻信息泄露渠道和处理特殊传输途径这3个方面,探讨了基于LeakMiner系统分析和处理Java语言程序漏洞的方法.     

Java平台技术及新进展

Ｊａｖａ以其“编写一次，各处运行”的特性，在短短的三年中得到了出人意料的快速发展和广泛应用，本文从多个方面对Ｊａｖａ进行了介绍和评停，包括：Ｊａｖａ语言、Ｊａｖａ平台、Ｊａｖａ标准、Ｊａｖａ应用环境和Ｊａｖａ应用等。     

Java 1.0与Java 1.1事件模型的原理及比较

Ｊａｙａ１．０基于继承的事件模型和Ｊａｙａ１．１基于委托的事件模型,并将二种事件模型进行了比较,给出了实例。     

Java程序内存空间优化策略的研究

一、引言基于Java的应用程序在运行时由于受到语言本身的特点和虚拟机的限制,对于客户端硬件配置的要求相对于Vi-sual C~( )和Visual Basic语言编写的程序要高。虽然Java 2对于JDK虚拟机解释器进行了优化处理,但是仍然不能够完全令用户满意。因此,Java程序的开发人员在对程序代码进行优化时,很自然地将关注焦点放在提高运行性能上。然而,Ja-va程序还可以从另一方面得到优化,即对程序所占用内存空间进行优化。很多功能复杂的Java应用程序在运行时由于系统频繁针对内存进行存储交换操作,从而在很大程度上影响了软件运行的性能。程序中存在的内存漏洞造成了程序通过操作系统消耗内存,而没有及时进行对内存空间的复用和释放,这最终造成了程序消耗的内存空间逐渐加大。从软件工程的角度分析,对空间的优化处理主要以两种形式表现出来:降     

Java界面程序技术研究

本文首先分析了Java的界面编程机制,紧接阐述了Java语言和C＋＋语言的主要区别,然后对于Java编程平台的安装、编辑环境的设置进行了叙述和研究。最后,通过Java语言编写了一个简单的界面程序,实现了具有Web功能的标签。     

基于契约的程序动态分析技术研究

在当今信息社会中，程序质量是一个具有重要意义的热点问题．基于契约的程序设计是提高程序质量的重要且有效的技术，但是形式化契约的制定是一件十分困难的工作．因此软件质量保证问题一直是令人困扰的难题．本文介绍契约式程序设计的基本概念与方法，并在此基础上，提出利用契约进行程序动态分析的主要思路及其基本过程并给出简单实例，从一种新的维度来思考保障软件质量的方法。     

Slicing concurrent Java programs using Indus and Kaveri

Program slicing is a program analysis and transformation technique that has been successfully used in a wide range of applications including program comprehension, debugging, maintenance, testing, and verification. However, there are only few fully featured implementations of program slicing that are available for industrial applications or academic research. In particular, very little tool support exists for slicing programs written in modern object-oriented languages such as Java, C#, or C++. In this paper, we present Indus—a robust framework for analyzing and slicing concurrent Java programs, and Kaveri—a feature-rich Eclipse-based GUI front end for Indus slicing. For Indus, we describe the underlying tool architecture, analysis components, and program dependence capabilities required for slicing. In addition, we present a collection of advanced features useful for effective slicing of Java programs including calling-context sensitive slicing, scoped slicing, control slicing, and chopping. For Kaveri, we discuss the design goals and basic capabilities of the graphical facilities integrated into a Java development environment to present the slicing information. This paper is an extended version of a tool demonstration paper presented at the International Conference on Fundamental Aspects of Software Engineering (FASE 2005). Thus, the paper highlights tool capabilities and engineering issues and refers the reader to other papers for technical details. This work was supported in part by the US Army Research Office (DAAD190110564), by DARPA/IXO’s PCES program (AFRL Contract F33615-00-C-3044), by NSF (CCR-0306607) by Lockheed Martin, and and by Intel Corporation.     

解析Java的多线程机制

针对Java平台中多践程的性质和使用，本文进行了详细地分析和讲解，包括线程的创建、状态、线程的同步机制以及线程的阻塞等。     

解析Java的多线程机制

针对Java平台中多线程的性质和使用,本文进行了详细地分析和讲解,包括线程的创建、状态、线程的同步机制以及线程的阻塞等。     

Java中多态性之解析

面向对象编程（Object Oriented Programming,简称OOP）描述的是对象之间的相互作用。在面向对象编程中,类作为最小程序单元,就像以往面向过程编程中,函数作为最小程序单元一样。多态性是面向对象的重要特性之一,Java中的多态体现在类的继承和实现接口等方面。在使用Java时理解和掌握多态性是非常重要的,对以后学习和掌握其他面向对象的编程技术也尤为重要。     

应用型本科面向培养软件工程师的Java课程群教学研究

该文针对应用型本科大学在培养Java软件工程师教学过程中的若干问题,分析了如何面向企业软件工程师的需求进行Java课程群教学的设计,包括准确定位培养应用性人才的教学目标,课程设置的优化,教学经验的积累和进行课程体系的重建、整合与研究。     

An empirical study of cycles among classes in Java

Advocates of the design principle avoid cyclic dependencies among modules have argued that cycles are detrimental to software quality attributes such as understandability, testability, reusability, buildability and maintainability, yet folklore suggests such cycles are common in real object-oriented systems. In this paper we present the first significant empirical study of cycles among the classes of 78 open- and closed-source Java applications. We find that, of the applications comprising enough classes to support such a cycle, about 45% have a cycle involving at least 100 classes and around 10% have a cycle involving at least 1,000 classes. We present further empirical evidence to support the contention these cycles are not due to intrinsic interdependencies between particular classes in a domain. Finally, we attempt to gauge the strength of connection among the classes in a cycle using the concept of a minimum edge feedback set.

As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs

In previous papers we showed that from a suitable termination order (called ranking) one can automatically compute the worst-case time complexity of a CHR constraint simplification rule program from its program text. We combined the worst-case derivation length of a query predicted from its ranking with a worst-case estimate of the number and cost of rule application attempts and the cost of rule applications to obtain the desired meta-theorem.Here we generalize the approach presented in these papers and use it to analyse several non-trivial rule-based constraint solver programs. These results also hold for naive CHR implementations. We also present empirical evidence through test runs that the actual run-time of a state-of-the-art CHR implementation is much better due to optimizations like indexing.     

基于场景的软件测试工具系列的设计与实现

文章将场景技术用于软件测试工具系列Safepro的开发,在讨论测试工具开发共性的基础上,还兼顾个别测试工具的一些特别之处。文中简要介绍了软件测试工具的研究现状,随后给出了系统的测试场景,并基于场景分析了系统的构成模式,讨论了测试数据流模型,包括测试过程的数据流模型,数据流的性能改进,以及基于消息的数据分发和缓冲计数的应用。文章还介绍了采用Makefile规则实现测试分析过程组织的方法。     

Integration testing of Object-Oriented and Aspect-Oriented programs: A structural pairwise approach for Java

Several testing approaches focus on finding faults in software units of implementation. A problem not addressed by unit testing is the interaction among units, with respect to the correctness of their interfaces. In this paper a structural integration testing approach for Object-Oriented (OO) and Aspect-Oriented (AO) Java programs is presented. To make the activity more feasible, we address the testing of pairs of units (i.e., methods and pieces of advice). A model called (PairWise Def-Use) graph to represent the flow of control and data between pairs of units is proposed. Based on the , the following family of testing criteria is defined: all-pairwise-integrated-nodes (control-flow based), all-pairwise-integrated-edges (control-flow based), and all-pairwise-integrated-uses (data-flow based). To evaluate the proposed approach, an implementation of the criteria in a testing tool is presented along with an example of usage and an exploratory study. The study with 7 AO programs that are also OO was conducted to investigate the cost of application and usefulness of the approach. Results provided evidence that the criteria are practical and useful for integration testing of OO and AO programs.     

Java语言的安全性及其在WBM中的应用

Java是一种面向网络的编程语言,它的出现对Internet产生了深刻影响,同时也引起了人们对其网络安全性的关注。文章分析和探讨了Java语言自身所固有的基本安全性及其高级安全性,并通过其在WBM中的应用实例,进一步阐明了利用Java可以较好地实现网络应用系统的安全性。