An approach for passive testing of SFSM-based systems

Based on Simplified Finite State Machine (SFSM) as an improved model, an approach for passive testing consistency is proposed. The improved model is introduced and the algorithm complexity is analysed. Also, this approach is implemented with the EPON Tester, and proved to be feasible to analyze Multi-Point Control Protocol (MPCP) consistency.

[1]  Jianping Wu,et al.  OnLine Test System, an application of passive testing in routing protocols test , 2001, Proceedings. Ninth IEEE International Conference on Networks, ICON 2001..

[2]  Jianping Wu,et al.  An enhanced passive testing tool for network protocols , 2003, 2003 International Conference on Computer Networks and Mobile Computing, 2003. ICCNMC 2003..

[3]  Ana R. Cavalli,et al.  Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach , 2004, FORTE.

[4]  Jianping Wu,et al.  From Active to Passive: Progress in Testing of Internet Routing Protocols , 2001 .

[5]  Jianping Wu,et al.  Passive testing on TCP , 2003, International Conference on Communication Technology Proceedings, 2003. ICCT 2003..

[6]  Raymond E. Miller,et al.  Fault identification in networks by passive testing , 2001, Proceedings. 34th Annual Simulation Symposium.

[7]  David Lee,et al.  Passive testing and applications to network management , 1997, Proceedings 1997 International Conference on Network Protocols.