Coping with nondeterminism in network protocol testing

Lecture Notes in Computer Science

Volumn 3502, Issue , 2005, Pages 129-145

  Miller, R E ^a   Chen, D L ^b   Lee, D ^c   Hao, R ^d  

^a University of Maryland ^*  (United States)

^b TSINGHUA UNIVERSITY   (China)

^c Ohio State University   (United States)

^d NOKIA RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; INTERNET; SPECIFICATIONS; NETWORK PROTOCOLS;

INTERNET PROTOCOLS; NETWORK PROTOCOL TESTING; NONDETERMINISTIC MACHINES; IMPLEMENTATION UNDER TESTS; IN NETWORKS; NON-DETERMINISM; NON-DETERMINISTIC PROTOCOL; PASSIVE TESTING; TRACE INCLUSION;

NETWORK PROTOCOLS; INTERNET PROTOCOLS;

EID: 24944531252     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11430230_10     Document Type: Conference Paper

References (19)

1. Yannakakis, M., Lee, D.: Testing finite state machines: Fault detection. J. Computer Science and Systems 50 (1995) 209-227
2. Luo, G., V. Bochmann, G., Petrenko, A.F.: Test selection based on communicating nondeterministic finite state machines using a generalized wp-method. IEEE Transactions on Software Engineering 20 (1994) 149-162
3. Petrenko, A., Yevtushenko, N., Bochmann, G.: Testing deterministic implementations from nondeterministic fsm specifications. In: Proc. of the 9th Intern Workshop on Protocol Test Systems. (1996)
4. Alur, R., Courcoubetis, G., Yannakakis, M.: Distinguishing tests for nondeterministic and probabilistic machines. In: Symposium on Theory of Computer Science, 1995, ACM. (1995) 363-372
5. Hierons, R.: Generating candidates when testing a deterministic implementation against a non-deterministic finite-state machine. The Computer Journal 46 (2003) 307-318
6. Lee, D., N.Netravali, A., Sabnani, K.K., Sugla, B., John, A.: Passive testing and applications to network management. In: Proceedings of IEEE International Conference on Network Protocols. (1997)
7. Padhye, J., Floyd, S.: On inferring TCP behavior. In: ACM SIGCOMM. (2001) 287-298
8. Starke, P.H.: Abstract Automata. American Elsevier Publishing Company, Inc (1972)
9. Lee, D., Chen, D., Hao, R., Miller, R.E., Wu, J., Yin, X.: A formal approach for passive testing of protocol data portions. In: International Conference on Network Protocols. (2002) 122-131
10. Milner, R.: Communication and Concurrency. Prentice Hall International (1989)
11. Malkin, G.: RIP version 2 - carrying additional information. RFC 1723 (1994)
12. Miller, R.E., Chen, D., Lee, D., Hao, R.: Coping with nondeterminism in network protocol testin, full version. (2005)
13. Lee, D., Sabnani, K.: Reverse-engineering of communication protocols. In: International Conference on Network Protocols. (1993) 208-216
14. Hopcroft, J.: An nlogn algorithm for minimizing states in a finite automaton. The Theory of Machines and Computations (1971) 189-196
15. Kohavi, Z.: Switching and Finite Automata Theory, second edition edn. McGraw-Hill, Inc., New York (1978)
16. Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines -a survey. Proceedings of The IEEE 84 (1996) 1090-1123
17. Allman, M., Paxson, V., Stevens, W.: TCP Congestion Control. RFC 2581 (1999)
18. Carlson, J.D. In: PPP Design, Implementation, and Debugging. 2nd edition edn. Addison Wesley Professional (2000) 99
19. Lee, D., Miller, R.: Passive testing of network protocols specified by nondeterministic finite state machines, draft document. (1999)