Testing of Communicating Systems

Testing of Communicating Systems presents the latest worldwide results in both the theory and practice of the testing of communicating systems. This volume provides a forum that brings together the substantial volume of research on the testing of communicating systems, ranging from conference testing through interoperability testing to performance and QoS testing. The following topics are discussed in detail: Types of testing; Phases of the testing process; Classes of systems to be tested; and Theory and practice of testing.£/LIST£ This book contains the selected proceedings of the 12th International Workshop on the Testing of Communicating Systems (formerly the International Workshop on Protocol Test Systems), sponsored by the International Federation for Information Processing (IFIP), and held in Budapest, Hungary, in September 1999. The book contains not only interesting research on testing different communication technologies from telecom and datacom systems to distributed systems, but also presents reports on the application of these results in industry. Testing of Communicating Systems will be essential reading for engineers, IT managers and research personnel working in computer science and telecommunications.

Inhalt
1 Different Approaches to Protocol and Service Testing.- 2 Towards the Third Edition of TTCN.- 3 New Directions in ASN.1: Towards a Formal Notation for Transfer Syntax.- 4 Testability with Unbounded Testing Strategies.- 5 Configuration and Execution Support for Distributed Tests.- 6 Principles and Tools for Testing Open Distributed Systems.- 7 Architectures for Testing Distributed Systems.- 8 Decision on Tester Configuration for Multiparty Testing.- 9 Protocol-Inspired Hardware Testing.- 10 Automated Test of TCP Congestion Control Algorithms.- 11 Test Templates for Test Generation.- 12 Formal Test Automation: A Simple Experiment.- 13 Generating Test Cases for a Timed I/O Automaton Model.- 14 Test Generation Driven by User-defined Fault Models.- 15 Test Suite Minimization for Embedded Nondeterministic Finite State Machines.- 16 Automated Test Case Selection Based on Subpurposes.- 17 Conformance Testing of Multi-protocol IUTs.- 18 The Challenge of QoS Verification.- 19 Fast Functional Test Generation Using an SDL Model.- 20 Performance Testing at Early Design Phases.- 21 Development and Application of ATM Protocol Conformance Test System.- 22 Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in IskraTEL.- 23 External Conformance Requirements: Concepts, Methods and Tools.- 24 Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems.- Author Index.- Keyword Index.