Abstract
This paper presents an analysis method for protocol specifications written in Estelle. The analysis method is based on testing techniques and consists of three steps.
In the first step, data flow analysis is used to detect data flow anomalies in the Estelle specification and to derive test paths from the Estelle specification.
In the second step, test data are selected for each test path.
In the third step, the Estelle specification is executed according to the test data and evaluated with respect to a temporal logic specification which serves as a reference specification.
This analysis method does not substitute verification methods, since it cannot assure the absence of errors in the Estelle specification. But it is possible to reveal errors in complex specifications, which is a problem with todays verification methods.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
L.A.Clarke; "A System to Generate Test Data and Symbolically Execute Programs"; IEEE Tr.Soft.Eng., Vol.Se-2, No.3, September 1976.
C.V.Ramamoorthy, S.F.Ho, W.T.Chen; "On Automated Generation of Program Test Data"; IEEE Tr.Soft.Eng., Vol.Se-2, No.4, December 1976.
F.H.Vogt; "Event-Based Temporal Logic Specifications of Services and Protocols"; Protocol Specification, Testing, and Verification, C.Sunshine (ed.), North Holland, IFIP, 1982.
S.Rapps, E.Weyuker; "Selecting Test Data Using Data Flow Information"; IEEE Tr.Soft.Eng., Vol.Se-11, No.4, April 1985.
R.J.Linn; "The Features and Facilities of Estelle"; Protocol Specification, Testing, and Verification, V, North Holland, IFIP, 1986.
B.Sarikaya, G.v.Bochmann; "Obtaining Normal Form Specifications for Protocols"; Computer Network Usage, North Holland, IFIP, 1986.
H.Ural; "Test Sequence Selection based on Static Data Flow Analysis"; Computer Communications, Vol.10, No.5, October 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Thalmann, U. (1988). Analysis of estelle specifications. In: Vogt, F.H. (eds) CONCURRENCY 88. CONCURRENCY 1988. Lecture Notes in Computer Science, vol 335. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50403-6_49
Download citation
DOI: https://doi.org/10.1007/3-540-50403-6_49
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50403-0
Online ISBN: 978-3-540-45999-6
eBook Packages: Springer Book Archive