This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Test Design Methodology for Protocol Testing
May 1987 (vol. 13 no. 5)
pp. 518-531
B. Sarikaya, Department of Electrical Engineering, Concordia University
Communication protocol testing can be done with a test architecture consisting of remote Lower Tester and local Upper Tester processes. For real protocols, tests can be designed based on the formal specification of the protocol which uses an extended finite state machine model. The specification is transformed into a simpler form consisting of normal form transitions. It can then be modeled by a control and a data flow graph. The graphs are decomposed into subtours and data flow functions, respectively. Tests are designed by considering parameter variations of the input primitives of each data flow function and determining the expected outputs. The methodology gives complete test coverage of all data flow functions and control paths in the specification. Functional fault models are proposed for functions that are not formally specified.
Index Terms:
test sequences, Extended finite state automata, fault models, formal specification, normal form transitions, symbolic execution
Citation:
B. Sarikaya, G.v. Bochmann, E. Cerny, "A Test Design Methodology for Protocol Testing," IEEE Transactions on Software Engineering, vol. 13, no. 5, pp. 518-531, May 1987, doi:10.1109/TSE.1987.233197
Usage of this product signifies your acceptance of the Terms of Use.