Browse Prior Art Database

A Technique for Generating Test Sequences for Protocols

IP.com Disclosure Number: IPCOM000128011D
Original Publication Date: 1985-Dec-31
Included in the Prior Art Database: 2005-Sep-14
Document File: 12 page(s) / 39K

Publishing Venue

Software Patent Institute

Related People

Tai-Tao Shih: AUTHOR [+4]

Abstract

This paper presents an automated technique for generating test sequences for com-puter communication protocols. A protocol standard, in general, can lead to several different implementations. This necessitates the need for testing each proto-col implementation for conformance to the specification of the protocol standard. Due to the complex of real-world communication protocols, such as NBS TP4, automated tools are needed for generating reliable test sequences.

This text was extracted from a PDF file.
This is the abbreviated version, containing approximately 10% of the total text.

Page 1 of 12

THIS DOCUMENT IS AN APPROXIMATE REPRESENTATION OF THE ORIGINAL.

A Technique for Generating Test Sequences for Protocols

by Tai-Tao Shih and Deepinder P. Sidhu TR X85-23

July 3, 1985

A TECHNIQUE FOR GENERATING TEST SEQUENCES FOR PROTOCOLS

Tai-Tao Shih and Deepinder Sidhu Department of Computer Science Iowa State University Ames, Iowa 50011

ABSTRACT

This paper presents an automated technique for generating test sequences for com-puter communication protocols. A protocol standard, in general, can lead to several different implementations. This necessitates the need for testing each proto-col implementation for conformance to the specification of the protocol standard. Due to the complex of real-world communication protocols, such as NBS TP4, automated tools are needed for generating reliable test sequences.

Our protocol testing technique is based, on a method, called W -method, for testing digital systems. We first discuss the method which assumes a finite state machine (FSM) model for the protocol. The application of the method to protocol testing involves deriving a testing tree from the protocol FSM, and a test sequence, called a characterization sequence, which is obtained by the concatenation of two sets, P and W, where P is the set containing all partial paths in the testing tree and W is a characterization set of the finite state machine.

This paper points out some problems with the straightforward application of the W-method when several W sets exist for a protocol. The existence of multiple W sets creates ambiguities in selecting a minimal set W set for generating test sequences.

This paper presents two applications of our protocol test sequence generation tech-nique to the derivation of test sequences from the specification of subsets of the ISO Class 0 and NBS Class 4 Transport Protocols. These sequences can be used to iesl the conformance of implementations of_these protocols to their standards.

1. Introduction

The modern advances in hardware technologies has been playing a key role in the rapid development of computer communications networks and distributed pro-cessing systems. Within the last decade, several successful networks have been designed and implemented, the most famous among them is the ARPA network which provides communication among over 100 computers around the world. The success of the first generation experimental networks has given impetus to the development of several public, private and commercial computer communication networks. The computer systems attached to a network communicate with each other using a common set of rules and conventions called protocols. A protocol, in gen-eral, is

Iowa State University Page 1 Dec 31, 1985

Page 2 of 12

A Technique for Generating Test Sequences for Protocols

quite complex and takes a considerable effort to implement on a system. The implementation of a protocol is generally derived from a specification stan-dard. A protocol standard, in general, can lead to severa...