Skip to main content
SpringerLink
Log in

Protocol Test Systems

7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems

  • Book
  • © 1995

Overview

Editors:
  1. Tadanori Mizuno

    1. Shizuoka University, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Teruo Higashino

    1. Osaka University, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Norio Shiratori

    1. Tohoku University, Japan

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

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Part One

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Open Issues in Conformance Test Specification

      • Bernd Baumgarten
      Pages 3-18

    3. OSI Protocol Testing System based on User Friendly Test Scenario Specification Functions

      • Toshihiko Kato, Tomohiko Ogishi, Toru Hasegawa, Kenji Suzuki
      Pages 19-34

    4. TTCN test case correctness validation

      • Finn Kristoffersen, Thomas Walter
      Pages 35-51

    5. Invited Address 1

      1. Fault Coverage of Tests Based on Finite State Models
        • G. v. Bochmann, A. Petrenko, M. Yao
        Pages 55-76

  3. Part Two

    1. Front Matter

      Pages 77-77
      Download chapter PDF

    2. On Transition Time Testing based on Extended Finite State Machines

      • Sijian Zhang, Samuel T. Chanson
      Pages 79-94

    3. Selecting Test Sequences for Partially-Specified Nondeterministic Finite State Machines

      • Gang Luo, Alexandre Petrenko, Gregor v. Bochmann
      Pages 95-110

    4. An Optimal State Identification Method Using a Dynamic-Programming-Based Approach for Protocol Testing

      • Rong S. Lin, Maria C. Yuang
      Pages 111-118

    5. Panel Session 1

      1. The Present Status of Conformance Testing and Interoperability Testing
        • Yoshihiko Yokoyama
        Pages 121-121

  4. Part Three

    1. Front Matter

      Pages 123-123
      Download chapter PDF

    2. Design and Implementation of an Interconnectability Testing System — AICTS

      • Ken’ichi Takahashi, Shinji Suzuki, Katsuya Sawai, Masatoshi Hatafuku, Kunihiro Gotoh, Keiichi Kazama
      Pages 125-140

    3. Evaluation of some test generation tools on a real protocol example

      • Laurent Boullier, Bryce Kelly, Marc Phalippou, Anne Rouger, Nick Webster
      Pages 141-154

    4. Protocol Validation Tools as Test Case Generators

      • Chang-Jia Wang, Liang-Seng Koh, Ming T. Liu
      Pages 155-170

    5. Invited Address 2

      1. Framework for formal methods in conformance testing
        • Dieter Hogrefe
        Pages 173-189

  5. Part Four

    1. Front Matter

      Pages 191-191
      Download chapter PDF

    2. Testing Strategies for Communicating FSMs

      • A. Petrenko, N. Yevtushenko, R. Dssouli
      Pages 193-208

    3. A Generalization of the multiple UIO method of test sequence selection for protocols represented in FSM

      • T. Ramalingam, K. Thulasiraman, Anindya Das
      Pages 209-224

    4. Automatic Generation of Extended UIO Sequences for Communication Protocols in an EFSM Model

      • Xiangdong Li, Teruo Higashino, Masahiro Higuchi, Kenichi Taniguchi
      Pages 225-240
Back to top

Keywords

Editors and Affiliations

  • Shizuoka University, Japan

    Tadanori Mizuno

  • Osaka University, Japan

    Teruo Higashino

  • Tohoku University, Japan

    Norio Shiratori

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation