Automation and intelligent scheduling of distributed system functional testing: Model-based functional testing in practice

Abstract : This paper presents the approach to functional test automation of services (black-box testing) and service archi-tectures (grey-box testing) that has been developed within the MIDAS project and is accessible on the MIDAS SaaS. In particular , the algorithms and techniques adopted for addressing input and oracle generation, dynamic scheduling, and session planning issues supporting service functional test automation are illustrated. More specifically, the paper details: (i) the test input generation based on formal methods and temporal logic specifications, (ii) the test oracle generation based on service formal specifications, (iii) the dynamic scheduling of test cases based on probabilistic graphical reasoning, and (iv) the reactive, evidence-based planning of test sessions with on the fly generation of new test cases. Finally, the utilisation of the MIDAS prototype for the functional test of operational services and service architectures in the healthcare industry is reported and assessed. A planned evolution of the technology deals with the testing and troubleshooting of distributed systems that integrate connected objects.
Type de document :
Article dans une revue
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, 19 (3), pp.281-308. <10.1007/s10009-016-0440-3>
Liste complète des métadonnées


http://hal.upmc.fr/hal-01397009
Contributeur : Gestionnaire Hal-Upmc <>
Soumis le : mardi 15 novembre 2016 - 12:34:32
Dernière modification le : mardi 13 juin 2017 - 01:12:21
Document(s) archivé(s) le : jeudi 16 mars 2017 - 18:40:08

Fichier

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

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Pas de modification 4.0 International License

Identifiants

Collections

Citation

Lom Messan Hillah, Ariele-Paolo Maesano, Fabio De Rosa, Fabrice Kordon, Pierre-Henri Wuillemin, et al.. Automation and intelligent scheduling of distributed system functional testing: Model-based functional testing in practice. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, 19 (3), pp.281-308. <10.1007/s10009-016-0440-3>. <hal-01397009>

Partager

Métriques

Consultations de
la notice

98

Téléchargements du document

9