Abstract
In this paper, we consider the problem of test derivation from a specification FSM, assuming that all possible implementation FSMs are submachines of some nondeterministic FSM. The latter represents a restricted class of faults defined by the user. The state number in an implementation may exceed that of the specification. We present a method for test generation that can deliver shorter tests than the other existing methods. The method is also more flexible than the traditional FSM-based methods, which embody a universal fault model defined only by a state number.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35567-2_25
Chapter PDF
Similar content being viewed by others
References
R. Alur, C. Courcoubetis, and M. Yannakakis, Distinguishing tests for nondeterministic and probabilistic machines, Proceedings of the 27th ACM Symposium on Theory of Computing, 1995, pp. 363–372.
J. A. Brzozowski, H. Jurgensen, A Model for sequential machine testing and diagnosis, Journal of Electronic Testing: Theory and Applications, 2, 1992, pp. 219–234.
T. S. Chow, Test software design modeled by finite state machines, IEEE Transactions, SE-4, No. 3, 1978, pp. 178–187.
S. Fujiwara, G. v. Bochmann, F. Khendek, M. Amalou, A. G.edamsi, Test selection based on finite state models, IEEE Trans. SE-17, No. 6, 1991, pp. 591–603.
A. Gill, Introduction to the theory of finite-state machines, McGraw-Hill, 1962, 207 p.
I. Grunskij, A. Petrenko, Design of checking experiments with automata describing protocols, in Automatic Control and Computer Science, Allerton Press Inc., N.Y., 1988, No. 4, pp. 7–14.
D. S. Johnson, Approximation algorithms for combinatorial problems, Journal of Computer and System Sciences, 9, 1974, pp. 256–278.
V. A. Kozlovsky, On the recognition of an automaton relative to a locally generated class, Soviet Math. Dokl., 1981, vol. 23, No. 3, pp. 625–628.
S. Naito and M. Tsunoyama, Fault detection for sequential machines by transition tours, Proceedings of Fault Tolerant Comp. Syst., 1981, pp. 238–243.
A. Petrenko, Checking experiments with protocol machines, IFIP Transactions, Protocol Testing Systems IV (the Proceedings if IFIP TC6 4Th International Workshop on Protocol Test Systems, 1991), Ed. by Jan Kroon, Rudolf J. Heijink and Ed Brinksma, 1992, North-Holland, pp. 83–94.
A. Petrenko, N. Yevtushenko, Test suite generation for a given type of implementation errors, Proceedings of the IFIP XII International Conference on Protocol Specification, Testing and Verification, 1992, pp. 229–243.
A. Petrenko, N. Yevtushenko, and R. Dssouli, Testing strategies for communicating FSMs, Proceedings of the 7th IWTCS, 1994, pp. 193–208.
A. Petrenko, N. Yevtushenko, G. v. Bochmann, and R. Dssouli. Testing in context: framework and test derivation, Computer communications, Vol. 19, pp. 1236–1249, 1996.
J. F. Poage, E. J. McCluskey, Derivation of optimum test sequences for sequential machines, Proceedings of the 5th Annu. Symp. On Switching Theory and Logical Design, 1964.
I. Pomeranz, S. M. Reddy, Test generation for multiple state-table faults in finite-state machines, IEEE Transactions on Computers, Vol. 46, No 7, pp. 782–794, 1997.
M. P. Vasilevsky, Failure diagnosis of automata, Cybernetics, Plenum Publishing Corporation, NY, No. 4, 1973, pp. 653–665.
S. T. Vuong, W. W. L. Chan, M. R. Ito, The U10-method for protocol test sequence generation, Proceedings of the 2nd IFIP International Workshop on Protocol Test Systems, 1989, pp. 161–175.
M. Yannakakis, D. Lee, Testing finite state machines: fault detection, Journal of Computer and System Sciences, 1995, 50, pp. 209–227.
N. Yevtushenko, A. Petrenko, A method of constructing a test experiment for an arbitrary deterministic automaton, Automatic Control and Computer Science, Allerton Press Inc., N.Y., 1990, Vol. 24, No. 5, pp. 65–68.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Koufareva, I., Petrenko, A., Yevtushenko, N. (1999). Test Generation Driven by User-Defined Fault Models. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing, vol 21. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35567-2_14
Download citation
DOI: https://doi.org/10.1007/978-0-387-35567-2_14
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6699-8
Online ISBN: 978-0-387-35567-2
eBook Packages: Springer Book Archive