教学课程资源库 更多>>

关键词： Java语言   语言程序设计   普通高等教育   规划教材   “十一五”   国家级   清华大学出版社   计算机应用  

摘要： Java语言是当今计算机应用领域中广泛使用的、面向对象的程序设计语言之一。作者所编写的《Java语言程序设计》一书是清华大学出版社《普通高校本科计算机专业特色教材精选》丛书之一，也是普通高等教育“十一五”国家级规划教材。该教材以培养应用型计算机人才为目标，立足课程改革和教材创新，在总结作者多年来从事Java语言教学工作经验的基础上形成了教材的核心内容。本教材可为普通高等院校计算机专业学生学习使用，也适用于自学。

关键词： 缓冲区   输入输出   性能   基因序列搜索  

摘要： Java语言的跨平台特性使得其在各个领域得到了广泛应用。与此同时,Java应用程序的性能,特别是I/O性能,也是人们普遍关注的话题。本文采用一个生物信息学应用程序的实例来探讨如何利用I/O缓冲区提高Java应用程序的I/O性能。我们采用三种不同的I/O缓冲区的实现方式来实现该应用程序,对其进行性能分析比较并将其与相应的C++应用程序进行比较。大量实验表明,I/O缓冲区对于Java应用程序的I/O性能起着至关重要的作用。恰当地使用I/O缓冲区,某些场合下能使Java应用程序的I/O性能略高于相应的C++应用程序的I/O性能。

关键词： 程序不变量   Java建模语言   重载   行为接口规范语言   契约   程序断言  

摘要： 通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。主要描述基于契约的似然程序不变量发现的基本理论模型,并结合Java建模语言进一步阐明程序断言动态生成技术及其现在产生的重点问题,针对提出的问题给出了相应的解决方法。

关键词： formal methods   Petri nets   temporal logic   software architecture descriptions   translation   correctness  

摘要： A software architecture design has many benefits including aiding comprehension, supporting early analysis, and providing guidance for subsequent development activities. An additional major benefit is if a partial prototype implementation can be automatically generated from a given software architecture design. However, in the past decade less progress was made on automatically realizing software architecture designs. In this paper, we present a translator for automatically generating an implementation from a software architectural description. The implementation not only captures the functionality of the given architecture description, but also contains additional monitoring code for ensuring desirable behavior properties through runtime verification. Our method takes a software description written in SAM, a software architecture model integrating dual formal methods Petri nets and temporal logic, and generates ArchJava/Java/AspectJ code. More specifically, the structure of a SAM architecture description produces ArchJava code, the behavior models of components/connectors represented in Petri nets lead to plain Java code, and the property specifications defined in temporal logic generate AspectJ code;the above code segments are then integrated into Java code. An experimental result is provided.

关键词： 安全信息管理系统   C++语言   敏感信息   程序加密   JAVA   矿井   B/S架构   煤炭生产企业  

摘要： 1引言在C/B/S架构的系统中,如何在WEB模块中利用C++资源,是一个具有普遍性的问题。在开发某煤炭生产企业基于C/B/S架构的矿井安全信息管理系统中(使用C++语言编写),为确保多人共用该系统的安全性和保密性,输入系统中的敏感信息必须经过转换后保存在系统数据库中,不能以原文的方式直接保存。大多基于C/B/S架构的系统,凡是需要对敏感信息进行加密保存的都应该做类似处理。本文采用的加密算法,为由C++语言实现的一个可逆算法,通过软件资源共享的方法,在JA-VA中直接调用已有C++语言的动态链接库(DLL),加密了录入系统中的敏感信息,以更加安全的方式保存。采用这种方法的优点在于:JAVA的***()方法加载需要的DLL,C++加密算法被封装在DLL里面,用户是看不到的。很多系统采用的直接在JAVA里面转换后保存数据的办法,很容易被用户剖析,造成加密算法被公开,加密的敏感信息被窃取,特别是在多个用户安装多套系统时,影响系统安全性。同时,由于各子系统资源共享,也简化了将来软件中加密算法调整带来的维护工作。2JNI简介JNI(Java Native Interface,Java本地化接...

关键词： COMPUTER software   JAVA (Computer program language)   ICONS (Computer graphics)   FLOWGRAPHS  

摘要： A method for an introductory optimization of multithreaded Java programs for execution on clusters of Java Virtual Machines (JVMs) inside desktop grids is presented. It is composed of two stages. In the first stage, a clustering algorithm is applied to extended macro data flow graphs generated on the basis of the byte-code compiled for multithreaded Java programs. These graphs account for data and control dependencies in programs including conditional branch instructions annotated by branch statistics driven from execution traces for representative sets of data. In the second stage, a list scheduling is performed based on the Earliest Task First (ETF) heuristics in which node mapping on JVMs accounts for mutually exclusive paths outgoing from conditional branch nodes. The presented object placement optimization algorithm is a part of the DG-ADAJ environment. (c) 2007 Elsevier B.V. All rights reserved.

关键词： 程序调试   面向方面   程序切片   依赖缓存程序切片  

摘要： 该文针对调试大而复杂的Java程序时存在的问题,提出了使用面向方面技术和依赖缓存程序切片算法实现Java调试工具的思想。为提高程序切片的效率,提出依赖缓存程序切片算法;为减少依赖缓存程序切片算法的编码开销和运行时间开销,提出使用面向方面技术采集动态信息的思想。实验结果表明该工具具有较高的工作效率。

关键词： 单元测试   并发程序   Java   测试策略   MTC  

摘要： 本文介绍了几种Java并发程序的单元测试策略,每种策略都有其各自的优缺点。可以肯定的是,MTC代表了未来并发单元测试的方向。

关键词： program slicing   program dependences   concurrent java   indus   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. [PUBLICATION ABSTRACT]

关键词： 多线程   演示程序   Runnable接口  

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