Testing Prototypes Validity to Enhance Code Reuse

D. Buchs, A. Diagne, F. Kordon

LIP6 1998/017: Rapport de Recherche LIP6 / LIP6 research reports
7 pages - Avril/April 1998 - Document en anglais.

PostScript : 50 Ko /Kb

Contact : par mail / e-mail

Thème/Team: Systèmes Répartis et Coopératifs

Titre français : Tests de prototypes pour améliorer la réutilisabilité de leurs composants
Titre anglais : Testing Prototypes Validity to Enhance Code Reuse


Résumé : La complexité des systèmes répartis pose un problème lorsqu'il s'agit de les vérifier. De tels systèmes sont souvent construits par assemblage de composants parmi lesquels seuls certains sont développés. Les autres préexistent; on ne dispose pas toujours de leur spécification ou de leurs sources. Il est donc intéressant de supporter l'intégration de tels composants dans un processus de spécification et de vérification, même s'il est difficile de les évaluer individuellement.
Cet article propose une utilisation de techniques de spécifications structurées pour générer des jeu de tests de taille raisonnables permettant d'évaluer le comportement de composants à intégrer dans un système.
Pour cela, nous proposons d'exploiter la description externe d'un composant en utilisant le formalisme OF-CLass (encapsulation de réseaux de Petri). Des profils de tests sont alors définis en s'appuyant sur la logique HML en vue de produire automatiquement les jeux de tests correspondants.

Abstract : The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newly developed ones. Actually, it is valuable to handle the integration of external pieces of software in the specification and testing activities. However, it is difficult to validate them formally unless doing reverse-engineering (which is a heavy procedure).
This paper proposes to use structured formal specifications to generate a reasonable set of tests that evaluate behavior of software components in order to get an answer to both questions.
To do so, we use the description of components' external behavior and express it using the OF-Class formalism (an encapsulation of Colored Petri Nets). Test patterns are generated using an appropriate formalism, HML logic, and exploit various hypotheses corresponding to users' testing procedure.


Mots-clés : Réseaux de Petri, Tests, Génération de tests, HML

Key-words : Petri Nets, Tests, Test generation, HML


Publications internes LIP6 1998 / LIP6 research reports 1998

Responsable Éditorial / Editor
webmaster@lip6.fr