Abstract
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The approach presented is used in the context of UniTesK specification based test development method. The results of its practical applications are also discussed. Practical experience demonstrates the applicability of the approach for model based testing of protocol implementations, distributed and concurrent systems, and real-time systems. This work stems from ISPRAS results of academic research and industrial application of formal techniques in verification and testing [1].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Mealy, G.H.: A method for synthesizing sequential circuits. Bell System Technical Journal 34(5), 1045–1079 (1955)
Moore, E.F.: Gedanken-experiments on sequential machines. Automata Studies, Annals of Maths. Studies, Princeton University Press (34), 129–153 (1956)
En-Nouaary, A., Fouchal, H., Elqortobi, A., Dssouli, R., Petitjean, E.: Timed Testing Using Clock Zone Vertices. Technical Report, Departement d’IRO, Universite de Montreal (1998)
Clarke, D., Lee, I.: Automatic Test Generation for the Analysis of a Real-time System: Case Study. In: 3-rd IEEE Real-time Technology and Applications Symposium (1997)
Nielsen, B., Skou, A.: Automated Test Generation from Timed Automata. International Journal on Software Tools for Technology Transfer, STTT (2002)
Dietrich, F., Logean, X., Hubaux, J.P.: Testing Temporal Logic Properties in Distributed Systems. In: Proc. IFIP Int’l. Wksp. Testing of Commun. Sys., Tomsk, Russia (August 1998)
Hong, H., Lee, I., Sokolsky, O., Ural, H.: A Temporal Logic Based Theory of Test Coverage and Generation. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, p. 327. Springer, Heidelberg (2002)
Bourdonov, I., Kossatchev, A., Kuliamin, V., Petrenko, A.: UniTesK Test Suite Architecture. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, pp. 77–88. Springer, Heidelberg (2002)
Bourdonov, I., Kossatchev, A., Petrenko, A., Galter, D.: KVEST: Automated Generation of Test Suites from Formal Specifications. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 608–621. Springer, Heidelberg (1999)
Bourdonov, B., Kossatchev, A.S., Kuliamin, V.V.: Classification of Asynchronous Finite State Machines. To be printed in works of ISP RAS (in Russian)
Zafiropulo, P., West, C.H., Rudin, H., Cowan, D.D., Brand, D.: Towards Analysing and Synthesizing Protocols. IEEE Transactions on Communications, COM 28(4), 651–660 (1980)
Henniger, O.: On test case generation from asynchronously communicating state machines. In: Kim, M., Kang, S., Hong, K. (eds.) Proceedings of the 10-th IFIP International Workshop on Testing of Communicating Systems, Cheju Island, South Korea, Chapman & Hall, Boca Raton (1997)
von Bochmann, G., Petrenko, A.: Protocol Testing: Review of Methods and Relevance for Software Testing. In: Proceeding of ISSTA 1994, pp. 109–124 (1994)
Fujiwara, S., von Bochmann, G.: Testing Nondeterministic Finite State Machine with Fault Coverage. In: Kroon, J., Heijink, R.J., Brinksma, E. (eds.) IFIP Transactions, Proceedings of IFIP TC6 Fourth International Workshop on Protocol Test Systems, 1991, pp. 267–280. North-Holland, Amsterdam (1992)
Burdonov, I., Kossatchev, A., Kulyamin, V.: Application of finite automatons for program testing. Programming and Computer Software 26(2), 61–73 (2000)
Conta, A., Deering, S.: Internet Control Message Protocol (ICMPv6) for the Internet Protocol Version 6 (IPv6) Specification, RFC 2463 (December 1998)
Narten, T., Nordmark, E., Simpson, W.: Neighbor Discovery for IP Version 6 (IPv6), RFC 2461 (December 1998)
http://www.ispras.ru/~RedVerst/RedVerst/WhitePapers/MSRIPv6VerificationProject/Main.html
Petrenko, A., Bourdonov, I., Kossatchev, A., Kuliamin, V.: Experiences in using testing tools and technology in real-life applications. In: Proceedings of SETT 2001, India, Pune (2001)
Petrenko, A.K.: Specification Based Testing: Towards Practice. In: Bjørner, D., Broy, M., Zamulin, A.V. (eds.) PSI 2001. LNCS, vol. 2244, p. 287. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kuliamin, V.V., Petrenko, A.K., Pakoulin, N.V., Kossatchev, A.S., Bourdonov, I.B. (2004). Integration of Functional and Timed Testing of Real-Time and Concurrent Systems. In: Broy, M., Zamulin, A.V. (eds) Perspectives of System Informatics. PSI 2003. Lecture Notes in Computer Science, vol 2890. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39866-0_45
Download citation
DOI: https://doi.org/10.1007/978-3-540-39866-0_45
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20813-6
Online ISBN: 978-3-540-39866-0
eBook Packages: Springer Book Archive