A protocol validation system

dc.contributor.author	Punt, JL
dc.contributor.editor	Kritzinger, P.
dc.date.accessioned	2018-08-03T10:39:18Z
dc.date.available	2018-08-03T10:39:18Z
dc.date.issued	1987
dc.identifier.citation	Punt, J.L. (1987) A protocol validation system. Proceedings of the 4th South African Computer Symposium, Holiday Inn, Pretoria, 1-3 July 1987, edited by P. Kritzinger (UCT).	en
dc.identifier.uri	http://hdl.handle.net/10500/24551
dc.description.abstract	This paper discusses a protocol validation system. The input to the system is a protocol definition specified in the specification language ESTELLE. The ESTELLE specification is the input to a translator program which extracts the protocol definition and creates an output file which serves as input to the validation routine. The validation routine uses reachability analysis to validate the protocol. The validation routine reports the following conditions: unspecified receptions, deadlock, channel overflow and all those transitions not exercised during the validation. The routine output includes a trace of events, the set of all system states generated - all errors are marked, a summary of the error conditions, a reachability tree, etc. The validation routine was successfully applied to several smaller protocols as well as the CCITT X.21 protocol. The system is implemented on an IBM compatible PC. This paper discusses the protocol validation system but with emphasis on the validation routine.	en
dc.language.iso	en	en
dc.title	A protocol validation system	en