Testing concurrent programs remains a difficult task due to the non-deterministic nature of concurrent execution. Many approaches have been proposed to tackle the complexity of uncovering potential concurrency bugs. Static analysis tackles the problem by analyzing a concurrent program looking for situations/patterns that might lead to possible errors during execution. In general, static analysis cannot precisely locate all possible concurrent errors. Dynamic testing examines and controls a program during its execution also looking for situations/patterns that might lead to possible errors during execution. In general, dynamic testing needs to examine all possible execution paths to detect all errors, which is intractable. Motivated by these observation, a new testing technique is developed that uses a collaboration between static analysis and dynamic testing to find the first potential error but using less time and space. In the new collaboration scheme, static analysis and dynamic testing interact iteratively throughout the testing process. Static analysis provides coarse-grained flow-information to guide the dynamic testing through the relevant search space, while dynamic testing collects concrete runtime-information during the guided exploration. The concrete runtime-information provides feedback to the static analysis to refine its analysis, which is then feed forward to provide more precise guidance of the dynamic testing. The new collaborative technique is able to uncover the first concurrency-related bug in a program faster using less storage than the state-of-the-art dynamic testing-tool Java PathFinder. The implementation of the collaborative technique consists of a static-analysis module based on Soot and a dynamic-analysis module based on Java PathFinder.

Conventionally, pilots control ROV (Remotely Operated Vehicle) with on-board console connected to the vehicle with a power/signal tether. For those who want to operate the vehicle or observe the underwater scenery would need to sit right by the console. Operation of the vehicle or the real time data acquired by vehicle's sensors is not possible or available for the scientist who is not on-board. Recently, there has been a vast development and application of Internet technology on both new emerging fields and conventional fields as well. This motivates us to design an Internet-based man-machine interface to overcome the aforementioned limits. We choose Java to be the core language for its excellency in communication, security, portability and graphics user interface (GUI). On the other hand, Java suffers from lacking the interface to do low level access to the hardware of the computer. This means that Java can not accomplish hardware control by itself. However, this limitation can be removed by including JNI (Java Native Interface) which provides a protocol for Java to communicate with DLL written in C. Security is also a major concern of Internet-based applications. We use Java's built-in security package to carry out "Message Digest" computation for the login authentication. Different level of privileges are given to the users according to their user name and password. So any user who has access to Internet can use internet browser (Microsoft IE or Netscape) to control the system remotely. In this thesis, we use a CCD camera mounted on a stepping motor to represent the whole ROV system. Different subject users over the TANET, including NTOU in Keelung, ME and IUT NSYSU in Kaohsiung, are tested. We find that under the current internet infrastructure in Taiwan, our system can deliver as least one 160x120 24-bit color frame every 2 seconds or so. Control commands for the stepping motor experiences no significant delay. This preliminary result indicates a similar structure can be adopted in developing I.A (Information Appliance).

Video on demand (VoD) services are becoming more and more popular today. As high bandwidth communication infrastructure is being established in many countries around the world, high bandwidth communication lines will reach millions of family in the near future. Due to the increasing improvement of communication technology, more and more families enjoy the VoD services which are provided by telecommunication companies and cable TV provider via the Internet. In such a case, scalability and fault tolerance will be the key issues. We propose an architecture for VoD services which is based on multi-server circumstance. In our proposed architecture, each movie is replicated on a subset of the servers. When a server crashes or disconnects from its clients, it is replaced by another server in a transparent way. Regarding of load balancing problem, clients are also migrated from one server to another when a new server is brought up. The benefit of our service is to use common hardware and general network technologies (e.g. TCP/IP). In addition, we provide a machine-independent environment to let the servers and clients execute on any machine through the network. Furthermore, we can get the media players from a web browser by utilizing the cross-platform characteristics of Java. The client host does not need to install any relevant applications. Since Java Media Framework (JMF) provides a unified architecture and messaging protocol for managing the acquisition, processing, and delivery of time-based media data. It can support many standard media content types, such as AIFF, AVI, MIDI, MPEG, QuickTime, and WAV. Using JMF, we can create applets and applications to present, manipulate, and store time-based media.

none

Graphic-Monitor software on market always emphasizes a friendly User-Interface, many types of controllers or devices support, convenient Network-Communication and to communicate with related Database. Nevertheless, I/O control interface cards are not supported by the Graphic-Monitor software. Only Programmable Logic Controllers and Distributed Input/Output modules are supported. In addition, although it provides many basic functions to set devices¡¦ action process, it doesn¡¦t allow user to write complex motion control program. This limits the flexibility of motion control. The solution in the academia is to use various kinds of programming language like C++ Builder or LabVIEW as the development tools. And then, depends on the demand of the hardware to develop Human Machine Interfaces of production devices. Although these programming languages are very powerful, they are too expensive and platform-dependent. In this thesis, a platform independent and cost-free programming language, Java, is adopted to develop a human-machine-interface of an automatic production system integrated with various kinds of I/O control cards. This HMI has the following features: -- Consists of data monitoring, motion control, image inspection, and network communication modules; -- Can run under any operation system; -- Cost-effective. Two integrated examples are implemented with this HMI in the lab. One is ¡¥Production system remote control¡¦ that combines the motion control and network communication modules; another is ¡¥Vision introduce search and positioning system¡¦, in which the motion control and image inspection modules are used.

As the Information Age coming, more and more factories take the advantages of automation control. Therefor, the Human-Machine Interface(HMI) System are getting more and more important. So, building a HMI System with high flexibility and low cost has become an important point. This research is focused on the flexibility of HMI program. We use a new structure of program, add a common interface between each level to make each level more independent. And we take the conception of ¡§Design Patterns¡¨ of GOF to make each module more flexible. Then, we design a new way for the module communication.

<p>Detta arbete har utförts på WM-data i Skövde och gick ut på att skapa ett ledningsinformationssystem i webbmiljö. Systemets uppgift var att förse användaren med information om vårdplatsbeläggningen på tre av Skaraborgsläns sjukhus. Systemet skapades som en webbapplikation vilken med hjälp av Java applets kommunicerar med databaser som innehåller informationen. Arbetet resulterade i en webbapplikation, en systemspecifikation för applikationen och en examensarbetesrapport.</p>

<p>Detta arbete är det första steget i en lång process vars slutgiltiga mål är att utveckla en metod för automatisk övergång från en icke-generisk objektorienterad applikation till en generisk.</p><p>Helst borde stöd för en sådan transformation implementeras i en utvecklingsmiljö, IDE. En analogi skulle kunna dras till faktorisering av klasser, en operation som stöds av de flesta utvecklingsmiljöer idag. Som ett första steg i en pågående process är detta arbete tänkt att fungera som ett icke-trivialt exempel för framtida analys. Exemplet består av ett icke-generisk och ett generisk grafpaket som är skrivet i Java 1.4.2 respektive Java 5.0. Uppsatsen beskriver övergången från den icke-generiska till den generiska lösningen på systematiskt sätt som går att upprepa. Tanken är att detta arbete även skall kunna appliceras på andra språk och applikationer i framtiden.</p> / <p>This work is the first step in a long process, which final goal is to develop a method that automatically allows you to go from a non-generic object-oriented program to a generic one. Preferably, support for such a conversion should be implemented in an Integrated Development Environment (IDE). An analogy could be drawn to the factorisation of classes, an operation supported by the most common IDEs today. As a first step in an ongoing process, this work is meant to be a non-trivial example for future analysis. The example project constitutes of a non-generic and a generic graph package, which is written in Java 1.4.2 and Java 5.0 respectively. The thesis describes the transition from the non-generic to the generic solution in a systematic and repeatable way. The idea is that this work could be applied to other languages and applications in the future, as well.</p>

<p> </p><p>Renovate a program is always a hard work and full of problems. It requires a good knowledge of the old program and research and investigation. RECODER is a tool for supporting static metaprogramming of Java program sources. This tool has been patches over and over again since the new versions of Java were coming out. Because of that the code starts to be dirty and with a lot of patches. In order to clean up the implementation the code should be renovated.</p><p>In this thesis, we present the changes that were introduced to the grammar and the implementation of the new parser for RECODER using a different technology.</p><p> </p> / RECODER

<p>This master’s thesis intention is to develop a Java language framework with XAP providing state provisioning function. The idea is that the state from an application should be transferred between different application instances opening up for continuous application use. By using our framework prototype, applications which are provided by XAP can implement the state provisioning function. We first introduce our framework and its core mechanisms. To be able to verify it, we also present an evaluation of the feasibility and practicability of our framework.</p>