Abstract
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 cover all definition and usage pairs satisfying certain constraints.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
