Protocol conformance test generation using multiple UIO sequences with overlapping

This paper describes an optimization method for reducing the length of protocol conformance test sequences by overlapping test subsequences obtained using UIO sequences. It is shown that test sequences generated by this method are substantially shorter than those generated by other methods employing UIO sequences.

[1]  Krishan K. Sabnani,et al.  A new technique for generating protocol test , 1985, SIGCOMM '85.

[2]  Gregor von Bochmann,et al.  A Survey of Formal Methods , 1982 .

[3]  Fabrizio Lombardi,et al.  Protocol conformance testing using multiple UIO sequences , 1989, IEEE Trans. Commun..

[4]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[5]  Bo Yang,et al.  A Structural Test Selection Criterion , 1988, Inf. Process. Lett..

[6]  Hasan Ural.  Test sequence selection based on static data flow analysis , 1987, Comput. Commun..

[7]  Deepinder P. Sidhu,et al.  Formal Methods for Protocol Testing: A Detailed Study , 1989, IEEE Trans. Software Eng..

[8]  Anton T. Dahbura,et al.  Optimal test sequence generation for protocols: chinese postman algorithm applied to q. 931 , 1986 .

[9]  F. C. Hennine.  Fault detecting experiments for sequential circuits , 1964, SWCT 1964.

[10]  David Hutchison,et al.  Protocol testing techniques , 1987, Comput. Commun..

[11]  Jack Edmonds,et al.  Matching, Euler tours and the Chinese postman , 1973, Math. Program..

[12]  Richard M. Karp,et al.  Theoretical Improvements in Algorithmic Efficiency for Network Flow Problems , 1972, Combinatorial Optimization.

[13]  Guney Gonenc,et al.  A Method for the Design of Fault Detection Experiments , 1970, IEEE Transactions on Computers.

[14]  Alfred V. Aho,et al.  An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours , 1991, IEEE Trans. Commun..

[15]  Gregor von Bochmann,et al.  A Test Design Methodology for Protocol Testing , 1987, IEEE Transactions on Software Engineering.