Abstract
Passive testing of a network protocol is the process of detecting faults in the protocol implementation by passively observing its input/output behaviors (execution trace) without interrupting the normal network operations. In observing the trace, we can focus on the most expected relevant properties of the protocol specification by defining some invariants on the specification and checking them on the trace. While intuitive extraction of the invariants from the protocol requirements with respect to the control portion of the protocol system is relatively simple, taking the data portion into account is difficult. In this paper we propose algorithms for checking the correctness of given invariants on the specification and extracting the required constraints on the variables (data portion). Once we generate the constraints for a given invariant, we can check if the execution trace is confirmed by the specification with respect to the invariant and its constraints. We show the applicability of the algorithm on a case study: the simple connection protocol (SCP).
Chapter PDF
Similar content being viewed by others
References
Lai, R.: A survey of communication protocol testing. Journal of Systems and Software 62(1), 21–46 (2002)
Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines—A survey. Proc. IEEE 84, 8, 1089–1123 (1996)
Lee, D., Netravali, A.N., Sabnani, K., Sugla, B., John, A.: Passive testing and applications to network management. In: IEEE International Conference on Network protocols, ICNP 1997, pp. 113–122. IEEE Computer Society Press, Los Alamitos (1997)
Miller, R.E., Arisha, K.A.: On Fault Location in Networks by Passive Testing. In: IPCCC 2000, Pheonix, AZ (February 2000)
Tabourier, M., Cavalli, A.: Passive Testing and application to the GSM-MAP Protocol. Journal of Information and Software Technology 41(11), 813–821 (1999)
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)
Cavalli, A., Gervy, C., Prokopenko, S.: New Approaches for Passive Testing Using an Extended Finite State Machine Specification. Journal of Information and Software Technology 45, 837–852 (2003)
Lee, D., Chen, D., Hao, R., Miller, R.E., Wu, J., Yin, X.: A Formal Approach for Passive Testing of Protocol Data Portions. In: Proc. ICNP 2002 (2002)
Alcalde, B., Cavalli, A., Khuu, D., Chen, D., Lee, D.: Network Protocol System Passive Testing for Fault 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)
Baader, F., Snyder, W.: Unification Theory, Handbook of Automated Reasoning. In: Robinson, A., Voronkov, A. (eds.), vol. 1, ch. 8, pp. 446–533
Bayse, E., Cavalli, A., Nunez, M., Zaidi, F.: A Passive Testing Approach based on Invariants: Application to the WAP. To be published in journal of Computer Network (2004)
Marriott, K., Stuckey, P.J.: Programming with Constraints: An Introduction. Book. The MIT Press, Cambridge (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 IFIP International Federation for Information Processing
About this paper
Cite this paper
Ladani, B.T., Alcalde, B., Cavalli, A. (2005). Passive Testing – A Constrained Invariant Checking Approach. In: Khendek, F., Dssouli, R. (eds) Testing of Communicating Systems. TestCom 2005. Lecture Notes in Computer Science, vol 3502. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11430230_2
Download citation
DOI: https://doi.org/10.1007/11430230_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26054-7
Online ISBN: 978-3-540-32076-0
eBook Packages: Computer ScienceComputer Science (R0)