Test Selection for Object-Oriented Software Based on Formal Specifications

We propose a method of test selection based on formal specifications, for specification-based testing of object-oriented software. This method is based on rigorous theoretical foundations. To limit the size of test sets, we present several hypotheses specific to object-oriented systems, used to reduce an exhaustive test set into a pertinent test set. Regularity hypotheses are used to constrain the shape of test cases while uniformities, with or without subdomain decomposition, are used to limit the values of the variables appearing in the test cases. Care is taken to provide a method for which operational techniques can be implemented.