TTCN-3 Bibliography

WIKINDX Resources

M. Frey and B.-H. Schlingloff, "Conformance of Distributed Systems," in Testing of Communicating Systems (Testcom) 2003ser. Lecture Notes in Computer Science, Berlin Heidelberg: Springer-Verlag, 2003, 
Added by: Deleted user (23 Oct 2008 12:12:39 Europe/Berlin)   
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: 8/1162
Views index: %
Popularity index: 1%
   URLs   http://www.springerlink.com/content/h6d8lrpucukah4pc/?p=b8aa52fa99424b8db0e0a57aae8519ba&pi=12
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 5.2.1 ©2017 | Total resources: 340 | Username: -- | Bibliography: WIKINDX Master Bibliography | Style: Institute of Electrical and Electronics Engineers (IEEE) | Database queries: 47 | DB execution: 0.01892 secs | Script execution: 0.02712 secs