Skip to main content
SpringerLink
Log in

UniTesK Test Suite Architecture

  • Conference paper
  • First Online:
FME 2002:Formal Methods—Getting IT Right (FME 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2391))

Included in the following conference series:

Abstract

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. http://www.ispras.ru/~RedVerst/

  2. http://www.fmeurope.org/databases/fmadb088.html

  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.

    Chapter  Google Scholar 

  4. D. Peters, D. Parnas. Using Test Oracles Generated from Program Documentation. IEEE Transactions on Software Engineering, 24(3):161–173, 1998.

    Article  Google Scholar 

  5. M. Obayashi, H. Kubota, S. P. McCarron, L. Mallet. The Assertion Based Testing Tool for OOP: ADL2, available via http://adl.xopen.org/exgr/icse/icse98.htm

  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.

    Article  MathSciNet  Google Scholar 

  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. A. K. Petrenko. Specification Based Testing: Towards Practice. Proceedings of PSI’01. LNCS, Springer-Verlag. To be printed.

    Google Scholar 

  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. 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. http://junit.sourceforge.net/

  12. http://www.inrialpes.fr/vasy/cadp/

  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. H. Garavel, F. Lang, and R. Mateescu. An overview of CADP 2001. INRIA Technical Report TR-254, December 2001.

    Google Scholar 

  15. http://www.agedis.de/

  16. http://www.haifa.il.ibm.com/projects/verification/gtcb/documentation.html

  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.

    Article  Google Scholar 

  18. http://www.rational.com/products/testrt/index.jsp

  19. http://www.ifad.dk/

Download references

Author information

Authors and Affiliations

  1. Institute for System Programming of Russian Academy of Sciences (ISPRAS), B. Communisticheskaya, 25, Moscow, Russia

    Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin & Alexander K. Petrenko

Authors
  1. Igor B. Bourdonov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alexander S. Kossatchev
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Victor V. Kuliamin
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Alexander K. Petrenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information Technology, Uppsala University, P.O. Box 337, 751 05, Uppsala, Sweden

    Lars-Henrik Eriksson

  2. Software Verification Research Centre, The University of Queensland, Queensland, 4072, Australia

    Peter Alexander Lindsay

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bourdonov, I.B., Kossatchev, A.S., Kuliamin, V.V., Petrenko, A.K. (2002). UniTesK Test Suite Architecture. In: Eriksson, LH., Lindsay, P.A. (eds) FME 2002:Formal Methods—Getting IT Right. FME 2002. Lecture Notes in Computer Science, vol 2391. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45614-7_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-45614-7_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43928-8

  • Online ISBN: 978-3-540-45614-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation