Abstract
We present a novel methodology to perform passive testing. The usual approach consists in recording the trace produced by the implementation under test and trying to find a fault by comparing this trace with the specification. We propose a more active approach to passive testing where the minimum set of (critical) properties required to a correct implementation may be explicitly indicated. In short, an invariant expresses that each time that the implementation under test performs a given sequence of input/output actions, then it must show a behavior reflected in the invariant. By using an adaptation of the classical pattern matching algorithms on strings, we obtain that the complexity of checking whether an invariant is fulfilled by the observed trace is in \( \mathcal{O}\left( {nm} \right) \) , where n and m are the lengths of the trace and the invariant, respectively. If the length of the invariant is much smaller than the length of the trace then this complexity is almost linear with respect to the length of the trace. Actually, this is usually the case for most practical examples. In addition to our methodology, we present the case study that was the driving force for the development of our theory: The Wireless Application Protocol (WAP). We present a test architecture for WAP as well as the experimental results obtained from the application of our passive testing with invariants approach.
Research supported in part by the Spanish Ministerio de Ciencia y Tecnología projects MASTER and AMEVA. This research was carried out while the third author was visitin the GET-INT.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
J.M. Ayache, P. Azema, and M. Diaz. Observer: A concept for on-line detection of control errors in concurrent systems. In 9th Symposium on Fault-Tolerant Computing, 1979.
R.S. Boyer and J.S. Moore. A fast string searching algorithm. Communications of the ACM, 20: 762–772, 1977.
A. Cavalli, C. Gervy, and S. Prokopenko. New approaches for passive testing using an extended finite state machine specification. In Concordia Prestigious Workshop on Communication Software Engineering, pages 225–250, 2001.
D.E. Knuth, J.H. Morris, and V.R. Pratt. Fast pattern matching in strings. SIAM Journal on Computing, 6(1):323–350, 1977.
R. Lai. A survey of communication protocol testing. Journal of Systems and Software, 62: 21–46, 2002.
D. Lee, D. Chen, R. Hao, R. Miller, J. Wu and X. Yin. A formal approach for passive testing of protocol data portions. In 10th IEEE Int. Conf. on Network Protocols, ICNP’02, pages 122–131. IEEE Computer Society Press, 2002.
D. Lee, A.N. Netravali, K.K. Sabnani, B. Sugla, and A. John. Passive testing and applications to network management. In 5th IEEE Int. Conf. on Network Protocols, ICNP’97, pages 113–122. IEEE Computer Society Press, 1997.
D. Lee and M. Yannakakis. Principles and methods of testing finite state machines: A survey. Proceedings of the IEEE, 84(8):1090–1123, 1996.
R.E. Miller and K.A. Arisha. Fault coverage in networks by passive testing. In International Conference on Internet Computing 2001, IC’2001, pages 413–419. CSREA Press, 2001.
R.E. Miller and K.A. Arisha. Fault identification in networks by passive testing. In 34th Simulation Symposium, SS’01, pages 277–284. IEEE Computer Society Press, 2001.
R.E. Miller. Passive testing of networks using a CFSM specification. In IEEE Int. Performance Computing and Communications Conference, pages 111–116. IEEE Computer Society Press, 1998.
M. Tabourier and A. Cavalli. Passive testing and application to the GSM-MAP protocol. Journal of Information and Software Technology, 41:813–821, 1999.
M. Tabourier, A. Cavalli, and M. Ionescu. A GSM-MAP protocol experiment using passive testing. In World Congress on Formal Methods in the Development of Computing Systems, FM’99, LNCS 1708, pages 915–934. Springer, 1999.
J. Wu, Y. Zhao, and X. Yin. From active to passive: Progress in testing of internet routing protocols. In FORTE 2001, pages 101–116. Kluwer Academic Publishers, 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 IFIP
About this paper
Cite this paper
Arnedo, J.A., Cavalli, A., Núñez, M. (2003). Fast Testing of Critical Properties through Passive Testing. In: Hogrefe, D., Wiles, A. (eds) Testing of Communicating Systems. TestCom 2003. Lecture Notes in Computer Science, vol 2644. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44830-6_22
Download citation
DOI: https://doi.org/10.1007/3-540-44830-6_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40123-0
Online ISBN: 978-3-540-44830-3
eBook Packages: Springer Book Archive