A Test Design Methodology for Protocol Testing

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.

[1]  C.A. Vissers,et al.  Formal description techniques , 1983, Proceedings of the IEEE.

[2]  William E. Howden,et al.  Functional Program Testing , 1978, IEEE Transactions on Software Engineering.

[3]  J.D. Day,et al.  The OSI reference model , 1983 .

[4]  R. E. Prather.  Theory of program testing — An overview , 1983, The Bell System Technical Journal.

[5]  A. Robinson,et al.  A survey of dynamic analysis methods for airframe-flight control design , 1968 .

[6]  Behcet Sarikaya.  Test design for computer network protocols , 1984 .

[7]  Gregor von Bochmann,et al.  Synchronization and Specification Issues in Protocol Testing , 1984, IEEE Trans. Commun..

[8]  Behcet Sarikaya,et al.  A computer-aided design tool for protocol testing , 1988, IEEE INFOCOM '88,Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?.

[9]  Jacob A. Abraham,et al.  TEST GENERATION FOR GENERAL MICROPROCESSOR ARCHITECTURES. , 1979 .