This volume contains the proceedings of the IFIP WG 6. 1 International Workshop on Testing of Communicating Systems (lWTCS'96), held in Darmstadt, Germany, on September 9 through II, 1996, continuing the IFIP WG 6. 1 series of International Workshops on Protocol Test Systems (IWPTS). In this series of working conferences, held annually since 1988, many valuable contributions have been presented with an emphasis both on the OSI conformance testing methodology and framework as well as the standardization effort on formal methods in conformance testing. While there are stilI open issues and divergencies between theory and practice in these fields, the scope of the series started expanding to related fields of growing practical relevance, for example to testing with regard to the B-ISDN protocol reference model, in particular ATM, the ODP reference model, and the Internet protocol suite, as well as to interoperability testing and performance testing. To reflect the extended scope, the program committee agreed on a new name for this series of working conferences, to be applied the first time to the 1996 conference. However, in order to emphasize the tradition of IWPTS, the numbering of this series was continued, such that IWTCS'96 is counted as the 9th International Workshop on Testing of Communicating Systems. As in the years before, the workshop aims at bringing together researchers and practi tioners, furthering the exchange of views, and correlating the work of both sides.

Klappentext

This book presents the latest worldwide results in both the theory and practice of the testing of communicating systems.

Inhalt
1 How could research on testing of communicating systems become more industrially relevant?.- 2 Testing the broadband network: a quickly shifting demand for test equipment solutions.- 3 Conformance testing trials on ERMES receivers.- 4 TSE-P a highly flexible tool for testing network management applications using simulation.- 5 A workstation's communication performance benchmark.- 6 Automatic checking of the compatibility of the ISDN user-network interface (layer 3) using the tool VACCIN.- 7 The analysis of integration test result for ATM switching systems.- 8 The specification and testing of conformance in ODP systems.- 9 An approach to the validation of open object-based distributed applications.- 10 Testing deterministic implementations from nondeterministic FSM specifications.- 11 An approach for testing asynchronous communicating systems.- 12 Checking unstable properties in distributed testing of communication protocols.- 13 A rigorous and practical approach to service testing.- 14 Selective generation of symmetrical test cases.- 15 Automation of test case derivation in respect to test purposes.- 16 Field trial and quality test of ATM switching system in Korea.- 17 Conformance testing of ATM Adaptation Layer protocol.- 18 Test case generation for ATM protocols using high-level Petri net models.- 19 Formal methods in conformance testing: a probabilistic refinement.- 20 TDL: an ASN.1-based tests description language.- 21 Report on the standardization project Formal methods in conformance testing.- 22 Network testing strategies for local mobility service.- 23 Generation of conformance test suites for B-ISDN signalling relevant to Multi-party testing architecture.- 24 Experiences with concurrent TTCN for GSM/SS7 testing.- 25 Assessment of automaticgeneration methods of conformance test suites in an industrial context.- Keyword index.- Index of contributors.