TTCN-3 Bibliography
TTCN-3 Bibliography |
|
 |
 |
 |
|
Frey, M., & Schlingloff, B.-H. (2003). Conformance of Distributed Systems. In Testing of Communicating Systems (Testcom) 2003 Berlin Heidelberg: Springer-Verlag. Added by: Deleted user (23/10/2008, 12:12) |
| Resource type: Book Article DOI: 10.1007/3-540-44830-6_13 BibTeX citation key: Frey2003 View all bibliographic details  |
Categories: General Creators: Frey, Schlingloff Publisher: Springer-Verlag (Berlin Heidelberg) Collection: Testing of Communicating Systems (Testcom) 2003 |
Views: 46/2389
|
| Abstract |
|
This paper introduces a new conformance relation between a specification and an implementation of a distributed system. It is based on a local view which allows to avoid or reduce the state explosion problem. The conformance relation is defined via Petri nets and shows not only equivalence between transitions but also equivalence between local states. This equivalence depends on the structural properties of the Petri net and is independent of any specific initial marking. We compare our notion of conformance to classical ones and give model checking and test case generation algorithms for it.
Added by: Deleted user |