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. 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