Testing Prototypes Validity to Enhance Code Reuse - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1998

Testing Prototypes Validity to Enhance Code Reuse

Tests de prototypes pour améliorer la réutilisabilité de leurs composants

Didier Buchs
  • Fonction : Auteur
Fabrice Kordon

Résumé

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

Dates et versions

hal-02547723 , version 1 (20-04-2020)

Identifiants

  • HAL Id : hal-02547723 , version 1

Citer

Didier Buchs, Alioune Diagne, Fabrice Kordon. Testing Prototypes Validity to Enhance Code Reuse. [Research Report] lip6.1998.017, LIP6. 1998. ⟨hal-02547723⟩
22 Consultations
33 Téléchargements

Partager

Gmail Facebook X LinkedIn More