Self-testable components: from pragmatic tests to design-for-testability methodology

Abstract : Testing is a key aspect of software development, because of its cost and impact on final product reliability. Classical views on testing and their associated testing models, based on the waterfall model, are not well-suited to an OO development process. The standardization of semi-formal modeling methods, such as UML, reveals this trend: testing can no longer be separated from specification/design/code stages. A test approach integrated with the OO process must be defined with an associated testing philosophy. The approach presented in this paper aims at providing a consistent framework for building trust into components. By measuring the quality of test cases, we seek to build trust in a component passing those test cases. We present a pragmatic approach for linking design and test of classes, seen as basic unit test components. Components are self-testable by enhancing them with embedded test sequences and test oracles. Self-testable components serve as building blocks for performing systematic integration and non-regression testing. The main contribution presented in this paper consists of using component self-tests to systematically exercise main system structural dependencies. This approach has been implemented in the Eiffel, Java, Perl and C++ languages. Since it is simpler, due to the direct support for Design-by-Contract TM in the language, the Eiffel implementation is detailed here.
Type de document :
Communication dans un congrès
TOOLS Europe 1999, Jun 1999, RENNES, France. 1999
Liste complète des métadonnées

https://hal.inria.fr/hal-00776493
Contributeur : Jean-Marc Jézéquel <>
Soumis le : mardi 12 mars 2019 - 09:50:30
Dernière modification le : mardi 12 mars 2019 - 09:56:17

Fichier

TE99.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00776493, version 1

Citation

Daniel Deveaux, Jean-Marc Jézéquel, Yves Le Traon. Self-testable components: from pragmatic tests to design-for-testability methodology. TOOLS Europe 1999, Jun 1999, RENNES, France. 1999. 〈hal-00776493〉

Partager

Métriques

Consultations de la notice

280

Téléchargements de fichiers

25