Ebook: Testing of Communicating Systems: IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea

The aim of this book is to bring together the research of academics and practitioners in the field of communication systems testing. It covers four major topic areas; types of testing including conformance testing, inoperability testing, performance and QoS testing; phases of testing including test case generation, means of testing, test execution and test results analysis; classes of systems tested and the theory and practice of testing including test-related algorithms, practical testing methodology and practical testing experience.

---

---

Content:
Front Matter....Pages i-x
Front Matter....Pages 1-1
Future directions for protocol testing, learning the lessons from the past....Pages 3-17
Front Matter....Pages 19-19
PerfTTCN, a TTCN language extension for performance testing....Pages 21-36
Real-time TTCN for testing real-time and multimedia systems....Pages 37-54
Front Matter....Pages 55-55
Integration of test procedures and trials for DECT handsets....Pages 57-64
Development of an ETSI Standard for Phase-2 GSM/DCS Mobile Terminal Conformance Testing....Pages 65-72
Front Matter....Pages 73-73
Automatic executable test case generation for extended finite state machine protocols....Pages 75-90
A method to derive a single-EFSM from communicating multi-EFSM for data part testing....Pages 91-106
Front Matter....Pages 107-107
Basing test coverage on a formalization of test hypotheses....Pages 109-124
Design for testability: a step-wise approach to protocol testing....Pages 125-140
Front Matter....Pages 141-141
Developments in testing transition systems....Pages 143-166
Checking Experiments with Labeled Transition Systems for Trace Equivalence....Pages 167-182
An approach to dynamic protocol testing....Pages 183-199
Sensitivity analysis of the metric based test selection....Pages 200-219
Analyzing performance bottlenecks in protocols based on finite state specifications....Pages 220-236
Front Matter....Pages 237-237
A conformance testing for communication protocols modeled as a set of DFSMs with common inputs....Pages 239-254
On test case generation from asynchronously communicating state machines....Pages 255-271
Fault detection in embedded components....Pages 272-287
A Pragmatic Approach to Generating Test Sequences for Embedded Systems....Pages 288-307
Front Matter....Pages 309-309
The European initiative for the development of Infrastructural Tools: the INTOOL programme....Pages 311-317
Harpo: Testing Tools Development....Pages 318-323
Front Matter....Pages 309-309
Application of a TTCN based conformance test environment on the Internet email protocol....Pages 324-329
The INTOOL/CATG European project: development of an industrial tool in the field of Computer Aided Test Generation....Pages 330-336
Front Matter....Pages 337-337
Modeling and Testing of Protocol Systems....Pages 339-364
A pragmatic approach to test generation....Pages 365-380
Towards abstract test methods for relay system testing....Pages 381-396
Applying SaMsTaG to the B-ISDN protocol SSCOP....Pages 397-415
Design of Protocol Monitor Emulating Behaviors of TCP/IP Protocols....Pages 416-431
A Two-Level Approach to Automated Conformance Testing of VHDL Designs....Pages 432-447
Back Matter....Pages 449-452

---

Content:
Front Matter....Pages i-x
Front Matter....Pages 1-1
Future directions for protocol testing, learning the lessons from the past....Pages 3-17
Front Matter....Pages 19-19
PerfTTCN, a TTCN language extension for performance testing....Pages 21-36
Real-time TTCN for testing real-time and multimedia systems....Pages 37-54
Front Matter....Pages 55-55
Integration of test procedures and trials for DECT handsets....Pages 57-64
Development of an ETSI Standard for Phase-2 GSM/DCS Mobile Terminal Conformance Testing....Pages 65-72
Front Matter....Pages 73-73
Automatic executable test case generation for extended finite state machine protocols....Pages 75-90
A method to derive a single-EFSM from communicating multi-EFSM for data part testing....Pages 91-106
Front Matter....Pages 107-107
Basing test coverage on a formalization of test hypotheses....Pages 109-124
Design for testability: a step-wise approach to protocol testing....Pages 125-140
Front Matter....Pages 141-141
Developments in testing transition systems....Pages 143-166
Checking Experiments with Labeled Transition Systems for Trace Equivalence....Pages 167-182
An approach to dynamic protocol testing....Pages 183-199
Sensitivity analysis of the metric based test selection....Pages 200-219
Analyzing performance bottlenecks in protocols based on finite state specifications....Pages 220-236
Front Matter....Pages 237-237
A conformance testing for communication protocols modeled as a set of DFSMs with common inputs....Pages 239-254
On test case generation from asynchronously communicating state machines....Pages 255-271
Fault detection in embedded components....Pages 272-287
A Pragmatic Approach to Generating Test Sequences for Embedded Systems....Pages 288-307
Front Matter....Pages 309-309
The European initiative for the development of Infrastructural Tools: the INTOOL programme....Pages 311-317
Harpo: Testing Tools Development....Pages 318-323
Front Matter....Pages 309-309
Application of a TTCN based conformance test environment on the Internet email protocol....Pages 324-329
The INTOOL/CATG European project: development of an industrial tool in the field of Computer Aided Test Generation....Pages 330-336
Front Matter....Pages 337-337
Modeling and Testing of Protocol Systems....Pages 339-364
A pragmatic approach to test generation....Pages 365-380
Towards abstract test methods for relay system testing....Pages 381-396
Applying SaMsTaG to the B-ISDN protocol SSCOP....Pages 397-415
Design of Protocol Monitor Emulating Behaviors of TCP/IP Protocols....Pages 416-431
A Two-Level Approach to Automated Conformance Testing of VHDL Designs....Pages 432-447
Back Matter....Pages 449-452
....