Academic Journal
Automation and intelligent scheduling of distributed system functional testing ; Automation and intelligent scheduling of distributed system functional testing: Model-based functional testing in practice
| العنوان: | Automation and intelligent scheduling of distributed system functional testing ; Automation and intelligent scheduling of distributed system functional testing: Model-based functional testing in practice |
|---|---|
| المؤلفون: | Hillah, Lom Messan, Maesano, Ariele-Paolo, de Rosa, Fabio, Kordon, Fabrice, Wuillemin, Pierre-Henri, Fontanelli, Riccardo, Di Bona, Sergio, Guerri, Davide, Maesano, Libero |
| المساهمون: | Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Université Paris Nanterre (UPN), DECISION, Simple Engineering France (SEF), Dedalus S.p.A, This research has been conducted in the context of the MIDAS project (EC FP7 Project Number 318786) partially funded by the European Commission., European Project: 318786,EC:FP7:ICT,FP7-ICT-2011-8,MIDAS(2012) |
| المصدر: | ISSN: 1433-2779. |
| بيانات النشر: | HAL CCSD Springer Verlag |
| سنة النشر: | 2017 |
| المجموعة: | Université Paris Lumières: HAL |
| مصطلحات موضوعية: | Test scheduling, Test automation, Model-based test generation, Service testing, Test prioritisation, Test planning, [INFO]Computer Science [cs] |
| الوصف: | International audience ; 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. |
| نوع الوثيقة: | article in journal/newspaper |
| اللغة: | English |
| Relation: | info:eu-repo/grantAgreement/EC/FP7/318786/EU/Model and Inference Driven, Automated testing of Services architectures/MIDAS; hal-01397009; https://hal.sorbonne-universite.fr/hal-01397009; https://hal.sorbonne-universite.fr/hal-01397009/document; https://hal.sorbonne-universite.fr/hal-01397009/file/Hillah_2016_Automation_and.pdf |
| DOI: | 10.1007/s10009-016-0440-3 |
| الاتاحة: | https://hal.sorbonne-universite.fr/hal-01397009 https://hal.sorbonne-universite.fr/hal-01397009/document https://hal.sorbonne-universite.fr/hal-01397009/file/Hillah_2016_Automation_and.pdf https://doi.org/10.1007/s10009-016-0440-3 |
| Rights: | http://creativecommons.org/licenses/by-nc-nd/ ; info:eu-repo/semantics/OpenAccess |
| رقم الانضمام: | edsbas.5985D914 |
| قاعدة البيانات: | BASE |
| DOI: | 10.1007/s10009-016-0440-3 |
|---|