Testing of Abstract Components

Abstract : In this paper, we present a conformance testing theory for Barbosa's abstract components. This is made possible by defining fi rst a trace model for components by causal transfer functions, that is functions of data flow transformations rythmitical by discrete instants. This then allows us to exploit a particular analysis technique to define a test selection strategy based on test purposes de ned as some subtrees of the execution tree built from component traces. Moreover, we show in this paper that Barbosa's de nition of components is abstract enough to subsume a large family of state-base formalisms such as Mealy automata, Labeled Transition Systems (LTS), Input Output Labeled Transition Systems (IOLTS), etc. by instantiating the monads underlying Barbosa's defi nition. Hence, the conformance theory presented in this paper is de facto a generalization of standard ones we nd for di erent state-base formalisms.
Type de document :
Communication dans un congrès
ICTAC 2010 - International Conference on Theoretical Aspect of Computing., Sep 2010, Brazil. pp.184-198, 2010
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal-ecp.archives-ouvertes.fr/hal-00782893
Contributeur : Marc Aiguier <>
Soumis le : jeudi 11 avril 2013 - 16:35:15
Dernière modification le : mardi 21 août 2018 - 11:40:04
Document(s) archivé(s) le : vendredi 12 juillet 2013 - 03:05:10

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00782893, version 1

Collections

Citation

Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil. Testing of Abstract Components. ICTAC 2010 - International Conference on Theoretical Aspect of Computing., Sep 2010, Brazil. pp.184-198, 2010. 〈hal-00782893〉

Partager

Métriques

Consultations de la notice

304

Téléchargements de fichiers

226