Abstract
This paper studies the fault detection power of a widely used test suite, i.e., a test suite that traverses each possible transition of each component FSM (Finite State Machine) in the reference system. It is shown that such a test suite is complete, with respect to single output faults of a component under test, if the output of the component is accessible during a testing mode. Experiments have been performed showing that a test suite detecting single outputs faults of each component is good: 92 % of transfer and output faults of the composite FSM are detected.
The updated original online version for this book can be found at DOI: 10.1007/978-0-387-35516-0_20
Chapter PDF
Similar content being viewed by others
References
Cavalli, A., Lee, D., Rinderknecht, C., and Zaïdi, F. Hit-or-Jump: An algorithm for embedded testing with applications to IN services. Proceedings of Joint Inter. Conf. FORTE/PSTV99, pp: 41–58.
Chow, T.S. (1978). Test software design modeled by finite state machines. IEEE Transactions on Software Engineering, 4(3): 178–187.
David, R., and Wagner K. Analysis of detection probability. IEEE Transactions on Computers, 39(10): 1284–1291.
Fujiwara, S., v. Bochmann, G., Khendek, F., Amalou, M., and Ghendamsi, A. (1991). Test selection based on finite state models. IEEE Transactions on Software Engineering, 17(6): 591–603.
Gill, A. Introduction to automata theory. Mc Graw-Hill, NY, 1962.
Hopkroft, J.E. and Ulman, J.D. (1979). Introduction to automata theory, languages and computation. Addison-Welsey, NY.
Information technology. (1991) Open systems interaction. Conformance testing methodology and framework. International standard IS-9646.
Koufareva, I., Petrenko, A., Yevtushenko, N. Test generation driven by user-defined faults. Proceedings of 12th IWTCS, pp: 215–236.
Lee, D., Sabnani, K.K., Kristol, D.M., and Paul, S. (1996). Conformance testing of protocols specified as communicating finite state machines - a guided random walk based approach. IEEE Transactions on Communications, 44(5): 631–640.
Lee, D., and Yannakakis, M. (1996). Principles and methods of testing finite state machines, a survey. IEEE Transactions, 84(8):1090–1123
Lima, L.P., and Cavalli, A.R. (1997). A pragmatic approach to generating test sequences for embedded systems. Proceedings of 10th IWTCS,pp: 125–140.
Lima, L.P., and Cavalli, A.R. (1997). Application of embedded testing methods to service validation. Second IEEE Intern. Conf. on Formal Engineering methods.
Lima, L.P. (1998). A pragmatic method to generate test sequences for embedded systems. Ph.D.Thesis. Institute National des telecommunications, Evry, France.
Petrenko, A. Checking experiments with protocol machines. Proceedings of 4th IWTCS, 1991, pp: 83–94.
Petrenko A., Yevtushenko, N., and Dssouli, R. (1994). FSM based strategies for testing communicating FSMs. Proceedings of 7th IWTCS, pp: 181–196.
Petrenko A., Yevtushenko, N. and v.Bochmann, G. (1996). Testing deterministic implementations from their nondeterministic specifications. Proceedings of 9th IWTCS, pp: 125–140.
Petrenko A., Yevtushenko, N., and v. Bochmann, G. (1996). Fault models for testing in context. Proceedings of Joint Inter. Conf. FORTE/PSTV96, pp: 125–140.
Petrenko, A., Yevtushenko, N., v. Bochmann, G., and Dssouli, R. (1996). Testing in context: Framework and test derivation. Computer Communications, 19: 125–140.
Petrenko, A., and Yevtushenko, N. (1997). Testing faults in embedded components. Proceedings of 10th IWTCS, pp: 125–140.
B.Sarikaya and G.v.Bochmann. Synchronization and Specification issues in protocol testing. IEEE Transactions on Communications, Vol. COM-32, April 1984, pp. 389–395.
Vasilevsky, M.P. (1973). Failure diagnosis of automata. Cybernetics, (4): 653–665.
Vuong, S.T., Chan, W.W.L., and Ito, M.R. (1989). The Ulomethod for protocol test sequence generation. In IFIP TC6 Second Inter. Workshop on Protocol Test Systems, pp. 161–175.
Yannakakis, M., and Lee, D. (1995). Testing finite state machines: fault detection. Journal of Computer and System Sciences, (50): 209–237.
Yevtushenko, N., Petrenko, N. On fault detection power of checking experiments with automata. Automatic Control and Computer Science. Allerton Press, N.Y., 1989, Vol. 23, No.3, pp: 3–7.
Yevtushenko, N., Cavalli, A.R., and Lima, L.P. (1998). Test minimization for testing in context. Proceedings of 11th IWTCS, pp: 127–145.
Yevtushenko, N., Cavalli, A.R., and Anido, R. (1999). Test suite minimization for embedded nondeterministic finite state machines. Proceedings of 12th IWTCS, pp: 237–250.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Cavalli, A., Prokopenko, S., Yevtushenko, N. (2000). Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs. In: Ural, H., Probert, R.L., v. Bochmann, G. (eds) Testing of Communicating Systems. IFIP Advances in Information and Communication Technology, vol 48. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35516-0_3
Download citation
DOI: https://doi.org/10.1007/978-0-387-35516-0_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-1016-8
Online ISBN: 978-0-387-35516-0
eBook Packages: Springer Book Archive