Automated software test generation has been applied across the spectrum of test case design methods; this includes white-box (structural), black-box (functional), greybox (combination of structural and functional) and nonfunctional testing. In this paper, we undertake a systematic mapping study to present a broad review of primary studies on the application of search-based optimization techniqu...

The evolution of complex distributed software systems often requires intricate composition operations in order to adapt or add functionalities, to react to unanticipated changes, or to apply performance improvements that cannot be modularized in terms of existing services and components. These evolutions often need controlled access to selected parts of the implementation, e.g., to manage excep...

This paper tackles the problem of structural integration testing of stateful classes. Previous work on structural testing of objectoriented software exploits data flow analysis to derive test requirements for class testing and defines contextual def-use associations to characterize inter-method relations. Non-contextual data flow testing of classes works well for unit testing, but not for integ...

With pairwise testing, the test model is a list of N parameters. Each test case is an N -tuple; the test space is the cross product of the N parameters. A pairwise test is a set of N -tuples where every pairwise combination of the parameter values is contained in at least one of the N -tuples. Well-known algorithms generate pairwise test sets far smaller than the test space. Pairwise testing ha...

The goal of this paper is to describe how to apply a rigorous framework for modular speciication and validation to a real-time critical system. We are especially interested in generation of functional test sets from a structured speciication of the system. We adopt a theoretical framework for black-box testing from formal spec-iications. Thanks to our modular speciication framework, we can take...

A novel Object-Oriented class testing approach, proposed in this paper, combines functional with structural testing techniques. Based on state-based testing, test cases generated from the MACT (Method for Automatic Class Testing) tool can be used to execute functional testing. The definition-use information of data members, occur in public member functions of a class under test, is generated fr...

This paper tackles the problem of structural integration testing of stateful classes. Previous work on structural testing of objectoriented software exploits data flow analysis to derive test requirements for class testing and defines contextual def-use associations to characterize inter-method relations. Non-contextual data flow testing of classes works well for unit testing, but not for integ...

The development and implementation of a novel structural testing method involving the combined use of shake tables, actuators, and computational engines for the seismic simulation of structures is presented herein. The hybrid simulation is intended to discover through physical testing the behavior of parts or whole substructure assemblies for which knowledge is limited, while the known parts of...

In this paper we propose a sequential testing approach for a structural change in the variance of a time series, which amounts to a procedure with a controlled asymptotic size as we repeat the test. Our approach builds on that taken in Chu, Stinchcombe & White (1996) for structural change in the parameters of a linear regression model. We provide simulation evidence to examine the empirical siz...

As hypothesized by Gaspard Monge in the eighteenth century, white surfaces have a unique property that distinguishes them from other coloured specular surfaces. We test his hypothesis using modern digital imagery and find it to hold. We then incorporate it into an algorithm that identifies white surfaces when the illumination colour is unknown. Since white surfaces reflect the colour of the inc...