Advertisement

Conformance of Distributed Systems

  • Maximilian Frey
  • Bernd-Holger Schlingloff
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2644)

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.

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

  1. [GSM03.02]
    ETSI: ETSI TS 100 522 Digital cellular telecommunications system (Phase 2+): Network architecture (GSM 03.02 version 7.1.0 Release 1998): 2000Google Scholar
  2. [SCCP]
    ITU-T: Recommendations Q.711–Q.714 Specifications of Signalling System No. 7 — Signalling connection control part: 1996Google Scholar
  3. [GSM04.08]
    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): 2002Google Scholar
  4. [MAP]
    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): 2001Google Scholar
  5. [ISUP]
    ITU-T: Recommendations Q.761–Q.764 Signalling System No. 7 — ISDN user part signalling procedures: 1999Google Scholar
  6. [TTCN-2]
    ISO. ISO/IEC 9646-3, Tree and Tabular Combined Notation (TTCN), Second Edition (1997)Google Scholar
  7. [TTCN-3]
    ETSI: ETSI ES 201 873 Methods for Testing and Specification (MTS); The Tree and Tabular Combined Notation version 3: 2001Google Scholar
  8. [1999.
    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–76Google Scholar
  9. [DSS1]
    ITU-T: Recommendation Q.931 Digital Subscriber Signalling system No. 1 (DSS 1) — ISDN User-Network Interface Layer 3 Specification For Basic Call Control: 1998Google Scholar
  10. [ISUP 2]
    ITU-T: Recommendation Q.764-Annex H Specification of Signalling System No. 7 — ISDN User Part Signalling Procedures Annex H: State Transition Diagrams: 1995Google Scholar
  11. [SDL]
    ITU-T: Recommendation Z.100 Languages for Telecommunications Applications — Specification and Description Language, 1999Google Scholar
  12. [Yao Petrenko Bochmann 1993]
    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–253Google Scholar
  13. [Anido Cavalli 95]
    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–236Google Scholar
  14. [Lee Yannakakis 1996]
    Lee, D., Yannakakis, M.: Princliples and Methods of testing Finite State Machines — A Survey. Proceedings of the IEEE. Vol. 4(8), 1996, 1090–1123CrossRefGoogle Scholar
  15. [Petrenko Ulrich Chapenko 1998]
    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, 1998Google Scholar
  16. [Ulrich König 1999]
    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–108Google Scholar
  17. [Jard 2001]
    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–316Google Scholar
  18. [Kim Shin Janson Kang 1999]
    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–355Google Scholar
  19. [Ramalingam Das Thulasiraman 95]
    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–122CrossRefGoogle Scholar
  20. [Reisig 88]
    Reisig, W.: Petri Nets. Springer 1988Google Scholar
  21. [Tretmans 96]
    Test Generation with Inputs, Outputs and Repetitive Quiescence. Software-Concepts and Tools, 17(3):103–120, 1996Google Scholar

Copyright information

© IFIP 2003

Authors and Affiliations

  • Maximilian Frey
    • 1
  • Bernd-Holger Schlingloff
    • 2
    • 3
  1. 1.Fraunhofer Institut für Rechnerarchitektur und Softwaretechnik FIRSTBerlin
  2. 2.O2 (Germany) GmbH & Co. OHGMunichGermany
  3. 3.Institut für InformatikHumboldt-Universität zu BerlinBerlin

Personalised recommendations