Title :
A new theory for equivalence between process specifications
Author_Institution :
El-Gendys Pyramids Eng. Consultants Inc., Nepean, Ont., Canada
Abstract :
New theory for equivalence between process specifications is presented in this paper. This theory is based on conformance testing; the type of testing that aims at identifying systems with distinguishable behaviours. The theory (Conformance Testing equivalence) is general enough to be not restricted to any specific formal description technique. The application of the theory is illustrated by examples of a transport layer protocol that includes a Lotos-based specification
Keywords :
conformance testing; formal specification; protocols; specification languages; Lotos-based specification; conformance testing; equivalence; process specifications; transport layer protocol; Cathode ray tubes; Electronic mail; Internet; Standardization; System testing; Transport protocols;
Conference_Titel :
Electronics, Circuits, and Systems, 1996. ICECS '96., Proceedings of the Third IEEE International Conference on
Conference_Location :
Rodos
Print_ISBN :
0-7803-3650-X
DOI :
10.1109/ICECS.1996.584636
