Skip to main content
SpringerLink
Log in

Testing of Communicating Systems

IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea

  • Book
  • © 1997

Overview

Editors:
  1. Myungchul Kim

    1. Korea Telecom Research & Development Group, Seocho Ku, Seoul, Korea

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sungwon Kang

    1. Korea Telecom Research & Development Group, Seocho Ku, Seoul, Korea

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Keesoo Hong

    1. Korea Telecom Research & Development Group, Seocho Ku, Seoul, Korea

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 chapters)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Past and Future of Protocol Testing

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Future directions for protocol testing, learning the lessons from the past

      • D. Rayner
      Pages 3-17

  3. TTCN Extensions

    1. Front Matter

      Pages 19-19
      Download chapter PDF

    2. PerfTTCN, a TTCN language extension for performance testing

      • I. Schieferdecker, B. Stepien, A. Rennoch
      Pages 21-36

    3. Real-time TTCN for testing real-time and multimedia systems

      • Thomas Walter, Jens Grabowski
      Pages 37-54

  4. Wireless Testing

    1. Front Matter

      Pages 55-55
      Download chapter PDF

    2. Integration of test procedures and trials for DECT handsets

      • A. Alonistioti, P. Kostarakis, K. Dangakis, A. A. Alexandridis, A. Paschalis, N. Gaitanis et al.
      Pages 57-64

    3. Development of an ETSI Standard for Phase-2 GSM/DCS Mobile Terminal Conformance Testing

      • Hu, Wattelet, Wang
      Pages 65-72

  5. Data Part Test Generation

    1. Front Matter

      Pages 73-73
      Download chapter PDF

    2. Automatic executable test case generation for extended finite state machine protocols

      • C. Bourhfir, R. Dssouli, E. Aboulhamid, N. Rico
      Pages 75-90

    3. A method to derive a single-EFSM from communicating multi-EFSM for data part testing

      • I. Hwang, T. Kim, M. Jang, J. Lee, S. Lee, H. Oh et al.
      Pages 91-106

  6. Test Coverage and Testability

    1. Front Matter

      Pages 107-107
      Download chapter PDF

    2. Basing test coverage on a formalization of test hypotheses

      • O. Charles, R. Groz
      Pages 109-124

    3. Design for testability: a step-wise approach to protocol testing

      • Hartmut König, Andreas Ulrich, Monika Heiner
      Pages 125-140

  7. Theory and Practice of Protocol Testing

    1. Front Matter

      Pages 141-141
      Download chapter PDF

    2. Developments in testing transition systems

      • Ed Brinksma, Lex Heerink, Jan Tretmans
      Pages 143-166

    3. Checking Experiments with Labeled Transition Systems for Trace Equivalence

      • Q. M. Tan, A. Petrenko, G. v. Bochmann
      Pages 167-182

    4. An approach to dynamic protocol testing

      • Sangjo Yoo, Myungchul Kim, Deukyoon Kang
      Pages 183-199

    5. Sensitivity analysis of the metric based test selection

      • Jadranka A. Curgus, Son T. Vuong, Jinsong Zhu
      Pages 200-219
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Korea Telecom Research & Development Group, Seocho Ku, Seoul, Korea

    Myungchul Kim, Sungwon Kang, Keesoo Hong

Bibliographic Information

  • Book Title: Testing of Communicating Systems

  • Book Subtitle: IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea

  • Editors: Myungchul Kim, Sungwon Kang, Keesoo Hong

  • Series Title: IFIP Advances in Information and Communication Technology

  • DOI: https://doi.org/10.1007/978-0-387-35198-8

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: IFIP International Federation for Information Processing 1997

  • Hardcover ISBN: 978-0-412-81730-4Published: 31 August 1997

  • Softcover ISBN: 978-1-4757-6701-8Published: 25 February 2013

  • eBook ISBN: 978-0-387-35198-8Published: 19 March 2013

  • Series ISSN: 1868-4238

  • Series E-ISSN: 1868-422X

  • Edition Number: 1

  • Number of Pages: X, 452

  • Topics: Computer Communication Networks, Signal, Image and Speech Processing

Publish with us

Policies and ethics

Back to top

Search

Navigation