Testing protocols modeled as FSMs with timing parameters

Computer Networks

Volumn 31, Issue 18, 1999, Pages 1967-1988

  Uyar, M Ümit ^a   Fecko, Mariusz A ^b   Sethi, Adarshpal S ^b   Amer, Paul D ^b  

^a City College of New York   (United States)

^b UNIVERSITY OF DELAWARE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; FINITE AUTOMATA; GRAPH THEORY; MATHEMATICAL MODELS; SEQUENTIAL MACHINES;

FINITE STATE MACHINES (FSM);

NETWORK PROTOCOLS;

EID: 0033293554     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1389-1286(99)00007-9     Document Type: Article

References (37)

1. H. Ural, Formal methods for test sequence generation, Computer Communications 15 (1992) 311-325.
2. E. Brinksma, A theory for the derivation of tests, in: Proc. IFIP Protocol Specification, Testing, and Verification, VIII, North-Holland, Amsterdam, 1988.
3. J. Tretmans, Conformance testing with labelled transitions systems: Implementation relations and test generation, Computer Networks and ISDN Systems 29 (1996) 49-79.
4. R.E. Miller, S. Paul, On the generation of minimal-length conformance tests for communication protocols, IEEE/ACM Trans. on Networking 2 (1993) 116-129.
5. R.E. Miller, S. Paul, Structural analysis of protocol specifications and generation of maximal fault coverage conformance test sequences, IEEE/ACM Trans. on Networking 2 (1994) 457-470.
6. G. Luo, G. von Bochmann, A. Petrenko, Test selection based on communicating nondeterministic finite state machines using a generalized Wp-method, IEEE Trans. on Software Engineering 20 (1994) 149-162.
7. B. Sarikaya, G. von Bochmann, E. Cerny, A test design methodology for protocol testing, IEEE Trans. Software Engineering 13 (1987) 518-531.
8. R.J. Linn, Conformance testing for OSI protocols, Computer Networks and ISDN Systems 18 (1990) 203-219.
9. B. Yang, H. Ural, Protocol conformance test generation using multiple UIO sequences with overlapping, in: Proc. ACM SIGCOMM'90, pp. 118-125.
10. Y.N. Shen, F. Lombardi, A.T. Dahbura, Protocol conformance testing using multiple UIO sequences, IEEE Trans. on Communications 40 (1992) 1282-1287.
11. R.J. Linn, M.Ü. Uyar, Conformance Testing Methodologies and Architectures for OSI Protocols, IEEE Comp. Soc. Press, Los Alamitos, CA, 1994.
12. W.Y. Chan, S.T. Vuong, An improved protocol test generation procedure based on UIOs, in: Proc. ACM SIGCOMM, September 1989.
13. H. Ural, Y. Lu, An improved method for test sequence generation, Tech. Rep. TR-90-12, Dept. of CSI, University of Ottawa, March 1990.
14. M.S. Chen, Y. Choi, A. Kershenbaum, Minimal length test sequences for protocol conformance, in: Proc. First Network Management and Control Workshop, New York, NY, 1989.
15. M.S. Chen, Y. Choi, A. Kershenbaum, Approaches utilizing segment overlap to minimize test sequences, in: Proc. PSTV X, 1990, pp. 85-98.
16. A.V. Aho, A.T. Dahbura, D. Lee, M.Ü. Uyar, An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours, IEEE Trans. on Communications 39 (1991) 1604-1615.
17. J.K. Lenstra, A.H.G.R. Kan, On general routing problems, Networks 6 (1976) 273-280.
18. K.K. Sabnani, A.T. Dahbura, A protocol test generation procedure, Computer Networks and ISDN Systems 15 (1988) 285-297.
19. A. Bhattacharyya, Checking Experiments in Sequential Machines, Wiley, New York, 1989.
20. Z. Kohavi, Switching and Finite Automata Theory, McGraw-Hill, New York, 1978.
21. M.Ü. Uyar, M.A. Fecko, A.S. Sethi, P.D. Amer, Minimum-cost solutions for testing protocols with timers, in: Proc. IEEE Intern. Performance, Computing, and Communications Conf., Phoenix, AZ, 1998, pp. 346-354.
22. TM Switch - ISDN Basic Rate Interface Specification, September 1985.
23. Military Standard - Interoperability Standard for Digital Message Device Subsystems (MIL-STD 188-220B), January 1998.
24. ISO, Information Technology - OSI, Geneva, Switzerland, ISO International Standard 9646: Conformance Testing Methodology and Framework, 1991.
25. M.Ü. Uyar, M.H. Sherif, Protocol modeling for conformance testing: Case study for the ISDN LAPD protocol, AT&T Technical Journal 69 (1990).
26. M.A. Fecko, P.D. Amer, A.S. Sethi, M.Ü. Uyar, T. Dzik, R. Menell, M. McMahon, Formal design and testing of MIL-STD 188-220A based on Estelle, in: Proc. MILCOM'97: IEEE Military Comm. Conf., Monterey, CA, November 1997.
27. L.R. Ford, D.R. Fulkerson, Flows in Networks, Princeton University Press, 1962.
28. M.Ü. Uyar, A.T. Dahbura, Optimal test sequence generation for protocols: the Chinese postman algorithm applied to Q.931, in: Proc. IEEE GLOBECOM, 1986, pp. 68-72.
29. B.S. Bosik, M.Ü. Uyar, FSM-based formal methods in protocol conformance testing: from theory to implementation, Computer Networks and ISDN Systems 22 (1991) 7-34.
30. H.V. Bertine, W.B. Elsner, P.K. Verma, K.T. Tewani, Overview of protocol testing, methodologies, and standards, AT&T Technical Journal 69 (1990).
31. R. Alur, D.L. Dill, A theory of timed automata, Theoretical Computer Science 126 (1994) 183-235.
32. J. Springintveld, F. Vaandrager, P.R. D'Argenio, Testing timed automata, Tech. Rep. CTIT-97-17, University of Twente, the Netherlands, 1997.
33. M.Ü. Uyar, M.A. Fecko, A.S. Sethi, P.D. Amer, Test generation for protocols with timing constraints, Tech. Rep. TR-98-07, CIS Dept., University of Delaware, Newark, DE, 1997.
34. H. Ural, K. Zhu, Optimal length test sequence generation using distinguishing sequences, IEEE/ACM Trans. on Networking 1 (1993) 358-371.
35. A. Rezaki, H. Ural, Construction of checking sequences based on characterization sets, Computer Communications 18 (1995) 911-920.
36. D.P. Sidhu, T.K. Leung, Fault coverage of protocol test methods, in: Proc. IEEE INFOCOM, 1988, pp. 80-85.
37. A.T. Dahbura, K.K. Sabnani, An experience in estimating fault coverage of a protocol test, in: Proc. IEEE INFOCOM, 1988, pp. 71-79.