Test sequence selection based on static data flow analysis

  title={Test sequence selection based on static data flow analysis},
  author={Hasan Ural},
  journal={Computer Communications},
Selection of test sequences from a protocol specification is based on static data flow analysis. It is assumed that the protocol specification is given in Estelle as a normal form specification. The specification is transformed into a graph modelling the flow of both control and data in the specification. The graph explicitly identifies the associations between definitions and usages of each variable employed in the specification. Based on this information, test sequences are constructed to… CONTINUE READING
Highly Cited
This paper has 39 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
24 Citations
6 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 24 extracted citations


Publications referenced by this paper.
Showing 1-6 of 6 references

Standardizing conformance testing for OSI

  • D Rayner
  • Proc. of 5th IFIPA/VG 6.1 Int. Workshop on…
  • 1985

' The complexity of data flow criteria for test data selection ' Inf

  • E l Weyuket
  • Proc . Lett . Vo
  • 1981

Remarks on the feasibility of validating and testingADCCP implementations

  • T F Piatkowski
  • Proc. of Trends and Applications Symposium (N BS)
  • 1980

Similar Papers

Loading similar papers…