Minimal Length Test Sequences for Protocol Conformance
Original Publication Date: 1989-Nov-01
Included in the Prior Art Database: 2005-Jan-29
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.