Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations

Abstract : This paper presents a model-based black-box testing approach for dynamically adaptive systems. Behavioral models of such systems are formally specified using timed automata. With the aim of obtaining the new test suite and avoiding its regeneration in a cost effective manner, we propose a selective test generation approach. The latter comprises essentially three modules: (1) a model differencing module that detects similarities and differences between the initial and the evolved behavioral models, (2) an old test classification module that identifies reusable and retestable tests from the old test suite, and finally (3) a test generation module that generates new tests covering new behaviors and adapts old tests that failed during animation. To show its efficiency, the proposed technique is illustrated through the Toast application and compared to the classical Regenerate All and Retest All approaches.
Type de document :
Communication dans un congrès
Khaled El-Fakih; Gerassimos Barlas; Nina Yevtushenko. 27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. Lecture Notes in Computer Science, LNCS-9447, pp.224-239, 2015, Testing Software and Systems. 〈10.1007/978-3-319-25945-1_14〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01470172
Contributeur : Hal Ifip <>
Soumis le : vendredi 17 février 2017 - 10:32:10
Dernière modification le : vendredi 17 février 2017 - 10:37:06
Document(s) archivé(s) le : jeudi 18 mai 2017 - 14:08:03

Fichier

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

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Mariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel. Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations. Khaled El-Fakih; Gerassimos Barlas; Nina Yevtushenko. 27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. Lecture Notes in Computer Science, LNCS-9447, pp.224-239, 2015, Testing Software and Systems. 〈10.1007/978-3-319-25945-1_14〉. 〈hal-01470172〉

Partager

Métriques

Consultations de la notice

84

Téléchargements de fichiers

8