Title :
Protocol test generation, trace analysis and verification techniques
Author :
Sarikaya, Behçet
Author_Institution :
Dept. of Electr. & Comput. Eng., Concordia Univ., Montreal, Que., Canada
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
Keywords :
program testing; program verification; protocols; ISO; OSI; conformance testing; open systems interconnection; protocol specification techniques; protocol validation; test sequence generator; test system; trace analysis; verification techniques; Computer aided manufacturing; ISO standards; Natural languages; Open systems; Peer to peer computing; Protocols; Research and development; Skin; Standards organizations; System testing;
Conference_Titel :
Software Testing, Verification, and Analysis, 1988., Proceedings of the Second Workshop on
Conference_Location :
Banff, Alta.
Print_ISBN :
0-8186-0868-4
DOI :
10.1109/WST.1988.5364
