Skip to main content
SpringerLink
Log in

Java Specification Extension for Automated Test Development

  • Conference paper
  • First Online:
Perspectives of System Informatics (PSI 2001)

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

Abstract

The article presents the advantages of J@va, a specification extension of the Java language, intended for use in automated test development. The approach presented includes constraints specification, automatic oracle generation, usage of FSM (Finite State Machine) model and algebraic specifications for test sequence generation, and specification abstraction management. This work stems from the ISPRAS results of academic research and industrial application of formal 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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. 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 

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

    Article  Google Scholar 

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

  4. The RAISE Language Group. The RAISE Specification Language. Prentice Hall Europe, 1992.

    Google Scholar 

  5. R. Kramer. iContract— The Java Design by Contract Tool. // 4-th conference on OO technology and systems (COOTS), 1998.

    Google Scholar 

  6. J. Guttag et al. The Larch Family of Specification Languages. // IEEE Software, Vol. 2, No. 5 (September 1985), pp. 24–36.

    Article  Google Scholar 

  7. I. Bourdonov, A. Kossatchev, V. Kuliamin. Using FSM for Program Testing. Programming and Computer Software, Official English Translation of Programmirovanie, No. 2, 2000.

    Google Scholar 

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

  9. B. Meyer. Object-Oriented Software Construction. Second Edition, Prentice Hall, Upper Saddle River, NewJersey, 1997.

    MATH  Google Scholar 

  10. A. K. Petrenko. Specification Based Testing: Towards Practice. In this volume. P.289–302.

    Google Scholar 

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, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko & Sergey V. Zelenov

Authors
  1. Igor B. Bourdonov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alexey V. Demakov
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Andrew A. Jarov
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Alexander S. Kossatchev
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Victor V. Kuliamin
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Alexander K. Petrenko
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Sergey V. Zelenov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Informatics and Mathematical Modelling, Technical University of Denmark, Bldg.322, 106-108, Richard Petersens Plads, 2800, Lyngby, Denmark

    Dines Bjørner

  2. Computer Science Department, Technical University of Munich, Arcisstr.21, 80290, Munich, Germany

    Manfred Broy

  3. A.P.Ershov Institute of Informatics Systems, Acad.Lavrentjev ave.,6, 630090, Novosibirsk, Russia

    Alexandre V. Zamulin

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bourdonov, I.B. et al. (2001). Java Specification Extension for Automated Test Development. In: Bjørner, D., Broy, M., Zamulin, A.V. (eds) Perspectives of System Informatics. PSI 2001. Lecture Notes in Computer Science, vol 2244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45575-2_30

Download citation

  • DOI: https://doi.org/10.1007/3-540-45575-2_30

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43075-9

  • Online ISBN: 978-3-540-45575-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation