My defence Presentation (GB2312 Encoding): Format: MS PowerPoint
Passive Testing is another kind of testing method different from the Active Testing.
Dr. David Lee in Bell Lab suggested the basic algorithm for passive testing on FSM/NFSM in his paper: "Passive Testing and Applications to Network Management".
To new comers to the Finite State Machine Testing, I recommend a survey by Dr. David Lee: "Principles and Methods of Testing Finite State Machines -- A Survey"
For people who is totally outside the area of routing protocol testing, I made a introduction on the work of netlab@tsinghua in May.2001. (for CS students in Tsinghua) Format: MS PowerPoing (GB2312 Encoding)
I am now concentrating in the Passive Testing Algorithms for Extended Finite State Machines and Timed Automata.
------------------------------------------------------------------
This web is under construction.
Any question, please mail to DavidWei@acm.org