Skip to main content
SpringerLink
Log in

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

  • Book
  • © 2000

Overview

Editors:
  1. Hasan Ural

    1. University of Ottawa, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Robert L. Probert

    1. University of Ottawa, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Gregor Bochmann

    1. University of Ottawa, Canada

    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 48)

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 (20 chapters)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Test Suite Coverage and Verification

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Verification of Test Suites

      • Claude Jard, Thierry Jéron, Pierre Morel
      Pages 3-18

    3. Structural Coverage for Lotos

      • Daniel Amyot, Luigi Logrippo
      Pages 19-34

    4. Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs

      • Ana Cavalli, Svetlana Prokopenko, Nina Yevtushenko
      Pages 35-56

  3. Testability and Test Feasibility

    1. Front Matter

      Pages 57-57
      Download chapter PDF

    2. Determination of Test Configurations for Pair-Wise Interaction Coverage

      • Alan W. Williams
      Pages 59-74

    3. Incremental Testing at System Reference Points

      • Ina Schieferdecker, Mang Li, Axel Rennoch
      Pages 75-90

    4. Generation of Feasible Test Sequences for EFSM Models

      • Ali Y. Duale, M. Ümit Uyar
      Pages 91-109

  4. Interoperability Testing of Internet Protocols

    1. Front Matter

      Pages 111-111
      Download chapter PDF

    2. Experiments on IPv6 Testing

      • Tibor Csöndes, Sarolta Dibuz, Péter Krémer
      Pages 113-126

    3. Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques

      • Jiwon Ryu, Myungchul Kim, Sungwon Kang, Soonuk Seol
      Pages 127-142

    4. Interoperability Testing System of TCP/IP Based Communication Systems in Operational Environment

      • Toshihiko Kato, Tomohiko Ogishi, Hiroyuki Shinbo, Yutaka Miyake, Akira Idoue, Kenji Suzuki
      Pages 143-157

  5. TTCN Evolution and Application

    1. Front Matter

      Pages 159-159
      Download chapter PDF

    2. On the Design of the New Testing Language TTCN-3

      • Jens Grabowski, Anthony Wiles, Colin Willcock, Dieter Hogrefe
      Pages 161-176

    3. HTTP Performance Evaluation with TTCN

      • Roland Gecse, Péter Krémer, János Zoltán Szabó
      Pages 177-192

    4. Conformance Testing of Corba Services Using TTCN

      • Alexey Mednonogov, Hannu H. Kari, Olli Martikainen, Jari Malinen
      Pages 193-208

  6. Test Automation and Industrial Testing Experience

    1. Front Matter

      Pages 209-209
      Download chapter PDF

    2. Formal Test Automation: The Conference Protocol with Phact

      • Lex Heerink, Jan Feenstra, Jan Tretmans
      Pages 211-220

    3. Formal Test Automation: The Conference Protocol with TGV/TorX

      • Lydie Du Bousquet, Solofo Ramangalahy, Séverine Simon, César Viho, Axel Belinfante, René G. de Vries
      Pages 221-228
Back to top

Keywords

About this book

Testing of Communicating Systems presents the latest international results in both the theory and industrial practice of the testing of communicating systems. The topics discussed range from tools and techniques for testing to test standards, frameworks, notations, algorithms, fundamentals of testing, and industrial experiences and issues. The tools and techniques discussed apply to conformance testing, interoperability testing, performance testing of communications software, Internet protocols and applications, and multimedia and distributed systems in general, such as systems for electronic commerce.
This volume contains the extensively refereed proceedings of the 13th International Conference on Testing of Communicating Systems (TestCom 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Ottawa, Ontario, Canada in early September 2000.
Testing of Communicating Systems is essential reading for engineers, designers, managers of IT products and services, and all researchers interested in advancing the technology of engineering Internet frameworks, systems, services, and applications for reliability and quality.

Editors and Affiliations

  • University of Ottawa, Canada

    Hasan Ural, Robert L. Probert, Gregor Bochmann

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation