A new static analysis based approach is proposed to detect interface bugs in software. Unlike existing static analyses, which suggest new tools, this approach does not suggest a new tool, but leverages the optimizer w...
详细信息
A new static analysis based approach is proposed to detect interface bugs in software. Unlike existing static analyses, which suggest new tools, this approach does not suggest a new tool, but leverages the optimizer which is part of the compiler already used by programmers. To facilitate the optimizer in detecting the interface bugs of a function, a macro is created which encodes the conditions to be checked for the function arguments. the approach is found to be effective when applied on two already well-tested commercial softwaresystems, where it detected more than 50 bugs.
Variable types of middleware and devices could be required for the construction of home networks. Recently, interoperability among various type of system is emphasized in spite of the increasing cost and complexity of...
详细信息
Variable types of middleware and devices could be required for the construction of home networks. Recently, interoperability among various type of system is emphasized in spite of the increasing cost and complexity of interface. this thesis is dealing withthe control point that can control and interface with variable devices under the home network environments composed of different typed middleware and devices. For example, UPnP devices or other type of devices including software bundle can be used on some framework like OSGi. these devices and software should be operated as one unit system, and for this, we'd like to design and implement control point to handle UPnP devices and other system devices under the home network environments. We applied design pattern for the enforcing reusability and extension of the classes designed.
In computer animation and interactive computer games, gesture and speech modality can be a powerful interface between humans and computers. In this paper, we propose a personal digital assistant (PDA)- based multi-mod...
详细信息
In computer animation and interactive computer games, gesture and speech modality can be a powerful interface between humans and computers. In this paper, we propose a personal digital assistant (PDA)- based multi-modal network game interface using speech, gesture and touch sensations. To verify the validity of our approach, we implement a multi-modal omok game using TCP/IP on a PDA network. the experimental results using the proposed multi-modal network game resulted in an average recognition rate of 97.4%, and accordingly as the weaknesses of uni- modality, such as incorrect command processing by recognition error, are offset by the strengths of other modalities, the user can enjoy a more interactive mobile game interface in any given environment.
software-intensive systems are those in which the computer executing the software is only one of the parts of the system. Problem frames offer a conceptual structure for the development of such systems: that is, a coh...
详细信息
A framework of Non-deterministic Information systems (NISs) is known well for handling information incompleteness in Deterministic Information systems (DISs). Apriori algorithm for the standard tables or DISs is also ...
详细信息
3D visualization has significantly enhanced scientists' ability to discover important new insights into their data. In this paper we focus specifically on associated HCI and human factors of remote 3D visualizatio...
详细信息
Many studies have been done to solve the coverage and connectivity problem of the sensor networks withthe one-hop neighbor location information. In this paper we propose a simple scheme for the coverage and connectiv...
详细信息
Many studies have been done to solve the coverage and connectivity problem of the sensor networks withthe one-hop neighbor location information. In this paper we propose a simple scheme for the coverage and connectivity problem without any location information. We evaluate the performance of the proposed scheme with analytical models and simulations. the simulation results verify the proposed scheme provides both coverage and connectivity guarantees.
the success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distributed programming can quickly compre...
详细信息
ISBN:
(纸本)9783540729198
the success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distributed programming can quickly comprehend the small and intuitive interfaces that these systems typically feature. However, if these users make incorrect assumptions about how the infrastructure services work, a mismatch between the infrastructure and its client applications occurs, which may manifest itself in erroneous client behaviour. We propose a framework for automatically model checking distributed event-based systems in order to discover mismatch between the infrastructure and its clients. Using the SIENA event service as an example, we implemented and evaluated our framework by customizing the Bandera/Bogor tool pipeline. Two realistic Java applications are implemented to test and evaluate the framework.
Many non-homogeneous Poisson process software reliability growth models are characterized by their mean value functions. Mean value functions of coverage-based models are usually obtained as composite functions of the...
详细信息
Many non-homogeneous Poisson process software reliability growth models are characterized by their mean value functions. Mean value functions of coverage-based models are usually obtained as composite functions of the coverage growth function and the function relating the number of detected faults to the coverage. this paper performs empirical evaluation of the relationships between the number of detected faults and the coverage embedded in the coverage- based software reliability growth models. It is also illustrated that integration of well-performing coverage growth functions and relationships between the number of detected faults and the coverage produces well-performing mean value functions.
Dynamic impact analysis based on program executions has shown promise in aiding tasks in the life cycle of large-scale systems. Dynamic impact analysis techniques have shown to produce more precise results than static...
详细信息
Dynamic impact analysis based on program executions has shown promise in aiding tasks in the life cycle of large-scale systems. Dynamic impact analysis techniques have shown to produce more precise results than static impact analysis [1]. However, current dynamic impact analysis techniques lack important features such as analysis of dependency among program entities and consideration of object-oriented programs ' features. thus they may produce imprecise results. In this paper, we present a precise dynamic impact analysis approach for object-oriented programs. this approach considers the characteristics of object- oriented programs and performs dependency analysis which may potentially reduce the impact sets by eliminating elements that do not have dependency on the changed elements. Even though our discussion in this paper is based on Java TM programming language, this approach can be carried out in a language independent manner for broader applications.
暂无评论