Testing of Communicating Systems
Springer-Verlag New York Inc.
978-1-4757-6699-8 (ISBN)
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.
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.
Reihe/Serie | IFIP International Federation for Information Processing ; 21 |
---|---|
Zusatzinfo | XVIII, 398 p. |
Verlagsort | New York, NY |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Grafik / Design |
Mathematik / Informatik ► Informatik ► Netzwerke | |
Technik ► Elektrotechnik / Energietechnik | |
ISBN-10 | 1-4757-6699-8 / 1475766998 |
ISBN-13 | 978-1-4757-6699-8 / 9781475766998 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich