Protocol test generation, trace analysis and verification techniques

Abstract

A survey is presented of recent developments in protocol validation for open systems interconnection. The discussion includes two important components any protocol test system must have: test sequence generator and trace checker, as well as protocol verification techniques. It covers protocol specification techniques and conformance testing, test sequences, two main test selection tools, trace checking, and verification.<>