Abstract
In this paper, we present a novel conformance test suite derivation method. Similar to the HIS method, our method uses harmonized state identifiers for state identification and transition checking and can be applied to any reduced possibly partial deterministic or nondeterministic specification FSM. However, in contrast with the HIS method, in the proposed method appropriate state identifiers are selected on-the-fly (for transition checking) in order to shorten the length of the obtained test suite. Application examples and experimental results are provided. These results show that the proposed method generates shorter test suites than the HIS method. Particularly, on average, the ratio of the length of the test suites derived using the proposed method over the length of corresponding suites derived using the HIS method is 0.66 (0.55) when the number of states of an implementation equals to (is greater than) the number of states of the specification. These ratios are almost independent of the size of specifications.
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
Bochmann, G.v., Petrenko, A.: Protocol testing: review of methods and relevance for software testing. In: Proc. International Symposium on Software Testing and Analysis, Seattle, pp. 109–123 (1994)
Chow, T.S.: Test design modeled by finite-state machines. IEEE Trans. SE 4(3), 178–187 (1978)
Fujiwara, S., Bochmann, G.v., Khendek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite state models. IEEE Trans. SE 17(6), 591–603 (1991)
Gill, A.: Introduction to the Theory of Finite-State Machines. McGraw-Hill, New York (1962)
Koufareva, I., Dorofeeva, M.: A novel modification of W-method. Joint Bulletin of the Novosibirsk computing center and A.P. Ershov institute of informatics systems. Series: Computing science, issue: 18, NCC Publisher, Novosibirsk, pp. 69–81 (2002)
Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines-a survey. Proceedings of the IEEE 84(8), 1090–1123 (1996)
Luo, G.L., Bochmann, G.v., Petrenko, A.: Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-method. IEEE Transactions on Software Engineering 20(2), 149–161 (1994)
Luo, G., Petrenko, A., Bochmann, G.v.: Selecting Test Sequences for Partially Specified Nondeterministic Finite State Machines. In: Proc. 7th IWPTS, Japan (1994)
Petrenko, A.: Checking experiments with protocol machines. In: Proc. 4th Int. Workshop on Protocol Test Systems, pp. 83–94 (1991)
Petrenko, A., Yevtushenko, N., Lebedev, A., Das, A.: Nondeterministic state machines in protocol conformance testing. In: Proc. of the IFIP 6th IWPTS, France, pp. 363–378 (1993)
Petrenko, A., Yevtushenko, N.: On Test Derivation from Partial Specifications. In: Proc. of the IFIP Joint International Conference, FORTE/PSTV 2000, Italy, pp. 85–102 (2000)
Sabnani, K., Dahbura, A.: A protocol test generation procedure. Computer Networks and ISDN Systems 15(4), 285–297 (1988)
Sidhu, D.P., Leung, T.K.: Formal methods for protocol testing: a detailed study. IEEE Trans. SE 15(4), 413–426 (1989)
Vasilevskii, M.P.: Failure diagnosis of automata. Translated from Kibernetika (4), 98–108 (1973)
Vuong, S.T., Chan, W.W.L., Ito, M.R.: The UIOv-method for protocol test sequence generation. In: Proc. of the IFIP TC6 2nd IWPTS, North-Holland, pp. 161–175 (1989)
Yannakakis, M., Lee, D.: Testing finite state machines: fault detection. Journal of Computer and System Sciences 50, 209–227 (1995)
Yevtushenko, N., Petrenko, A.: Test derivation method for an arbitrary deterministic automaton. In: Automatic Control and Computer Sciences, Allerton Press Inc., USA #5 (1990)
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
Dorofeeva, R., El-Fakih, K., Yevtushenko, N. (2005). An Improved Conformance Testing Method. In: Wang, F. (eds) Formal Techniques for Networked and Distributed Systems - FORTE 2005. FORTE 2005. Lecture Notes in Computer Science, vol 3731. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11562436_16
Download citation
DOI: https://doi.org/10.1007/11562436_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29189-3
Online ISBN: 978-3-540-32084-5
eBook Packages: Computer ScienceComputer Science (R0)