Abstract
This paper presents a new algorithm, Hit-or-Jump, for embedded testing of components of communication systems that can be modeled by communicating extended finite state machines. It constructs test sequences efficiently with a high fault coverage. It does not have state space explosion, as is often encountered in exhaustive search, and it quickly covers the system components under test without being “trapped”, as is experienced by random walks. Furthermore, it is a generalization and unification of both exhaustive search and random walks; both are special cases of Hit-or-Jump. The algorithm has been implemented and applied to embedded testing of telephone services in an Intelligent Network (IN) architecture, including the Basic Call Service and five supplementary services.
Chapter PDF
Similar content being viewed by others
References
C. Bourhfir, R. DssouIi, E. Aboulhamid, and N. Rico. A guided incremental test case generation procedure for conformance testing for CEFSM specified protocols. In IWTCS’98, Tomsk, Russia, August 1998.
E. Brinksma. A theory for the derivation of tests. In Proc. IFIP WG6.1 8th Int. Symp. on Protocol Specification, Testing and Verification. North-Holland, 1988.
A. Cavalli, D. Lee, C. Rinderknecht, and Fatiha Zaidi. Hit-or-jump: An algorithm for embedded testing with applications to in services. In Tech. Memo, Bell Laboratories, May 1999.
P. Combes and B. Renard. Service validation, tutorial. In SDL Forum’97, France, 1997.
M. A. Fecko, U. Uyar, A. S. Sethi, and P. Amer. Issues in conformance testing: Multiple semicontrollable interfaces. In. Proceedings of FORTE/PSTV’98,Paris, France, November 1998.
J.-C. Fernandez, C. Jard, T. Jeron, and C. Viho. Using on-the-fly verification techniques for the generation of test suites. In CAV, LINOS 1102, USA, July 1996.
D. Hogrefe. Osi formal specification case study: the inres protocol and service, revised. Technical report, Institut für Informatik Universität Bern, may 1992.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, New Jersey, 1991.
ISO. Information Technology, Open Systems Interconnection, Conformance Testing Methodology and Framework, International Standard IS-9646,1991.
ITU. Recommendation Z.100: CCITT Specification and Description Language (SDL),1992.
D. Lee, K. Sabnani, D. Kristol, and S. Paul. Conformance testing of protocols specified as communicating finite state machines - a guided random walk based approach. In IEEE Transactions on Communications, volume 44, No. 5, May 1996.
D. Lee and M. Yannakakis. Principles and methods of testing finite state machines–a survey. Proc. of the IEEE, 84 (8): 1090–1123, August 1996.
L. P. Lima and A. Cavalli. A pragmatic approach to generating test sequences for embedded systems. In Proceedings of IWTCS’97, Cheju Island, Korea, September 1997.
R. Milner. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, New Jersey, 1989.
A. Petrenko, N. Yevtushenko, and G. V. Bochmann. Fault models for testing in context. In Proceeding of FORTE/PSTV’96, Kaisersläutern, Germany, October 1996.
A. Petrenko, N. Yevtushenko, and G. V. Bochmann. Testing faults in embedded components. In Proceedings of IWTCS’97, Cheju Island, Korea, September 1997.
A. A. Petri. Kommunikation mit Automaten. Ph. D. thesis, Universitat Bonn, 1962.
N. Yevtushenko, A. Cavalli, and L. P. Lima. Test suite minimization for testing in context. In IWTCS’98, Tomsk, Russia, August 1998.
J. Zhu and S. T. Vuong. Evaluation of test coverage for embedded system testing. In IWTCS’98, Tomsk, Russia, August 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Cavalli, A., Lee, D., Rinderknecht, C., Zaïdi, F. (1999). Hit-or-Jump: An Algorithm for Embedded Testing with Applications to in Services. In: Wu, J., Chanson, S.T., Gao, Q. (eds) Formal Methods for Protocol Engineering and Distributed Systems. PSTV FORTE 1999 1999. IFIP Advances in Information and Communication Technology, vol 28. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35578-8_3
Download citation
DOI: https://doi.org/10.1007/978-0-387-35578-8_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5270-0
Online ISBN: 978-0-387-35578-8
eBook Packages: Springer Book Archive