Java Specification Extension for Automated Test Development

Authors:
Igor B. Bourdonov;Alexey V. Demakov;Andrew A. Jarov;Alexander Kossatchev;Victor V. Kuliamin;Alexandre Petrenko;Sergey V. Zelenov
Affiliations:
-;-;-;-;-;-;-
Venue:
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Year:
2001

Citing 6
Cited 6

The RAISE specification language

The RAISE specification language
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Using Test Oracles Generated from Program Documentation

IEEE Transactions on Software Engineering
KVEST: Automated Generation of Test Suites from Formal Specifications

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
iContract - The Java(tm) Design by Contract(tm) Tool

TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
The Larch Family of Specification Languages

IEEE Software

UniTesK Test Suite Architecture

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
The UniTesK Approach to Designing Test Suites

Programming and Computing Software
Object-oriented description of graph data structures

Programming and Computing Software
Multi-paradigm Models as Source for Automated Test Construction

Electronic Notes in Theoretical Computer Science (ENTCS)
Automated generation of positive and negative tests for parsers

FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Model-based testing of internet e-mail protocols

Programming and Computing Software

Quantified Score

Hi-index	0.00

Visualization

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