عنوان

Testing of communicating systems :

شابک

0387355677

شابک

9780387355672

شماره

b547066

عنوان اصلي

Testing of communicating systems :

نام عام مواد

[Book]

ساير اطلاعات عنواني

methods and applications.

محل نشرو پخش و غیره

[Place of publication not identified]

نام ناشر، پخش کننده و غيره

Springer-Verlag New York

تاریخ نشرو بخش و غیره

2013

متن يادداشت

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.

شماره رده

نشانه اثر

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y