Testing of communicating systems : methods and applications : IFIP TC6 12th International Workshop on Testing of Communicating Systems, September 1-3, 1999, Budapest, Hungary

__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. Front Matter....Pages i-xii Front Matter....Pages 1-1 Different Approaches to Protocol and Service Testing....Pages 3-18 Towards the Third Edition of TTCN....Pages 19-29 New Directions in ASN.1: Towards a Formal Notation for Transfer Syntax....Pages 31-40 Front Matter....Pages 41-41 Testability with Unbounded Testing Strategies....Pages 43-58 Front Matter....Pages 59-59 Configuration and Execution Support for Distributed Tests....Pages 61-76 Principles and Tools for Testing Open Distributed Systems....Pages 77-92 Architectures for Testing Distributed Systems....Pages 93-108 Decision on Tester Configuration for Multiparty Testing....Pages 109-128 Front Matter....Pages 129-129 Protocol-Inspired Hardware Testing....Pages 131-147 Automated Test of TCP Congestion Control Algorithms....Pages 149-163 Front Matter....Pages 165-165 Test Templates for Test Generation....Pages 167-178 Formal Test Automation: A Simple Experiment....Pages 179-196 Generating Test Cases for a Timed I/O Automaton Model....Pages 197-214 Test Generation Driven by User-Defined Fault Models....Pages 215-233 Front Matter....Pages 235-235 Test Suite Minimization for Embedded Nondeterministic Finite State Machines....Pages 237-250 Automated Test Case Selection Based on Subpurposes....Pages 251-265 Conformance Testing of Multi-Protocol IUTs....Pages 267-284 Front Matter....Pages 285-285 The Challenge of QOS Verification....Pages 287-298 Fast Functional Test Generation Using an SDL Model....Pages 299-315 Performance Testing at Early Design Phases....Pages 317-328 Front Matter....Pages 329-329 Development and Application of ATM Protocol Conformance Test System....Pages 331-346 Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in Iskratel....Pages 347-362 External Conformance Requirements: Concepts, Methods and Tools....Pages 363-378 Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems....Pages 379-394 Back Matter....Pages 395-397