Compositional Random Testing Using Extended Symbolic Transition Systems

Abstract : The fast growth in complexity of embedded and software enabled systems requires for automated testing strategies to achieve a high system quality. This raise of complexity is often caused by the distribution of functionality over multiple control units and their connection via a network. We define an extended symbolic transition system (ESTS) and their compositional semantics to reflect these new requirements imposed on the test generation methods. The introduced ESTS incorporates timed behavior by transition execution times and delay transitions. Their timeout can be defined either by a constant value or an attribute valuation. Moreover we introduce a communication scheme used to specify the compositional behavior and define a conformance relation based on alternating simulation. Furthermore we use the conformance relation as the basis for a simple random test generation technique to verify the applicability of the presented approach. This formal framework builds the foundation of our UML test case generator.
Type de document :
Communication dans un congrès
Burkhart Wolff; Fatiha Zaïdi. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. Springer, Lecture Notes in Computer Science, LNCS-7019, pp.179-194, 2011, Testing Software and Systems. 〈10.1007/978-3-642-24580-0_13〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01583918
Contributeur : Hal Ifip <>
Soumis le : vendredi 8 septembre 2017 - 10:05:28
Dernière modification le : vendredi 8 septembre 2017 - 10:08:39

Fichier

978-3-642-24580-0_13_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Christian Schwarzl, Bernhard Aichernig, Franz Wotawa. Compositional Random Testing Using Extended Symbolic Transition Systems. Burkhart Wolff; Fatiha Zaïdi. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. Springer, Lecture Notes in Computer Science, LNCS-7019, pp.179-194, 2011, Testing Software and Systems. 〈10.1007/978-3-642-24580-0_13〉. 〈hal-01583918〉

Partager

Métriques

Consultations de la notice

16

Téléchargements de fichiers

2