Integration of Functional and Timed Testing of Real-Time and Concurrent Systems

  • Victor V. Kuliamin
  • Alexander K. Petrenko
  • Nick V. Pakoulin
  • Alexander S. Kossatchev
  • Igor B. Bourdonov
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2890)


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].


Typical Developer Input Sequence Behaviour Function Model Base Testing Input Queue 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
  2. 2.
    Mealy, G.H.: A method for synthesizing sequential circuits. Bell System Technical Journal 34(5), 1045–1079 (1955)MathSciNetGoogle Scholar
  3. 3.
    Moore, E.F.: Gedanken-experiments on sequential machines. Automata Studies, Annals of Maths. Studies, Princeton University Press (34), 129–153 (1956)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    Nielsen, B., Skou, A.: Automated Test Generation from Timed Automata. International Journal on Software Tools for Technology Transfer, STTT (2002)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    Bourdonov, B., Kossatchev, A.S., Kuliamin, V.V.: Classification of Asynchronous Finite State Machines. To be printed in works of ISP RAS (in Russian)Google Scholar
  13. 13.
    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)CrossRefGoogle Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    von Bochmann, G., Petrenko, A.: Protocol Testing: Review of Methods and Relevance for Software Testing. In: Proceeding of ISSTA 1994, pp. 109–124 (1994)Google Scholar
  16. 16.
    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)Google Scholar
  17. 17.
    Burdonov, I., Kossatchev, A., Kulyamin, V.: Application of finite automatons for program testing. Programming and Computer Software 26(2), 61–73 (2000)CrossRefMathSciNetGoogle Scholar
  18. 18.
    Conta, A., Deering, S.: Internet Control Message Protocol (ICMPv6) for the Internet Protocol Version 6 (IPv6) Specification, RFC 2463 (December 1998)Google Scholar
  19. 19.
    Narten, T., Nordmark, E., Simpson, W.: Neighbor Discovery for IP Version 6 (IPv6), RFC 2461 (December 1998)Google Scholar
  20. 20.
  21. 21.
  22. 22.
    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)Google Scholar
  23. 23.
    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)CrossRefGoogle Scholar
  24. 24.
  25. 25.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Victor V. Kuliamin
    • 1
  • Alexander K. Petrenko
    • 1
  • Nick V. Pakoulin
    • 1
  • Alexander S. Kossatchev
    • 1
  • Igor B. Bourdonov
    • 1
  1. 1.Institute for System Programming of Russian Academy of Sciences (ISPRAS)MoscowRussia

Personalised recommendations