Contact Person
Marc-Florian Wendland
M.Sc. Marc-Florian Wendland
Senior Scientist
Business Unit SQC
+49 30 3463-7395
More information


Model and Inference Driven – Automated Testing of Services Architectures

Sep. 01, 2012 to Aug. 31, 2015

The MIDAS project aims at building an integrated framework for SOA testing automation that will be available as a Software as a Service (SaaS) on a cloud infrastructure. The framework spans all the testing activities: test generation, execution, evaluation and scheduling, on the functional, interaction, fault tolerance, security and usage-based testing aspects. MIDAS is focused on SOA testing, i.e. on black box testing of single services and on grey-box testing of services architectures. The testing methods and technologies that are investigated and prototyped in the project are beyond the state of the art, particularly on model-based testing, model checking of choreographies for sound interaction test scenarios, fuzzing for security testing, usage-based testing, probabilistic inference reasoning about test evaluation and scheduling.

Project coordinator: Dr. Riccardo Fontanelli - Dedalus S.p.A.


  • Instituto Technológico de Aragón
  • Simple Engineering France
  • Consiglio Nazionale delle Ricerche - Instituto di Scienza e Tecnologie dell'informazione
  • T6 Ecosystems S.r.l.
  • Sintesio Foundation
  • Georg-August-Universität Göttingen
  • Université Pierre et Marie Curie - Paris VI - Laboratoire d'informatique de Paris VI