UniTesK Test Suite Architecture

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


The article presents the main components of the test suite architecture underlying UniTesK test development technology, an automated specification based test development technology for use in industrial testing of general-purpose software. The architecture presented contains such elements as automatically generated oracles, components to monitor formally defined test coverage criteria, and test scenario specifications for test sequence generation with the help of an automata based testing mechanism. This work stems from the ISP RAS results of academic research and 7-years experience in industrial application of formal testing techniques [1].


specification based testing partition testing automata based testing test suite architecture 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
  2. 2.
  3. 3.
    I. Bourdonov, A. Kossatchev, A. Petrenko, and D. Galter. KVEST: Automated Generation of Test Suites from Formal Specifications. FM’99: Formal Methods. LNCS, volume 1708, Springer-Verlag, 1999, pp. 608–621.CrossRefGoogle Scholar
  4. 4.
    D. Peters, D. Parnas. Using Test Oracles Generated from Program Documentation. IEEE Transactions on Software Engineering, 24(3):161–173, 1998.CrossRefGoogle Scholar
  5. 5.
    M. Obayashi, H. Kubota, S. P. McCarron, L. Mallet. The Assertion Based Testing Tool for OOP: ADL2, available via
  6. 6.
    I. B. Burdonov, A. S. Kossatchev, and V. V. Kulyamin. Application of finite automatons for program testing. Programming and Computer Software, 26(2):61–73, 2000.MathSciNetCrossRefGoogle Scholar
  7. 7.
    A. Petrenko, I. Bourdonov, A. Kossatchev, and V. Kuliamin. Experiences in using testing tools and technology in real-life applications. Proceedings of SETT’01, India, Pune, 2001.Google Scholar
  8. 8.
    A. K. Petrenko. Specification Based Testing: Towards Practice. Proceedings of PSI’01. LNCS, Springer-Verlag. To be printed.Google Scholar
  9. 9.
    E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Reading, MA: Addison-Wesley, 1995.Google Scholar
  10. 10.
    Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov. Java Specification Extension for Automated Test Development. Proceedings of PSI’01. LNCS, Springer-Verlag. To be printed.Google Scholar
  11. 11.
  12. 12.
  13. 13.
    J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu. CADP: A Protocol Validation and Verification Toolbox. Proceedings of the 8-th Conference on Computer-Aided Verification (New Brunswick, New Jersey, USA), 1996, pp. 437–440.Google Scholar
  14. 14.
    H. Garavel, F. Lang, and R. Mateescu. An overview of CADP 2001. INRIA Technical Report TR-254, December 2001.Google Scholar
  15. 15.
  16. 16.
  17. 17.
    E. Farchi, A. Hartman, and S. S. Pinter. Using a model-based test generator to test for standard conformance. IBM Systems Journal, volume 41, Number 1, 2002, pp. 89–110.CrossRefGoogle Scholar
  18. 18.
  19. 19.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

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

Personalised recommendations