Passive Testing

My Bachelor Thesis (Jun.2001):

"FSM/EFSM Passive Testing Algorithm and the Application on Routing Protocol Testing" (in Chinese)
Format: HTML, GB2312 Encoding ;
Format: MS Word

My defence Presentation (GB2312 Encoding): Format: MS PowerPoint

Introduction to Passive Testing:

    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