Supervision : Christophe GONZALES

Co-supervision : WUILLEMIN Pierre-Henri

Bayesian dynamic scheduling for service composition testing

In present times connectivity between systems becomes more common. It removes human mediation and allows complex distributed systems to autonomously complete long and complex tasks. SOA is a model driven contract based approach that allows legacy systems to collaborate by messages exchange. Collaboration, here, is a key word in the sense that multiple organisation can, with this approach, automate services exchanges between them without putting at risks their confidentiality. This cause to encounter the first difficulty, because if there are exchanges between the different partners, the inner-processes resulting in the exchange information is restricted to some partners and therefor to some of the testers. That put us in a grey-box testing case where the systems are black-boxes and only the message exchange is visible. That is why we propose a probabilistic approach using Bayesian Inference to test the architectures. The second Challenge is the size of the SOA. Since the systems are connected by loosely coupling them two by two according to SOA Specifications, SOA can contain a very important number of participants. In Fact most of the existing SOA are very important in there size. The size of the SOA is reflected in the complexity of the Bayesian inference. This second challenge constraints us to search for better solution for the Bayesian Inference. In order to cope with the size and density of the BN for even small services architectures, techniques of model-driven inference by compilation that allows quick generation of arithmetic circuits directly from the services architecture model and the test suite are being developed.

2011-2017 Publications

• 2017
  • L. Hillah, R. Assad, A. Bertolino, M. Delamaro, F. De Rosa, V. Garcia, F. Lonetti, A.‑P. Maesano, L. Maesano, E. Marchetti, B. Miranda, A. Vincenzi, J. Iyoda : “Towards automated deployment of self-adaptive applications on hybrid clouds”, 15^th International Conference on Software Engineering and Formal Methods (SEFM 2017), Trento, Italy (2017)
  • L. Hillah, A.‑P. Maesano, F. De Rosa, F. Kordon, P.‑H. Wuillemin, R. Fontanelli, S. Di Bona, D. Guerri, L. Maesano : “Automation and intelligent scheduling of distributed system functional testing: Model-based functional testing in practice”, International Journal on Software Tools for Technology Transfer, vol. 19 (3), pp. 281-308, (Springer Verlag) (2017)
• 2016
  • L. Hillah, A.‑P. Maesano, L. Maesano, F. De Rosa, F. Kordon, P.‑H. Wuillemin : “Service functional testing automation with intelligent scheduling and planning”, Symposium on Applied Computing (SAC), Proceeding of the 31^st Annual ACM Symposium on Applied Computing, Pisa, Italy, pp. 1605-1610 (2016)
• 2015
  • A.‑P. Maesano : “Scheduling Bayesien dynamique pour le test des composition de services”, thesis, phd defence 01/30/2015, supervision Gonzales, Christophe, co-supervision : Wuillemin, Pierre-Henri (2015)
  • L. Hillah, A.‑P. Maesano, F. De Rosa, L. Maesano, M. Lettere, R. Fontanelli : “Service functional test automation”, Workshop on System Testing and Validation, Sophia Antipolis, France (2015)
  • S. Herbold, J. Grabowski, P. Harms, L. Hillah, F. Kordon, A.‑P. Maesano, L. Maesano, C. Di Napoli, F. De Rosa, M. Schneider, N. Tonelloto, M.‑F. Wendland, P.‑H. Wuillemin : “The MIDAS Cloud Platform for Testing SOA Applications”, 8^th International IEEE Conference on Software Testing, Verification and Validation (ICST), Graz, Austria, pp. 1-8, (IEEE Press) (2015)
• 2011
  • A.‑P. Maesano, F. De Rosa, L. Maesano, P.‑H. Wuillemin : “Steps towards model-based, inference-driven SOA Testing”, 23^rd International Conference on Software & System Engineering and their Applications (ICSSEA '11), Paris - Nov 29 - Dec 1 (2011), Paris, France (2011)
  • A.‑P. Maesano, F. De Rosa : “Towards stochastic inference driven SOA testing”, The 22^th International Symposium on Software Reliability Engineering, Hiroshima, Japan (2011)