Ph.D. in Computer Science
(Teaching assistant at Université de Rennes 1) IRISA/Université de Rennes 1 équipe DIONYSOS -
bureau F407 Campus de Beaulieu 35042 RENNES Cedex - FRANCE tel: +33 2 99 84 72 64
Keywords: protocol testing,
interoperability, conformance, formal methods, test generation
Thesis
summary:
My research activities during my thesis deal with the domain of
protocol testing, more particularly with the domain of interoperability
testing.
The objective of interoperability testing is to verify that
different network components are able to communicate correctly while
providing the service described in their respective specification. We
propose a formal definition of the interoperability notion using
interoperability criteria that precise conditions to be verified by
components to be considered interoperable.
We propose an automatic test generation method for the most used
context of two components interoperability testing. This method avoids
the state space explosion problem that interoperability test generation
generally faces.
A specific problem of the interoperability testing domain is the
verification of the actual
reception of a message that was sent to a component. We propose a
solution based on causal dependencies between messages.
For the interoperability of multiple components (more than two), we
propose a classification
of the possible testing architectures, definitions of interoperability
criteria,
a methodology for the choice of interconnection topologies to be used
and some elements
for the test derivation.
