Passive testing - A constrained invariant checking approach

Lecture Notes in Computer Science

Volumn 3502, Issue , 2005, Pages 9-22

  Ladani, Behrouz Tork ^a   Alcalde, Baptiste ^b   Cavalli, Ana ^b  

^a UNIVERSITY OF ISFAHAN   (Iran)

^b INSTITUT NATIONAL DES TÉLÉCOMMUNICATIONS   (France)

Author keywords

Constraint solving; Invariant checking; Invariants; Passive testing; SCP

Indexed keywords

ALGORITHMS; CONSTRAINT THEORY; DATA ACQUISITION; MECHANICAL TESTING; SPECIFICATIONS; NETWORK PROTOCOLS;

CONSTRAINT SOLVING; INVARIANT CHECKING; INVARIANTS; PASSIVE TESTING; SIMPLE CONNECTION PROTOCOL (SCP); SCP;

NETWORK PROTOCOLS; SPECIFICATIONS;

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

References (12)

1. R. Lai, "A survey of communication protocol testing", Journal of Systems and Software 62(1): 21-46 (2002).
2. D. Lee, and M. Yannakakis, "Principles and methods of testing finite state machines-A survey", Proc. IEEE 84, 8, (1996), 1089-1123.
3. D. Lee, A. N. Netravali, K. Sabnani, B. Sugla, A. John, "Passive testing and applications to network management", IEEE International Conference on Network protocols, ICNP'97, pages 113-122. IEEE Computer Society Press, 1997
4. R. E. Miller and K. A. Arisha, "On Fault Location in Networks by Passive Testing", IPCCC 2000, Pheonix, AZ, Feb. 2000.
5. M. Tabourier and A. Cavalli, "Passive Testing and application to the GSM-MAP Protocol", in Journal of Information and Software Technology 41(11) (15 Sept. 1999), Pages 813-821, Elsevier, 1999.
6. J. A. Arnedo, A. Cavalli and M. Nunez, "Fast Testing of Critical Properties through Passive Testing", LNCS, vol. 2644/2003, Pages 295-310, Springer, 2003.
7. A. Cavalli, C. Gervy and S. Prokopenko, "New Approaches for Passive Testing Using an Extended Finite State Machine Specification", in Journal of Information and Software Technology, 45:837-852, Elsevier, 2003.
8. D. Lee, D. Chen, R. Hao, R. E. Miller, J. Wu, and X. Yin, "A Formal Approach for Passive Testing of Protocol Data Portions", Proc. ICNP'2002.
9. B. Alcalde, A. Cavalli, D. Khuu, D. Chen, D. Lee, "Network Protocol System Passive Testing for Fault Management - a Backward Checking Approach", in the Proceedings of the 24th IFIP WG 6.1, International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2004, 27-30 September, 2004, Madrid, Spain.
10. F. Baader, W. Snyder, "Unification Theory, Handbook of Automated Reasoning", Alan Robinson, Andrei Voronkov, eds., Vol. 1, Chapter 8, 446-533.
11. E.Bayse, A. Cavalli, M. Nunez and F. Zaidi, "A Passive Testing Approach based on Invariants: Application to the WAP", To be published in journal of Computer Network, 2004.
12. K. Marriott and P. J. Stuckey, "Programming with Constraints: An Introduction", Book, The MIT Press, 1998.