Advertisement

Java Specification Extension for Automated Test Development

  • Igor B. Bourdonov
  • Alexey V. Demakov
  • Andrew A. Jarov
  • Alexander S. Kossatchev
  • Victor V. Kuliamin
  • Alexander K. Petrenko
  • Sergey V. Zelenov
Conference paper
Part of the Lecture Notes in Computer Science book series (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].

Keywords

Finite State Machine Test Scenario Test Coverage Coverage Criterion Java Language 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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
  2. 4.
    D. Peters, D. Parnas. Using Test Oracles Generated from Program Documentation. IEEE Transactions on Software Engineering, 24(3):161–173, 1998.CrossRefGoogle Scholar
  3. 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
  4. 6.
    The RAISE Language Group. The RAISE Specification Language. Prentice Hall Europe, 1992.Google Scholar
  5. 8.
    R. Kramer. iContract— The Java Design by Contract Tool. // 4-th conference on OO technology and systems (COOTS), 1998.Google Scholar
  6. 10.
    J. Guttag et al. The Larch Family of Specification Languages. // IEEE Software, Vol. 2, No. 5 (September 1985), pp. 24–36.CrossRefGoogle Scholar
  7. 11.
    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. 12.
    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. 13.
    B. Meyer. Object-Oriented Software Construction. Second Edition, Prentice Hall, Upper Saddle River, NewJersey, 1997.zbMATHGoogle Scholar
  10. 14.
    A. K. Petrenko. Specification Based Testing: Towards Practice. In this volume. P.289–302.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Igor B. Bourdonov
    • 1
  • Alexey V. Demakov
    • 1
  • Andrew A. Jarov
    • 1
  • Alexander S. Kossatchev
    • 1
  • Victor V. Kuliamin
    • 1
  • Alexander K. Petrenko
    • 1
  • Sergey V. Zelenov
    • 1
  1. 1.Institute for System Programming of Russian Academy of Sciences (ISPRAS)MoscowRussia

Personalised recommendations