Test Selection for Object-Oriented Software Based on Formal Specifications

• Published in: IFIP Working Conference on Programming Concepts and Methods (PROCOMET'98), Shelter Island, New York, USA, June 1998, p. 385-403
• Chapman & Hall, 1998

We propose a method of test selection based on formal specifications, for functional 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 while preserving its qualities: regularity hypotheses are used to constrain the shape of tests while uniformities, with or without subdomain decomposition, are used to limit the values of the variables appearing in the tests. Care is taken to provide a method for which operational methods can be implemented.

Keywords: Paper ; Testing ; PeraireMain ; Conform ; peraire

Note:

Also available as Technical Report EPFL-DI No 97/252, Published in DeVa second year report (January 98)

Reference

• LGL-CONF-1998-010

Record created on 2005-09-20, modified on 2016-08-08