Skip to main content
SpringerLink
Log in

Testing of Communicating Systems

Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS’98) August 31-September 2, 1998, Tomsk, Russia

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Alexandre Petrenko

    1. Computer Research Institute of Montreal (CRIM), Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Nina Yevtushenko

    1. Tomsk State University, Russia

    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, volume 3)

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 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.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 (21 papers)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Past and Present of Research on Automata Testing Invited Talk

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Testing of automata: from experiments to representations by means of fragments

      • Igor S. Grunsky
      Pages 3-14

  3. New Areas for Testing

    1. Front Matter

      Pages 15-15
      Download chapter PDF

    2. TMN and Telecommunication Networks Testing

      • Mahamat Guiagoussou, Michel Kadoch
      Pages 17-33

    3. Conformance testing methodology of Internet protocols Internet application-layer protocol testing — the Hypertext Transfer Protocol

      • Roland Gecse
      Pages 35-48

    4. Intelligent Protocol Analyzer for WWW Server Accesses with Exception Handling Function

      • Tomohiko Ogishi, Akira Idoue, Toshihiko Kato, Kenji Suzuki
      Pages 49-64

  4. Test Generation

    1. Front Matter

      Pages 65-65
      Download chapter PDF

    2. Factorized test generation for multi-input/output transition systems

      • Ed Brinksma, Lex Heerink, Jan Tretmans
      Pages 67-82

    3. Test Generation for Specifications Modeled by Input/Output Automata

      • Q. M. Tan, A. Petrenko
      Pages 83-99

    4. Distinguishing tests for nondeterministic finite state machines

      • S. Yu. Boroday
      Pages 101-107

  5. Testing in Context

    1. Front Matter

      Pages 109-109
      Download chapter PDF

    2. Evaluation of test coverage for embedded system testing

      • Jinsong Zhu, Son T. Vuong, Samuel T. Chanson
      Pages 111-126

    3. Test suite minimization for testing in context

      • Nina Yevtushenko, Ana Cavalli, Luiz Lima Jr.
      Pages 127-145

  6. Test Architectures and Concurrent Systems Invited Talk

    1. Front Matter

      Pages 147-147
      Download chapter PDF

    2. Test Architectures for Distributed Systems — State of the Art and Beyond

      • T. Walter, I. Schieferdecker, J. Grabowski
      Pages 149-174

    3. Using partial-orders for detecting faults in concurrent systems

      • A. Petrenko, A. Ulrich, V. Chapenko
      Pages 175-190

  7. Industrial Applications

    1. Front Matter

      Pages 191-191
      Download chapter PDF

    2. Conformance Testing of a Multimedia System Using PHACT

      • L. M. G. Feijs, F. A. C. Meijs, J. R. Moonen, J. J. van Wamel
      Pages 193-210

    3. An industrial experiment in automatic generation of executable test suites for a cache coherency protocol

      • Hakim Kahlouche, César Viho, Massimo Zendri
      Pages 211-226
Back to top

Keywords

About this book

Testing of Communicating Systems presents the latest world-wide results in both theory and practice. This volume provides a forum in which the substantial volume of research on the testing of communicating systems, spanning from conformance testing through interoperability testing, to performance and QoS testing, is brought together.
The following topics are discussed in detail: Types of testing; Phases of the testing process; Classes of systems to be tested; and Theory and practice of testing.
This book contains the selected proceedings of the 11th International Workshop on the Testing of Communicating Systems, formerly the International Workshop on Protocol Test Systems, sponsored by the International Federation for Information Processing (IFIP), and held in Tomsk, Russia, in August/September 1998.
Testing of Communicating Systems will be essential reading for engineers, IT managers and research personnel working in computer sciences and telecommunications.

Editors and Affiliations

  • Computer Research Institute of Montreal (CRIM), Canada

    Alexandre Petrenko

  • Tomsk State University, Russia

    Nina Yevtushenko

Bibliographic Information

  • Book Title: Testing of Communicating Systems

  • Book Subtitle: Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS’98) August 31-September 2, 1998, Tomsk, Russia

  • Editors: Alexandre Petrenko, Nina Yevtushenko

  • Series Title: IFIP Advances in Information and Communication Technology

  • DOI: https://doi.org/10.1007/978-0-387-35381-4

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: IFIP International Federation for Information Processing 1998

  • Hardcover ISBN: 978-0-412-84430-0Published: 31 August 1998

  • Softcover ISBN: 978-1-4757-6703-2Published: 11 January 2013

  • eBook ISBN: 978-0-387-35381-4Published: 11 November 2013

  • Series ISSN: 1868-4238

  • Series E-ISSN: 1868-422X

  • Edition Number: 1

  • Number of Pages: XII, 364

  • Topics: Computer Communication Networks, Communications Engineering, Networks, Multimedia Information Systems

Publish with us

Policies and ethics

Back to top

Search

Navigation