Abstract
The paper addresses grey-box testing of a system of communicating finite state machines under the assumptions that the system’s structure is preserved in all potential implementations, and that at most one component can be faulty. Several possible testing strategies which rely on these assumptions in various manners are presented and compared. The ideas behind these strategies are explained on a simple serial composition of two communicating FSMs. The existing FSM-based test derivation methods are assessed for their applicability to solve the problems arising from grey-box testing.
Chapter PDF
Similar content being viewed by others
References
J. A. Brzozowski, H. Jurgensen, “A Model for Sequential Machine Testing and Diagnosis”, Journal of Electronic Testing: Theory and Applications, 2, 1992, pp.219234.
R. Castanet, O. Kone, “Deriving Coordinated Testers for Interoperability”, IFIP Transactions, Protocol Test Systems, VI, (the Proceedings of IFIP TC6 Fifth International Workshop on Protocol Test Systems, 1993), Ed. by O. Rafiq, 1994, North-Holland, pp.331–345.
T. S. Chow, “Testing Software Design Modeled by Finite-State Machines”, IEEE Transactions on Software Engineering, Vol. SE-4, No. 3, 1978, pp. 178–187.
H. v. Dam, H. Klooster, E. Kwast, “Test Derivation for Standardized Test Methods”, IFIP Transactions, Protocol Test Systems, N (the Proceedings of IFIP TC6 Fourth International Workshop on Protocol Test Systems, 1991), Ed. by J. Kroon, R. J. Heijink and E. Brinksma, 1992, pp. 69–82.
P. Das, D. E. Farmer, “Filt-Detection Experiments for Parallel-Decomposable Sequential Machines”, IEE Transactions on Computers, Vol. C-24, No. 11, 1975, pp. 1104–1109.
S. Devadas, “Approaches to Mglti-level Sequential Logic Synthesis”, In Proceedings of the 26th Design Automation Conference, Las Vegas, 1989, pp. 270–276.
K. Drira, P. Azema, B. Soulas, A.M. Chemali, “Testability of a Communicating System through an Environment”, In Proc. of TAPSOFT’93.
S. Fujiwara, G. v. Bochmann, F. Khendek, M. Amalou, A. Ghedamsi, “Test Selection Based on Finite State Models”, IEEE Transactions on Software Engineering, Vol. SE-17, No. 6, 1991, pp. 591–603.
A. Gill, Introduction to the Theory of Finite-State Machines, McGraw-Hill, 1962, 207 p.
J. E. Hoperoft, J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley Publishing Company, Inc., 1979, 418 p.
ISO, OSI Conformance Testing Methodology and Framework, International Standard IS9646.
J. Kim, M. Newborn, “The Simplification of Sequential Machines with Input Restrictions”, IEEE Transactions on Computers, Vol. C-21, No.12, 1972, pp.14401443.
D. Lee, K. Sabnani, D. Krispot, S. Paul, M. Uyar, “Conformance Testing of Protocols Specified as Communicating FSMs”, INFOCOM’93, pp.115–127.
G. Luo, A. Petrenko, G. v. Bochmann, “Generating Tests for Communication Software Modeled by Partially-Specified Finite State Machines”, IEEE/ACM Transactions on Networking, (to appear in 1994 ).
G. Luo, A. Petrenko, G. v. Bochmann, “Test Selection based on Communicating Nondeterministic Finite State Machines using a Generalized Wp-Method”, IEEE Transactions on Software Engineering, Vol. SE-20, No. 2, 1994, pp. 149–162.
D. Morris, B. Tatum, Concise Encyclopedia of Software Engineering, Pergamon Press, 1993, 400 p.
A. Petrenko, “Checking Experiments with Protocol Machines”, IFIP Transactions, Protocol Test Systems, N (the Proceedings of IFIP TC6 Fourth 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 FSM with a Given Type of Implementation Errors”, IFIP Transactions, Protocol Specification, Testing, and Verification, XII (the Proceedings of IFIP TC6 12th International Symposium on Protocol Specification, Testing, and Verification, 1992), Ed. by R.J. Linn. Jr. and M.U. Uyar, 1992, North-Holland, pp.229–243.
A. Petrenko, G. v. Bochmann, R. Dssouli, “Conformance Relations and Test Derivation”, IFIP Transactions, Protocol Test Systems, VI, (the Proceedings of IFIP TC6 Fifth International Workshop on Protocol Test Systems, 1993), Ed. by O. Rafiq, 1994, North-Holland, pp.157–178.
A. Petrenko, N. Yevtushenko, A. Lebedev, A. Das, “Nondeterministic State Machines in Protocol Conformance Testing”, IFIP Transactions, Protocol Test Systems, VI, (the Proceedings of IFIP TC6 Fifth International Workshop on Protocol Test Systems, 1993), Ed. by O. Rafiq, 1994, North-Holland, pp.363–378.
A. Petrenko, N. Yevtushenko, R. Dssouli, “Grey-Box FSM-based Testing Strategies”, Department Publication 911, Université de Montréal, 1994, 22 p.
J.-K. Rho, G. Hachtel, F. Somenzi, “Don’t Care Sequences and the Optimization of Interacting Finite State Machines”, Proceedings of the IEEE International Conference on Computer Aided Design, Santa Clara, CA, 1991, pp. 414–421.
D. P. Sidhu, T. K. Leung, “Formal Methods for Protocol Testing: A Detailed Study”, IEEE Transactions on Software Engineering, Vol. SE-15, No. 4, 1989, pp. 413–426.
P. H. Starke, Abstract Automata, North-Holland/American Elsevier, 1972, 419 p.
M. P. Vasilevski, “Failure Diagnosis of Automata”, Cybernetics, Plenum Publishing Corporation, New York, No. 4, 1973, pp. 653–665.
S. T. Vuong, W.W.L. Chan, and M. R. Ito, “The UIOv-method for Protocol Test Sequence Generation”, IFIP Transactions, Protocol Test Systems, II, Proceedings of IFIP TC6 Second International Workshop on Protocol Test Systems, 1989, Ed. by J. de Meer, L. Machert and W. Effelsberg, pp. 161–175.
N. Yevtushenko and A. Petrenko, “Fault-Detection Capability of Multiple Experiments”, Automatic Control and Computer Sciences, Allerton Press, Inc., New York, Vol. 23, No. 3, 1989, pp. 7–11.
N. Yevtushenko, A. Petrenko, “Method of Constructing a Test Experiment for an Arbitrary Deterministic Automaton”, Automatic Control and Computer Sciences, Allerton Press, Inc., New York, Vol. 24, No. 5, 1990, pp. 65–68.
N. Yevtushenko, A. Lebedev, A. Petrenko, “On the Checking Experiments with Nondeterministic Automata”, Automatic Control and Computer Sciences, Allerton Press, Inc., New York, Vol. 25, No. 6, 1991, pp. 81–85.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Petrenko, A., Yevtushenko, N., Dssouli, R. (1995). Testing Strategies for Communicating FSMs. In: Mizuno, T., Higashino, T., Shiratori, N. (eds) Protocol Test Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34883-4_13
Download citation
DOI: https://doi.org/10.1007/978-0-387-34883-4_13
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6310-2
Online ISBN: 978-0-387-34883-4
eBook Packages: Springer Book Archive