The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - May (1987 vol.13)
pp: 518-531
B. Sarikaya , Department of Electrical Engineering, Concordia University
ABSTRACT
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
32 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool