An EFSM-based passive fault detection approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4581 LNCS, Issue , 2007, Pages 335-350

  Ural, Hasan ^a   Zhi, Xu ^a  

^a UNIVERSITY OF OTTAWA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION SYSTEMS; FAULT DETECTION; MODEL CHECKING; SOFTWARE TESTING; SYSTEMS ANALYSIS; LINEAR PROGRAMMING; LOGIC CIRCUITS;

HYBRID METHOD; M STARTING; SIMPLEX METHODS; SYSTEM UNDER TEST (SUT); DETECTION APPROACH; EXTENDED FINITE STATE MACHINE; INPUT/OUTPUT BEHAVIORS; NEW APPROACHES; SYSTEM UNDER TEST;

FINITE AUTOMATA; FAULT DETECTION;

EID: 34548091089     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73066-8_23     Document Type: Conference Paper

References (23)

1. Alcalde, B., Cavalli, A., Chen, D., Khuu, D., Lee, D.: Network protocol system passive testing for faulty management - a backward checking approach. In: de Frutos-Escrig, D., Núñez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 150-166. Springer, Heidelberg (2004)
2. Alcalde, B., Cavalli, A.: Parallel passive testing of system protocols c towards a real-time exhaustive approach. In: International Conference on Network, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies (ICN/ICONS/MCL 06), pp. 42-42 (2006)
3. Arnedo, J.A., Cavalli, A., Nunez, M.: Fast testing of critical properties through passive testing. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol. 2644, pp. 295-310. Springer, Heidelberg (2003)
4. Bayse, E., Cavalli, A., Nunez, M., Zaidi, F.: A passive testing approach based on invariants: Application to the wap. Computer Networks and ISDN Systems 48, 247-266 (2005)
5. Cavalli, A., Gervy, C., Prokopenko, S.: New approaches for passive testing using an extended finite state machine specification. Information and Software Technology 45, 837-852 (2003)
6. Cavalli, A., Vieira, D.: An enhanced passive testing approach for network protocols. In: International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies (ICN/ICONS/MCL06), pp. 169-169 (2006)
7. Chen, D., Wu, J., Chu, T.: An enhanced passive testing tool for network protocols. In: International Conference on Computer Networks and Mobile Computing (ICCNMC 03), pp. 513-516 (2003)
8. Hansen, E., Walster, G.: Global Optimization Using Interval Analysis, 2nd edn. New York: Marcel Dekker Inc (2004)
9. Lee, D., Netravali, A.N., Sabnani, K.K., Sugla, B., John, A.: Passive testing and applications to network management. In: IEEE International Conference on Network Protocols (ICNP97), pp. 113-122 (1997)
10. Lee, D., Chen, D., Hao, R., Miller, R.E., Wu, J., Yin, X.: A formal approach for passive testing of protocol data portions. In: IEEE International Conference on Network Protocols (ICNP02), pp. 122-131 (2002)
11. Lee, D., Chen, D., Hao, R., Miller, R.E., Wu, J., Yin, X.: Network protocol system monitoring c a formal approach with passive testing. IEEE/ACM Transactions on Networking 14, 424-437 (2006)
12. LP_Solve: Tool lp_solve, version 5.5.0.9 (2007) http://lpsolve. sourceforge.net/5.5/
13. Marriott, K., Stuckey, P.: Programming with Constraints: An Introduction. MIT Press, Cambridge, Mass (1998)
14. Miller, R.: Passive testing of networks using a cfsm specification. In: IEEE International Performance, Computing and Communications Conference (IPCCC98), pp. 111-116 (1998)
15. Miller, R., Arisha, K.: On fault location in networks by passive testing. In: IEEE International Performance, Computing and Communications Conference (IPCCC00), pp. 281-287 (2000)
16. Miller, R., Arisha, K.: Fault identification in networks by passive testing. In: 34th Annual Simulation Symposium, pp. 277-284 (2001)
17. Miller, R., Arisha, K.: Fault identification in networks using a cfsm model by passive testing. Technical report, UMIACS (2001)
18. Miller, R., Arisha, K.: Fault coverage in networks by passive testing. In: International Conference on Internet Computing, pp. 413-419 (2001)
19. Moore, R.: Interval Analysis. Prentice-Hall Inc, Englewood Cliffs, N.J (1966)
20. Spielman, D., Teng, S.: Smoothed analysis: Why the simplex algorithm usually takes polynomial time. Journal of the ACM 51, 385-463 (2004)
21. Tabourier, M., Cavalli, A.: Passive testing and application to the gsm-map protocol. Information and Software Technology 41, 813-821 (1999)
22. Wu, J., Zhao, Y., Yin, X.: From active to passive: Progress in testing of internet routing protocols. In: IFIP FORTE01, pp. 101-118 (2001)
23. Zhao, Y., Yin, X., Wu, J.: Online test system, an application of passive testing in routing protocols test. In: 9th IEEE International Conference on Networks, pp. 190-195 (2001)