Skip to main content
SpringerLink
Log in

Protocol Test Systems VIII

Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Ana Cavalli

    1. Institut National des Télécommunications, Evry, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Stan Budkowski

    1. Institut National des Télécommunications, Evry, France

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

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Testing Methods

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Invited Lecture

      1. Testing Through the Ages
        • A. T. Dahbura
        Pages 5-19
      2. An Executable Protocol Test Sequence Generation Method for EFSM-specified Protocols
        • Chung-Ming Huang, Yuan-Chuen Lin, Ming-Yuhe Jang
        Pages 20-35
      3. Transformation of Estelle modules aiming at test case generation
        • O. Henniger, A. Ulrich, H. König
        Pages 36-51

  3. Test Environments

    1. Front Matter

      Pages 53-53
      Download chapter PDF

    2. Application of a LOTOS based Test Environment on AAL5

      • J. Burmeister, A. Rennoch
      Pages 55-70

    3. Stable Testers for Environment Sensitive Systems

      • Mohammed Ghriga
      Pages 71-86

  4. Theoretical Framework

    1. Front Matter

      Pages 87-87
      Download chapter PDF

    2. Timed systems behaviour and conformance testing — a mathematical framework

      • B. Baumgarten
      Pages 89-104

    3. An adaptive test sequences generation method for the users needs

      • Richard Castanet, Christophe Chevrier, Ousmane Koné, Bertrand Le Saëc
      Pages 105-120

    4. A Framework for Testing Telecommunication Services

      • G. S. Vermeer, M. F. Witteman, J. Kroon
      Pages 121-132

  5. Algorithms and Languages

    1. Front Matter

      Pages 133-133
      Download chapter PDF

    2. Conformance testing of protocols specified as labeled transition systems

      • P. V. Koppol, K. C. Tai
      Pages 135-150

    3. Two approaches linking a test generation tool with verification techniques

      • Marylène Clatin, Roland Groz, Marc Phalippou, Richard Thummel
      Pages 151-166

    4. PROSPECT — A Proposal for a New Test Specification Language and Its Implementation

      • Thomas Walter, Bernhard Plattner
      Pages 167-184

  6. Test Generation 1

    1. Front Matter

      Pages 185-185
      Download chapter PDF

    2. Test sequence generation for adaptive interoperability testing

      • Sungwon Kang, Myungchul Kim
      Pages 187-200

    3. Fault-tolerant UIO Sequences in Finite State Machines

      • Kshirasagar Naik
      Pages 201-214

    4. Guaranteeing full fault coverage for UIO-based testing methods

      • Ricardo Anido, Ana Cavalli
      Pages 215-231
Back to top

Keywords

About this book

IWPTS'95 (International Workshop on Protocol Test Systems) is being held this year at !NT (Institut National des Telecommunications), Evry, France, from 4 to 6 September, 1995. IWPTS'95 is the eighth of a series of annual meetings sponsored by the IFIP Working Group WG6.1 dedicated to "Architecture and Protocols for Computer Networks". The seven previous workshops were held in Vancouver (Canada, 1988), Berlin (Germany, 1989), Mclean (USA, 1990), Leidschendam (The Netherlands, 1991), Montreal (Canada, 1992), Pau (France, 1993) and Tokyo (Japan, 1994). The workshop is a meeting place where both research and industry, theory and practice come together. By bringing both researchers and practitioners together, IWPTS opens up the communication between these groups. This helps keep the research vital and improves the state of the practitioner's art. Forty-eight papers have been submitted to IWPTS'95 and all of them have been reviewed by the members of the Program Committee and additional reviewers. The completed reviewers list is included in this Proceedings. Based on these reviews, the Program Committee selected 26 for oral presentation and 4 to be presented as posters. Two specially invited papers complete the Workshop Program, which is composed of ten sessions: Testing Methods (Session 1), Test Environments (Session 2), Theoretical Framework (Session 3), Algorithms and Languages (Session 4), Test Generation 1 (Session 5), Testability (Session 6), Test Generation 2 (Session 7), Industrial Applications (Session 8), Distributed Testing and performance (Session 9) and Test Management (Session 10).

Editors and Affiliations

  • Institut National des Télécommunications, Evry, France

    Ana Cavalli, Stan Budkowski

Bibliographic Information

  • Book Title: Protocol Test Systems VIII

  • Book Subtitle: Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995

  • Editors: Ana Cavalli, Stan Budkowski

  • Series Title: IFIP Advances in Information and Communication Technology

  • DOI: https://doi.org/10.1007/978-0-387-34988-6

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: IFIP International Federation for Information Processing 1996

  • Hardcover ISBN: 978-0-412-78110-0Published: 31 January 1996

  • Softcover ISBN: 978-1-4757-6312-6Published: 27 February 2013

  • eBook ISBN: 978-0-387-34988-6Published: 09 March 2013

  • Series ISSN: 1868-4238

  • Series E-ISSN: 1868-422X

  • Edition Number: 1

  • Number of Pages: XII, 452

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

Publish with us

Policies and ethics

Back to top

Search

Navigation