Automatic white-box test generation is a challenging problem. Many existing tools rely on complex code analyses and heuristics. As a result, structural features of an input program may impact tool effectiveness in ways that tool users and designers may not expect or understand. We develop a technique that uses structural program metrics to both predict and explain the test coverage achieved by ...

Web Services are the basic building blocks of next generation Internet applications, based on dynamic service discovery and composition. Dedicated discovery services will store both syntactic and behavioral descriptions of available services and guarantee their compatibility with the requirements expressed by clients. In practice, however, interactions may still fail because the Web Service’s i...

architecture and GAL program. An abstract architectureX is defined by a pairX = 〈R,M〉 where R is a finite set of variables ranging over m-words and M is a finite set of (disjoint) arrays of mwords, called memory regions (shortly, m-regions). Each m-region is indexed by non-negative integer values, called addresses. A memory location (m-loc) is defined as being either a register or the cell of a...

Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and very expensive. Even determining the quality of software is not easy. Testing is by far the most used way to estimate the quality of software. Testing itself is not easy and time consuming. In order to reduce the costs...

Web Services fall under the so-called emerging technologies category and are getting more and more used for Internet applications or business transactions. Currently, there is an important need for validation techniques of web service based architectures. Web services, that are currently proposed into UDDI registries, are not always tested. And for most of them, no specification is provided. So...

As web applications become more and more prevalent, the quality assurance of web applications has become more and more important. Due to the complexity of the underlying technologies of web applications, it is more challenging to test web applications than conventional software. It is critical to develop effective methodologies and tools for testing web applications. In this paper, we propose a...

A promising therapy for ventricular fibrillation--a life-threatening cardiac arrhythmia--is implantation of an automatic defibrillator. A critical component of such a device is the system that detects the presence of ventricular fibrillation. Automatic systems for detecting ventricular fibrillation have been tested with arrhythmias produced by electric shocks in normal canine hearts, but have n...

This paper presented an intelligent motor test system in order to adapt the development trend of larger data scale and more complicated acquisition environment, and solve the low efficiency problem of motor testing device. It described the scheme of computer automatic data acquisition and processing system, application program structure and distributed network group control strategy of the inte...

We introduce an automatic and open kernel testing system. We argue that only by opening a test system to the community and aggregating the results from a variety of sources can one get a comprehensive picture of the kernel’s performance status. Our system can also help identifying problems with specific parts of code whether it is a device driver, some other module, or platform-specific code. D...

It is presented a promising approach to test interactive components, supporting the automatic generation of test cases from a specification. The relevance and difficulties (issues and challenges) associated with the testing of interactive components are first presented. It is shown that a formal specification with certain characteristics allows the automatic generation of test cases while solvi...