Overview

Testing of Communicating Systems presents the latest world-wide results in both theory and practice. This volume provides a forum in which the substantial volume of research on the testing of communicating systems, spanning from conformance testing through interoperability testing, to performance and QoS testing, is brought together. 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. This book contains the selected proceedings of the 11th 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 Tomsk, Russia, in August/September 1998. Testing of Communicating Systems will be essential reading for engineers, IT managers and research personnel working in computer sciences and telecommunications.

Full Product Details

Author:   Nina Yevtushenko
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   Softcover reprint of the original 1st ed. 1998
Volume:   3
Dimensions:   Width: 15.50cm , Height: 2.00cm , Length: 23.50cm
Weight:   0.581kg
ISBN:  

9781475767032

ISBN 10:   147576703
Pages:   364
Publication Date:   11 January 2013
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Preface. Part One: Past and Present of Research on Automata Testing. 1. Testing of Automata: From Experiments to Representations by Means of Fragments; I.S. Grunsky. Part Two: New Areas for Testing. 2. TMN and Telecommunication Networks Testing; M. Guiagoussou, M. Kadoch. 3. Conformance Testing Methodology of Internet Protocols Internet Application-Layer Protocol Testing - the Hypertext Transfer Protocol; R. Gescse. 4. Intelligent Protocol Analyzer for WWW Server Accesses with Exception Handling Function; T. Ogishi, et al. Part Three: Test Generation. 5. Factorized Test Generation for Multi-Input/Output Transition Systems; E. Brinksma, et al. 6. Test Generation for Specifications Modeled by Input/Output Automata; Q.M. Tan, A. Petrenko. 7. Distinguishing Tests for Nondeterministic Finite State Machines; S.Yu. Boroday. Part Four: Testing in Context. 8. Evaluation of Test Coverage for Embedded System Testing; J. Zhu, et al. 9. Test Suite Minimization for Testing in Context; N. Yevtushenko, et al. Part Five: Test Architectures and Concurrent Systems. 10. Test Architectures for Distributed Systems: State of the Art and Beyond; T. Walter, et al. 11. Using Partial-Orders for Detecting Faults in Concurrent Systems; A. Petrenko, et al. Part Six: Industrial Applications. 12. Conformance Testing of a Multimedia System Using PHACT; L.M.G. Feijs, et al. 13. An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol;H. Kahlouche, et al. 14. Autolink &endash; Putting SDL-Based Test Generation Into Practice; M. Schmitt, et al. Part Seven: Testing of Distributed Systems. 15. Testing Temporal Logic Properties in Distributed Systems; F. Dietrich, et al. 16. Programming Service Tests with TTCN; M. Anlauf. 17. A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols; C. Bourhfir, et al. Part Eight: Testing from the Industrial Perspective. 18. Testing and Test Generation: State of the Art and Future Expectations; A. Ek. 19. Interoperability Test Suite Derivation for the ATM/B-ISDN Signaling Protocol; J.Shin, S. Kang. 20. Test Suite Migration Experiences for B-ISUP and B-MTP; C. Desroches, et al. Part Nine: Testability. 21. Qualitative Notions of Testability; B. Baumgarten, H. Wiland. Index of Contributors.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions