Section: New Results

Conformance Relations for Labeled Event Structures

In [69] , we have extended several well known conformance (ioco style) relations for sequential models, to the concurrent framework of labeled event structures. With the interleaving semantics, the relations we obtained boil down to the same relations defined for labeled transition systemss. By contrast, under the partial order semantics, the relations we obtain allow to distinguish explicitly implementations where concurrent actions are implemented concurrently, from those where they are interleaved, i.e. implemented sequentially. Therefore, these relations will be of interest when designing distributed systems, since the natural concurrency between actions that are performed in parallel by different processes can be taken into account. In particular, the fact of being unable to control or observe the order between actions taking place on different processes will not be considered as an impediment for testing.

A complete testing framework for concurrent systems has been developped. We studied what kind of systems are testable in such a framework and we have proposed sufficient conditions for obtaining a complete test suite. Finally, an algorithm to construct a test suite with such properties was proposed. These result are summarized in a paper that is being prepared for a journal submission.