TTCN-3 Bibliography

WIKINDX Resources  

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 (10/23/08, 12:12 PM)   
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: 35/1929
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  
WIKINDX 6.7.0 | Total resources: 347 | Username: -- | Bibliography: WIKINDX Master Bibliography | Style: American Psychological Association (APA)