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. >
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have