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 : methods and applications : IFIP TC6 12th International Workshop on Testing of Communicating Systems, September 1-3, 1999, Budapest, Hungary
(The International Federation for Information Processing, 21)
Kluwer Academic, c1999
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references
内容説明・目次
内容説明
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.GBP/LISTGBP
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.
目次
- 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. Koenig. 8. Decision on Tester Configuration for Multiparty Testing
- M. Toeroe. 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. Kremer. 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.
「Nielsen BookData」 より