Ebook: Testing of Communicating Systems: IFIP TC6 9th International Workshop on Testing of Communicating Systems Darmstadt, Germany 9–11 September 1996
- Tags: Signal Image and Speech Processing, Computer Communication Networks
- Series: IFIP — The International Federation for Information Processing
- Year: 1996
- Publisher: Springer US
- Edition: 1
- Language: English
- pdf
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.
This book presents the latest worldwide results in both the theory and practice of the testing of communicating systems.
This book presents the latest worldwide results in both the theory and practice of the testing of communicating systems.
Content:
Front Matter....Pages i-x
Front Matter....Pages 1-1
How could research on testing of communicating systems become more industrially relevant ?....Pages 3-13
Front Matter....Pages 15-15
Testing the broadband network: a quickly shifting demand for test equipment solutions....Pages 17-29
Conformance testing trials on ERMES receivers....Pages 30-41
TSE-P — a highly flexible tool for testing network management applications using simulation....Pages 42-57
Front Matter....Pages 59-59
A workstation’s communication performance benchmark....Pages 61-76
Automatic checking of the compatibility of the ISDN user-network interface (layer 3) using the tool VACCIN....Pages 77-82
The analysis of integration test result for ATM switching systems....Pages 83-89
Front Matter....Pages 91-91
The specification and testing of conformance in ODP systems....Pages 93-114
An approach to the validation of open object-based distributed applications....Pages 115-121
Front Matter....Pages 123-123
Testing deterministic implementations from nondeterministic FSM specifications....Pages 125-140
An approach for testing asynchronous communicating systems....Pages 141-155
Checking unstable properties in distributed testing of communication protocols....Pages 156-171
Front Matter....Pages 173-173
A rigorous and practical approach to service testing....Pages 175-190
Selective Generation of Symmetrical Test Cases....Pages 191-206
Automation of test case derivation in respect to test purposes....Pages 207-222
Front Matter....Pages 223-223
Field Trial and Quality Test of ATM Switching System In Korea....Pages 225-236
Conformance testing of ATM Adaptation Layer protocol....Pages 237-252
Test case generation for ATM protocols using high-level Petri net models....Pages 253-258
Front Matter....Pages 259-259
Formal methods in conformance testing: a probabilistic refinement....Pages 261-276
TDL: an ASN.1-based tests description language....Pages 277-288
Front Matter....Pages 259-259
Report on the standardization project “Formal methods in conformance testing”....Pages 289-298
Front Matter....Pages 299-299
Network testing strategies for local mobility service....Pages 301-315
Generation of conformance test suites for B-ISDN signalling relevant to Multi-party testing architecture....Pages 316-330
Experiences with concurrent TTCN for GSM/SS7 testing....Pages 331-346
Assessment of automatic generation methods of conformance test suites in an industrial context....Pages 347-361
Back Matter....Pages 363-364
This book presents the latest worldwide results in both the theory and practice of the testing of communicating systems.
Content:
Front Matter....Pages i-x
Front Matter....Pages 1-1
How could research on testing of communicating systems become more industrially relevant ?....Pages 3-13
Front Matter....Pages 15-15
Testing the broadband network: a quickly shifting demand for test equipment solutions....Pages 17-29
Conformance testing trials on ERMES receivers....Pages 30-41
TSE-P — a highly flexible tool for testing network management applications using simulation....Pages 42-57
Front Matter....Pages 59-59
A workstation’s communication performance benchmark....Pages 61-76
Automatic checking of the compatibility of the ISDN user-network interface (layer 3) using the tool VACCIN....Pages 77-82
The analysis of integration test result for ATM switching systems....Pages 83-89
Front Matter....Pages 91-91
The specification and testing of conformance in ODP systems....Pages 93-114
An approach to the validation of open object-based distributed applications....Pages 115-121
Front Matter....Pages 123-123
Testing deterministic implementations from nondeterministic FSM specifications....Pages 125-140
An approach for testing asynchronous communicating systems....Pages 141-155
Checking unstable properties in distributed testing of communication protocols....Pages 156-171
Front Matter....Pages 173-173
A rigorous and practical approach to service testing....Pages 175-190
Selective Generation of Symmetrical Test Cases....Pages 191-206
Automation of test case derivation in respect to test purposes....Pages 207-222
Front Matter....Pages 223-223
Field Trial and Quality Test of ATM Switching System In Korea....Pages 225-236
Conformance testing of ATM Adaptation Layer protocol....Pages 237-252
Test case generation for ATM protocols using high-level Petri net models....Pages 253-258
Front Matter....Pages 259-259
Formal methods in conformance testing: a probabilistic refinement....Pages 261-276
TDL: an ASN.1-based tests description language....Pages 277-288
Front Matter....Pages 259-259
Report on the standardization project “Formal methods in conformance testing”....Pages 289-298
Front Matter....Pages 299-299
Network testing strategies for local mobility service....Pages 301-315
Generation of conformance test suites for B-ISDN signalling relevant to Multi-party testing architecture....Pages 316-330
Experiences with concurrent TTCN for GSM/SS7 testing....Pages 331-346
Assessment of automatic generation methods of conformance test suites in an industrial context....Pages 347-361
Back Matter....Pages 363-364
....