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.
Document type :
Journal articles
Liste complète des métadonnées

Cited literature [65 references]  Display  Hide  Download

https://hal.sorbonne-universite.fr/hal-01397009
Contributor : Gestionnaire Hal-Upmc <>
Submitted on : Tuesday, November 15, 2016 - 12:34:32 PM
Last modification on : Thursday, March 21, 2019 - 1:11:20 PM
Document(s) archivé(s) le : Thursday, March 16, 2017 - 6:40:08 PM

File

Hillah_2016_Automation_and.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NonCommercial - NoDerivatives 4.0 International License

Identifiers

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⟩

Share

Metrics

Record views

544

Files downloads

228