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

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