教学课程资源库 更多>>

关键词： Experimentation   Languages   Separation of concerns   distributed computing   Java   middleware   RMI   bytecode engineering  

摘要： J-Orchestra is a system that enhances centralized Java programs with distribution capabilities. Operating at the bytecode level, J-Orchestra transforms a centralized Java program (i.e., running on a single Java Virtual Machine (JVM)) into a distributed one (i.e., running across multiple JVMs). This transformation effectively separates distribution concerns from the core functionality of a program. J-Orchestra follows a semiautomatic transformation process. Through a GUI, the user selects program elements (at class granularity) and assigns them to network locations. Based on the user's input, the J-Orchestra backend automatically partitions the program through compiler-level techniques, without changes to the JVM or to the Java Runtime Environment (JRE) classes. By means of bytecode engineering and code generation, J-Orchestra substitutes method calls with remote method calls, direct object references with proxy references, etc. It also translates Java language features (e.g., static methods and fields, inheritance, inner classes, new object construction, etc.) for efficient distributed execution. We detail the main technical issues that J-Orchestra addresses, including its mechanism for program transformation in the presence of unmodifiable code (e.g., in JRE classes) and the translation of concurrency and synchronization constructs to work correctly over the network. We further discuss a case study of transforming a large, commercial, third-party application for efficient execution in a client server environment and outline the architectural characteristics of centralized programs that are amenable to automated distribution with J-Orchestra.

关键词： Software testing   test cases generation   UML activity diagrams   Java  

摘要： Test case generation based on design specifications is an important part of testing processes. In this paper, Unified Modeling Language activity diagrams are used as design specifications. By setting up several test adequacy criteria with respect to activity diagrams, an automatic approach is presented to generate test cases for Java programs. Instead of directly deriving test cases from activity diagrams, this approach selects test cases from a set of randomly generated ones according to a given test adequacy criterion. In the approach, we first instrument a Java program under testing according to its activity diagram model, and randomly generate abundant test cases for the program. Then, by running the instrumented program we obtain the corresponding program execution traces. Finally, by matching these traces with the behavior of the activity diagram, a reduced set of test cases are selected according to the given test adequacy criterion. This approach can also be used to check the consistency between the program execution traces and the behavior of activity diagrams.

关键词： JML   Java Card   JCML   Compiler   Runtime Verification  

摘要： Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical, highly distributed, mobile conditions. They are required to be portable and safe. Often, the requirements of the application impose the use of dynamic, on-card verifications, but most of the research developed to improve safety of Java Card applets concentrates on static verification methods. This work presents a runtime verification approach based on Design by Contract to improve the safety of Java Card applications. To this end, we propose JCML (Java Card Modeling Language) a specification language derived from JML (Java Modeling Language) and its implementation: a compiler that generates runtime verification code. We also present some experiments and quality indicators.

关键词： “Java程序设计”   教学改革  

摘要： 对"Java程序设计"课程教学中存在的问题及原因进行了研究和分析;以提高学生学习兴趣和教学质量为目的,针对性地提出了这门课程的教学改革思路、手段和方法。

关键词： 面向对象   图形编辑   接口  

摘要： 面向对象的代表语言JAVA日趋流行,它的应用范围也越来越广泛。在此背景下,文中针对JAVA在图形编辑领域中的应用从结构方面进行了探讨和研究,以接口的灵活运用为手段实现了结构的优化,并突出了接口在程序构筑中的"桥梁"作用。可以看出,以对象为主题构建的主体结构和接口的适当穿插,使整个图形编辑程序在实现了多种功能的前提下,结构清晰,简明高效,并且可以在需要的时候很方便地对程序功能进行扩充。另外,文中的例子也反映出基于JAVA的编程过程中类的继承和接口的实现两者间重要的互补性,通过两者的结合,往往可以使疑难杂症迎刃而解。

关键词： Java教学   教学方法改革   项目  

摘要： 目前,虽然很多高校都将《Java程序设计》作为计算机专业的核心课程,但是在教学过程中却出现了学生参与不积极,教学效果差等问题。本文分析了造成这种状况的原因,提出了一种适应《Java程序设计》课程的教学模式,并讨论了实施过程中的注意事项。

关键词： JAVA语言   面向对象程序设计   教学改革   程序设计  

摘要： Java语言是Java体系的基础语言,是目前流行度最高的语言,软件产业对Java程序员需求量较大。本文分析了Java语言教学中存在的问题,探讨了学生学好该门课程的关键,从教学内容、实践环节、教学手段、教师素质、激励手段等方面进行教学改革探讨。在实际教学中进行改革之后,学生学习主动性明显增强,分析问题、解决问题能力大大提高,基本上能灵活运用Java语言进行程序设计,为后续课程的学习打下了良好的基础。

关键词： Historical seismological data   Java   Software   b-Value   Kampan  

摘要： The seismological records of past events provide insight into the seismic activities in an area. They help in preparing long-term plans to manage earthquake disasters. We present a system to display and analyse historical seismological data using the Java-based software application Kampan 2006. This interactive multi-purpose tool can display and analyse seismological data with a simple click of the mouse. The design and development of Kampan 2006 strictly followed the concepts of software engineering. We used the programming capabilities of Java to the fullest extent in developing Kampan 2006. (C) 2009 Elsevier Ltd. All rights reserved.

ISBN: (纸本)9787302205142

关键词： Java程序设计   课堂教学   教学设计  

摘要： 以Java程序设计课程为例，从教学模式设计、课堂教学采取的具体措施、现代教育手段的应用3个方面，阐述这门课程的课堂教学改革，有一定的推广价值。