Browse Prior Art Database

Minimal Length Test Sequences for Protocol Conformance Disclosure Number: IPCOM000037110D
Original Publication Date: 1989-Nov-01
Included in the Prior Art Database: 2005-Jan-29

Publishing Venue


Related People

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


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.