Des classes autotestables - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 1999

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.
Fichier principal
Vignette du fichier
lmo.pdf (85.34 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00776490 , version 1 (12-03-2019)

Identifiants

  • HAL Id : hal-00776490 , version 1

Citer

Daniel Deveaux, Jean-Marc Jézéquel. Des classes autotestables. LMO'99, Jan 1999, Villefranche sur Mer, France. ⟨hal-00776490⟩
161 Consultations
32 Téléchargements

Partager

More