Des classes autotestables
Résumé
Dans le double but d'améliorer le processus de développement et de maintenance des com-posants logiciels et de disposer d'un support pédagogique cohérent pour l'apprentissage de la programmation par objets, nous avons développé le concept de classe auto-testable. Ce concept est étroitement lié à l'approche de programmation contractuelle introduite par B.Meyer et aux besoins d'auto-documentation des composants logiciels. Après avoir précisé la nature et les objectifs des tests que nous souhaitons réaliser, nous spécifions un modèle général de classe auto-testable, indépendant du langage utilisé, et nous en précisons les modalités d'application. Des prototypes d'implémentation en Eiffel, Perl, Java et C++ ont été réalisés et exploités dans diverses situations. Pour les trois derniers langages, cette implémentation a conduit au développement d'un mécanisme simple de chien de garde des contrats. ABSTRACT. We define the concept of Self-Testable Class with a double aim: to improve the process of software components development and maintenance, and to have a coherent teaching support for object oriented programming training. This concept is closely related to the so-called "programming by contracts" approach (B.Meyer) and to the software components self-documentation. We show the nature and the objectives of the tests in an object oriented software development. Then, we specify a general, language independent Self-Testable Class model. A simple example is given. Implementation prototypes in Eiffel, Perl, Java and C++ have been produced and exploited in various situations. For all but the first one, this implementation has required the development of a simple "contracts watchdog" mechanism.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...