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

Preface. Committee Members and Reviewers. Part I: Invited Talks. 1. Different Approaches to Protocol and Service Testing; A. Cavalli. 2. Towards the Third Edition of TTCN; J. Grabowski, D. Hogrefe. 3. New Directions in ASN.1: Towards a Formal Notation for Transfer Syntax; C. Willcock. Part II: Testability. 4. Testability with Unbounded Testing Strategies; B. Baumgarten, O. Henniger. Part III: Testing Distributed Systems. 5. Configuration and Execution Support for Distributed Tests; T. Vassiliou-Gioles, et al. 6. Principles and Tools for Testing Open Distributed Systems; M. Benattou, et al. 7. Architectures for Testing Distributed Systems; A. Ulrich, H. König. 8. Decision on Tester Configuration for Multiparty Testing; M. Törö. Part IV: New Fields of Protocol Testing. 9. Protocol-Inspired Hardware Testing; J. He, K.J. Turner. 10. Automated Test of TCP Congestion Control Algorithms; R. Gecse, P. Krémer. Part V: Test Generation Methods. 11. Test Templates for Test Generation; M. Hollenberg. 12. Formal Test Automation: A Simple Experiment; A. Belinfante, et al. 13. Generating Test Cases for a Timed I/O Automaton Model; T. Higashino, et al. 14. Test Generation Driven by User-defined Fault Models; I. Koufareva, et al. Part VI: Test Optimization. 15. Test Suite Minimization for Embedded Nondeterministic Finite State Machines; N. Yevtushenko, et al. 16. Automated TestCase Selection Based on Subpurposes; T. Csőndes, B. Kotnyek. 17. Conformance Testing of Multiprotocol IUTs; Y. Park, et al. Part VII: New Areas for Testing. 18. The Challenge of QoS Verification; J. de Meer, S. Vuong. 19. Fast Functional Test Generation Using an SDL Model; R.L. Probert, A.W. Williams. 20. Performance Testing at Early Design Phases; P. Csurgay, M. Malek. Part VIII: Test Practice. 21. Development and Application of ATM Protocol Conformance Test System; S. Kang, et al. 22. Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in IskraTEL; M. Frey-Pučko, et al. 23. External Conformance Requirements: Concepts, Methods and Tools; R. Artych, K.M. Brzeziński. 24. Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems; J. Latvakoski, H. Honka. Author Index. Keyword Index.