Test selection for object-oriented software based on formal specifications

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.

[1]  Rocco De Nicola,et al.  Testing Equivalences for Processes , 1984, Theor. Comput. Sci..

[2]  Agnes Arnould.  Test a partir de specifications de structures bornees : une theorie du test, une methode de selection, un outil d'assistance a la selection , 1997 .

[3]  Arnd Poetzsch-Heffter,et al.  Specification and verification of object-oriented programs , 1997 .

[4]  Nicolas Guelfi,et al.  CO-OPN/2: a concurrent object-oriented formalism , 1997 .

[5]  Cécile Péraire,et al.  A Theory of Specification-Based Testing for Object-Oriented Software , 1996, EDCC.

[6]  David Lorge Parnas,et al.  Using assertions about traces to write abstract specifications for software modules , 1978, ECI.

[7]  Alfred Strohmeier,et al.  Open Issues in Testing Object-Oriented Software , 1994 .

[8]  Marie-Claude Gaudel,et al.  Software testing based on formal specifications: a theory and a tool , 1991, Softw. Eng. J..

[9]  Phyllis G. Frankl,et al.  The ASTOOT approach to testing object-oriented programs , 1994, TSEM.

[10]  Robert V. Binder,et al.  Testing object‐oriented software: a survey , 1996 .

[11]  Matthew Hennessy,et al.  The Power of the Future Perfect in Program Logics , 1984, Inf. Control..

[12]  Olivier Biberstein.  CO-OPN/2: An Object-Oriented Formalism for the Specification of Concurrent Systems , 1997 .

[13]  Robin Milner,et al.  Algebraic laws for nondeterminism and concurrency , 1985, JACM.

[14]  Alfred Strohmeier,et al.  Incremental Test Selection for Specification-Based Unit Testing of Object-Oriented Software Based on Formal Specifications , 1997 .