|
" Testing of communicating systems : "
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
727334
|
| Doc. No
|
:
|
b547066
|
| Title & Author
|
:
|
Testing of communicating systems : : methods and applications.
|
| Publication Statement
|
:
|
[Place of publication not identified]: Springer-Verlag New York, 2013
|
| ISBN
|
:
|
0387355677
|
|
|
:
|
: 9780387355672
|
| Contents
|
:
|
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.
|
| LC Classification
|
:
|
TK5101.A1T478 2013
|
| |