Browse Prior Art Database

Minimal Length Test Sequences for Protocol Conformance

IP.com Disclosure Number: IPCOM000037110D
Original Publication Date: 1989-Nov-01
Included in the Prior Art Database: 2005-Jan-29

Publishing Venue

IBM

Related People

Authors:
Chen, MS Choi, Y Kershenbaum, A [+details]

Abstract

This article describes a new algorithmic technique for generating a minimal length test sequence to determine if an implementation of a protocol conforms to its deterministic Finite State Machine (FSM) specification. The disclosed technique is an improvement over techniques proposed in 1,2.