ForTesSE Group
Formal Testing and System Exploration (ForTesSE)
The research of the ForTesSE team lies at the heart of formal methods, namely their application to the formal verification and systematic test of software systems. The range of testing methods covers unit testing as well as sequence testing, component testing, active and passive testing, deterministic and statistical testing.
Particular emphasis is put on methods for the automated generation of test-data and/or test-procedures from models. Such models non exclusively include: models in the sense of model-driven engineering (MDE, MDA), pre- and postcondition style annotations of programs, transition systems, models described in first- and higher-order logics, etc. The team is specialised on algorithms for exploring very large models, based on uniform drawing of combinatorial structures. They are applicable to random testing, but also to model-checking and theorem proving based approaches.
Another research domain of the ForTesSE team is software engineering for distributed communicating programs, more specifically Protocol Engineering and Service-Oriented Computing. In the former field, the team develops testing techniques dedicated to routing protocols for Self Organising Networks. In the later field, the team develops techniques for the verification and test of service compositions (orchestrations, choreographies). Further, the team targets the automatic service composition issue, including composition processes with behavioural adaptation features.
Publications
All the publications are available here: Formal Testing and System Exploration (ForTesSE).