Java specification extension for automated test development

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2244 LNCS, Issue , 2001, Pages 301-307

  Bourdonov, Igor B ^a   Demakov, Alexey V ^a   Jarov, Andrew A ^a   Kossatchev, Alexander S ^a   Kuliamin, Victor V ^a   Petrenko, Alexander K ^a   Zelenov, Sergey V ^a  

^a INSTITUTE FOR SYSTEM PROGRAMMING   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

INDUSTRIAL RESEARCH; JAVA PROGRAMMING LANGUAGE; INFORMATION SCIENCE; LOGIC CIRCUITS;

ABSTRACTION MANAGEMENT; ACADEMIC RESEARCH; ALGEBRAIC SPECIFICATIONS; AUTOMATED TEST; CONSTRAINTS SPECIFICATION; FORMAL TECHNIQUES; JAVA LANGUAGE; TEST SEQUENCE GENERATIONS;

SPECIFICATIONS;

EID: 84891470393     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45575-2_30     Document Type: Conference Paper

References (14)

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.
4. D. Peters, D. Parnas. Using Test Oracles Generated from Program Documentation. IEEE Transactions on Software Engineering, 24(3):161-173, 1998.
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. The RAISE Language Group. The RAISE Specification Language. Prentice Hall Europe, 1992.
7. http://adl.xopen.org.
8. R. Kramer. iContract - The Java Design by Contract Tool.//4th conference on OO technology and systems (COOTS), 1998.
9. http://www.reliable-systems.com/tools/iContract/iContract.htm.
10. J. Guttag et al. The Larch Family of Specification Languages. IEEE Software, Vol. 2, No. 5 (September 1985), pp. 24-36.
11. I. Bourdonov, A. Kossatchev, V. Kuliamin. Using FSM for Program Testing. Programming and Computer Software, Official English Translation of Programmirovanie, No. 2, 2000.
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.
13. B. Meyer. Object-Oriented Software Construction. Second Edition, Prentice Hall, Upper Saddle River, NewJersey, 1997.
14. A. K. Petrenko. Specification Based Testing: Towards Practice. In this volume. P.289-302.