Testing of Communicating Systems : Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29-September 1, 2000, Ottawa, Canada

Ural Hasan Ural

ISBN 10: 1475710151 / ISBN 13: 9781475710151

Published by Springer Nature B.V. Aug 2012, 2012

About this Item

Neuware.

Seller Inventory # 9781475710151

Bibliographic Details

• Title: Testing of Communicating Systems : Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29-September 1, 2000, Ottawa, Canada
• Publisher: Springer Nature B.V. Aug 2012
• Publication Date: 2012
• Language: English
• ISBN 10: 1475710151
• ISBN 13: 9781475710151
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 234W x 156H x 0D millimeters 234 millimeters width by 156 millimeters height by 0 millimeters depth
• Weight: 479 grams

About this title

Synopsis

Preface. Committee Members and Reviewers. Part I: Test Suite Coverage and Verification. 1. Verification of Test Suites; C. Jard, et al. 2. Structural Coverage for LOTOS - a Probe Insertion Technique; D. Amyot, L. Logrippo. 3.Fault Detection Power of a Widely Used Test Suite for a System of Communication FSMs; A. Cavalli, et al. Part II: Testability and Test Feasibility. 4. Determination of Teat Configurations for Pair-Wise Interaction Coverage; A.W. Williams. 5. Incremental Testing at System Reference Points; I. Scheiferdecker, et al. 6. Generation of Feasible Test Sequences for EFSM Models; A.Y. Duale, M. Ümit Uyar. Part III: Interoperability Testing of Internet Protocols. 7. Experiments on IPv6 Testing; T. Csöndes, et al. 8. Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques; J. Ryu, et al. Interoperability Testing System of TCP/IP Based Communications Systems in Operational Environment; T. Kato. PartIV: TTCN Evolution and Application. On the Design of the New Testing Language TTCN-3; J. Grabowski, et al. 11.HTTP Performance Evaluation with TTCN; R. Gecse, et al. 12. Conformance Testing of CORBA Services Using TTCN; A. Mednonogov, et al. Part V: Test Automation and Industrial Testing Experience. 13. Formal Test Automation: the Conference Protocol with PHACT; l. Heerink, et al. 14. Formal Test Automation: the Conference Protocol with TGV/TORX; L. Du Bousquet, et al.15. Functional Testing GPRS Support Nodes using TTCN; E. Horváth, A. Manthey. 16. The Test Sub Group (TSG): A Cooperative Approach to Improve the Release Quality before Type Acceptance; G. Maggiore, et al. Part VI: Real-Time Testing. 17. Verification and Testing of Concurrent Systems with Action Races; A. Petrenko, A. Ulrich. 18. An Approach for Testing Real Time Protocol Entities; A. Khoumsi, et al. 19. Test Generation in the Presence of Conflicting Timers; M.A. Fecko, et al. Author Index.