Testing of Communicating Systems

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.