Issue No.04 - April (1991 vol.40)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.88471
<p>The characteristics of the Estelle specification language are analyzed and a well-defined specification, a restricted form of an Estelle specification, is proposed based on the analyzed results to enable a direct derivation of a single reduced finite state machine-which is called a CFG (control flow graph)-from the specification written in Estelle. The derived CFG provides a basis for the automatic test case generation. Algorithms to test whether the specification written in Estelle is well defined or not, and to generate the CFG from the well-defined specification, are developed. Finally, as an example, the proposed technique is applied to TP0 (transport protocol class 0) specification written in Estelle. In applying these algorithms to the Estelle specification, some guidelines are also suggested for the specification which is not well defined.</p>
strategic testing environment; Estelle specification; automatic test generation; single reduced finite state machine; control flow graph; transport protocol class 0; conformance testing; finite automata; formal specification; protocols; specification languages.
D.Y. Lee, J.Y. Lee, "A Well-Defined Estelle Specification for the Automatic Test Generation", IEEE Transactions on Computers, vol.40, no. 4, pp. 526-542, April 1991, doi:10.1109/12.88471