Research Catalog

Title

Conformance testing methodologies and architecture for OSI protocols / [edited by] Richard J. Linn, M. Ümit Uyar.

Publication

Los Alamitos, Calif. : IEEE Computer Society Press, 1994.

Items in the Library & Off-site

Details

Additional Authors

• Linn, Richard J.
• Uyar, M. Ümit.

Description

x, 527 pages : illustrations; 29 cm

Subject

• Computer network protocols > Testing
• OSI (Computer network standard)
• Computer network architectures

Bibliography (note)

• Includes bibliographical references and index.

Contents

• International Conformance Testing - Towards the Next Decade / I. C. Davidson -- The OSI Reference Model / J. D. Day and H. Zimmermann -- Fundamentals of the Layer Service Definitions and Protocol Specifications / P. F. Linington -- Connections and Connectionless Data Transmission / A. L. Chapin -- Towards an Objective Understanding of Conformance / D. Rayner -- Finite State Description of Communication Protocols / G. V. Bochmann -- A Useful FSM Representation for Test Suite Design and Development / B. Kanungo et al -- Conformance Testing for OSI Protocols / R. J. Linn -- OSI Conformance Testing / D. Rayner -- TTCN: Status and Assessment / M. L. Doubet -- TTCN: The International Notation for Specifying Tests of Communications Systems / R. L. Probert and O. Monkewich -- An Overview of ASN.1 / G. Neufeld and S. Vuong -- MHTS/400-Testing Message Handling Systems / B. Austermuehl -- Testing to Assure Interworking of Implementations of ISO/OSI Protocols / R. J. Linn.
• Application of the ISO Distributed Single Layer Testing Method to the Connectionless Network Protocol / J. S. Nightingale -- Protocol Testing for the ISDN D-Channel Network Layer / E. P. Rathgeb et al -- Progress in Conformance Testing Services? / D. J. Dwyer -- Synchronization and Specification Issues in Protocol Testing / B. Sarikaya and G. V. Bochmann -- Some Experience with Test Sequence Generation for Protocols / B. Sarikaya and G. V. Bochmann -- X.25 Conformance Testing - A Tutorial / M. H. Sherif, G. L. Hoover and R. P. Wiederhold -- Optimal Test Sequence Generation for Protocols: The Chinese Postman Algorithm Applied to Q.931 / M. U. Uyar and A. T. Dahbura -- Fault Detecting Experiments for Sequential Circuits / F. C. Hennie -- A Method for the Design of Fault Detection Experiments / G. Gonenc -- Using Checking Sequences for OSI Session Layer Conformance Testing / W. Hengeveld and J. Kroon -- Testing Software Design Modeled by Finite-State Machines / T. S. Chow.
• Test Selection Based on Finite State Models / S. Fujiwara et al -- A Protocol Test Generation Procedure / K. K. Sabnani and A. T. Dahbura -- An Optimization Technique For Protocol Conformance Test Generation Based on UIO Sequences and Rural Chinese Postman Tours / A. V. Aho at al -- Generating Minimal Length Test Sequences for Conformance Testing of Communication Protocols / R. E. Miller and S. Paul -- Fault Coverage of Protocol Test Methods / D. Sidhu and T.-K. Leung -- TESDL: Experience with Generating Test Cases from SDL Specifications / L. Bromstrup and D. Hogrefe -- LOTOS Specifications, Their Implementations and Their Tests / E. Brinksma, G. Scollo and G. Steenbergen -- A Test Design Methodology for Protocol Testing / B. Sarikaya, G. V. Bochmann and E. Cerny -- Derivation of Test Cases for LAP-B from a LOTOS Specification / D. Gueraichi and L. Logrippo -- A Test Derivation Method For Protocol Conformance Testing / H. Ural.

ISBN

• 0818653523 (case)
• 0818653515 (fiche)

LCCN

93045664

OCLC

• 29520977
• ocm29520977

Owning Institutions

Columbia University Libraries