DocumentCode
3464899
Title
A new theory for equivalence between process specifications
Author
Elgendy, Hazem
Author_Institution
El-Gendys Pyramids Eng. Consultants Inc., Nepean, Ont., Canada
Volume
2
fYear
1996
fDate
13-16 Oct 1996
Firstpage
1186
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICECS.1996.584636
Filename
584636
Link To Document