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.
Chapter PDF
Similar content being viewed by others
Keywords
- Model Check
- Finite State Machine
- Universal Mobile Telecommunication System
- Output Sequence
- System Under Test
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
ETSI: ETSI TS 100 522 Digital cellular telecommunications system (Phase 2+): Network architecture (GSM 03.02 version 7.1.0 Release 1998): 2000
ITU-T: Recommendations Q.711–Q.714 Specifications of Signalling System No. 7 — Signalling connection control part: 1996
ETSI: ETSI TS 100 940 Digital cellular telecommunications system (Phase 2+); Mobile radio interface layer 3 specification (3GPP TS 04.08 version 7.17.0 Release 1998): 2002
ETSI: ETSI TS 129 002 Digital cellular telecommunications system (Phase 2+) (GSM); Universal Mobile Telecommunications System (UMTS); Mobile Application Part (MAP) specification (2GPP TS 29.002 version 4.50 Release 4): 2001
ITU-T: Recommendations Q.761–Q.764 Signalling System No. 7 — ISDN user part signalling procedures: 1999
ISO. ISO/IEC 9646-3, Tree and Tabular Combined Notation (TTCN), Second Edition (1997)
ETSI: ETSI ES 201 873 Methods for Testing and Specification (MTS); The Tree and Tabular Combined Notation version 3: 2001
GSBWL]_Vassiliou-Gioles, T., Schieferdecker, I., Born, M., Winkler, M., Li, M.: Configuration and Execution Support for Distributed Tests. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds): Testing of Communicating Systems. Kluwer Academic publishers. Boston, Dordrecht, London (1999) 61–76
ITU-T: Recommendation Q.931 Digital Subscriber Signalling system No. 1 (DSS 1) — ISDN User-Network Interface Layer 3 Specification For Basic Call Control: 1998
ITU-T: Recommendation Q.764-Annex H Specification of Signalling System No. 7 — ISDN User Part Signalling Procedures Annex H: State Transition Diagrams: 1995
ITU-T: Recommendation Z.100 Languages for Telecommunications Applications — Specification and Description Language, 1999
Yao, M., Petrenko, A., v. Bochmann, G.: Conformance Testing of Protocol Machines without Reset. In: Danthine, A., Leduc, G., Wolper, P. (eds): Protocol Specification, Testing and Verification, XIII. Elsevier Science Publishers B. V. (North-Holland) (1993) 241–253
Anido, R., Cavalli, A.R.: Guaranteeing full fault coverage for UIO-based testing methods. In: Proceedings of the 8th Int. Workshop on Protocol Test Systems, Evry, France (1995) 221–236
Lee, D., Yannakakis, M.: Princliples and Methods of testing Finite State Machines — A Survey. Proceedings of the IEEE. Vol. 4(8), 1996, 1090–1123
Petrenko, A., Ulrich, A., Chapenko, V.:Using partial-orders for detecting faults in concurrent systems. In: Proceedings of Workshop on Testing of Communicating Systems (IWTCS’98), Russia, 1998
Ulrich, A., König, H.: Architectures for Testing Distributed Systems. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds): Testing of Communicating Systems. Kluwer Academic publishers. Boston, Dordrecht, London (1999) 93–108
Jard, C., Principles of Distributed Test Synthesis based on True-Concurrency Models. In: Schieferdecker, I., König, H., Wolisz, A.: Testing of Communicating Systems XIV. Kluwer Academic publishers. Boston, Dordrecht, London (2002) 301–316
Kim, M., Shin, S.T., Chanson, S. T., Kang, S.: An Enhanced Model for Testing Asynchronous Communicating Systems. In: Formal Description Techniques and Protocol Specification, Testing and Verification, 19. IFIP (1999) 337–355
Ramalingam, T., Das, A., Thulasiraman, K.: Fault detection and diagnosis capabilities of test sequence selection methods based on the FSM model. Computer communications, vol. 18(2), 1995, 113–122
Reisig, W.: Petri Nets. Springer 1988
Test Generation with Inputs, Outputs and Repetitive Quiescence. Software-Concepts and Tools, 17(3):103–120, 1996
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 IFIP
About this paper
Cite this paper
Frey, M., Schlingloff, BH. (2003). Conformance of Distributed Systems. In: Hogrefe, D., Wiles, A. (eds) Testing of Communicating Systems. TestCom 2003. Lecture Notes in Computer Science, vol 2644. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44830-6_13
Download citation
DOI: https://doi.org/10.1007/3-540-44830-6_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40123-0
Online ISBN: 978-3-540-44830-3
eBook Packages: Springer Book Archive