LIP6 1998/017
- Rapports de recherche
Tests de prototypes pour améliorer la réutilisabilité de leurs composants - D. Buchs, A. Diagne, F. Kordon
- 7 pages - 30/04/1998- document en - http://www.lip6.fr/lip6/reports/1998/lip6.1998.017.ps.gz - 52 Ko
- Contact : Didier.Buchs (at) nulldi.epfl.ch, Alioune.Diagne (at) nulllip6.fr, Fabrice.Kordon (at) nulllip6.fr
- Ancien Thème : SRC
- Mots clés : Réseaux de Petri, Tests, Génération de tests, HML
- Directeur de la publication : Denis.Poitrenaud (at) nulllip6.fr
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.
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.