Name: Testing of Communicating Systems By Myungchul Kim
SKU: 9780412817304
Price: 278.79 USD
Availability: InStock

Testing of Communicating Systems Summary

Testing of Communicating Systems: IFIP TC6 10th International Workshop on Testing of Communicating Systems, 810 September 1997, Cheju Island, Korea by Myungchul Kim

The aim of this book is to bring together the research of academics and practitioners in the field of communication systems testing. It covers four major topic areas; types of testing including conformance testing, inoperability testing, performance and QoS testing; phases of testing including test case generation, means of testing, test execution and test results analysis; classes of systems tested and the theory and practice of testing including test-related algorithms, practical testing methodology and practical testing experience.

1 Future directions for protocol testing, learning the lessons from the past.- 2 PertTTCN, a TTCN language extension for performance testing.- 3 Real-time TTCN for testing real-time and multimedia systems.- 4 Integration of test procedures and trials for DECT handsets.- 5 Development of an ETSI standard for Phase-2 GSM/DCS mobile terminal conformance testing.- 6 Automatic executable test case generation for extended finite state machine protocols.- 7 A method to derive a single-EFSM from communicating multi-EFSM for data part testing.- 8 Basing test coverage on a formalization of test hypotheses.- 9 Design for testability: a step-wise approach to protocol testing.- 10 Developments in testing transition systems.- 11 Checking experiments with labeled transition systems for trace equivalence.- 12 An approach to dynamic protocol testing.- 13 Sensitivity analysis of the metric based test selection.- 14 Analyzing performance bottlenecks in protocols based on finite state specifications.- 15 A conformance testing for communication protocols modeled as a set of DFSMs with common inputs.- 16 On test case generation from asynchronously communicating state machines.- 17 Fault detection in embedded components.- 18 A pragmatic approach to generating test sequences for embedded systems.- 19 The European initiative for the development of infrastructural tools: the INTOOL programme.- 20 HARPO: testing tools development.- 21 Application of a TTCN based conformance test environment on the Internet email protocol.- 22 The INTOOL/CATG European project: development of an industrial tool in the field of computer aided test generation.- 23 Modeling and testing of protocol systems.- 24 A pragmatic approach to test generation.- 25 Towards abstract test methods for relay system testing.- 26 Applying SaMsTaG to the B-ISDN protocol SSCOP.- 27 Design of protocol monitor emulating behaviors of TCP/IP protocols.- 28 A two-level approach to automated conformance testing of VHDL designs.- Index of contributors.- Keyword index.

Additional information

Sku

NPB9780412817304

ISBN 13

9780412817304

ISBN 10

0412817306

Title

Testing of Communicating Systems: IFIP TC6 10th International Workshop on Testing of Communicating Systems, 810 September 1997, Cheju Island, Korea by Myungchul Kim

Author

Myungchul Kim

Series

IFIP Advances in Information and Communication Technology

Condition

New

Binding type

Hardback

Publisher

Chapman and Hall

Year published

1997-08-31

Number of pages

452

Prizes

N/A

Cover note

Book picture is for illustrative purposes only, actual binding, cover or edition may vary.

Note

This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time

Testing of Communicating Systems Myungchul Kim

Testing of Communicating Systems by Myungchul Kim

Summary

Testing of Communicating Systems Summary

Testing of Communicating Systems: IFIP TC6 10th International Workshop on Testing of Communicating Systems, 810 September 1997, Cheju Island, Korea by Myungchul Kim

Table of Contents

Additional information

Customer Reviews - Testing of Communicating Systems