TestEra: a novel framework for automated testing of Java programs

Author

Marinov, Darko ; Khurshid, Sarfraz

Author_Institution

Lab. for Comput. Sci., MIT, Cambridge, MA, USA

fYear

2001

fDate

26-29 Nov. 2001

Firstpage

22

Lastpage

31

Abstract

We present TestEra, a novel framework for automated testing of Java programs. TestEra automatically generates all non-isomorphic test cases within a given input size and evaluates correctness criteria. As an enabling technology, TestEra uses Alloy, a first-order relational language, and the Alloy Analyzer. Checking a program with TestEra involves modeling the correctness criteria for the program in Alloy and specifying abstraction and concretization translations between instances of Alloy models and Java data structures. TestEra produces concrete Java inputs as counterexamples to violated correctness criteria. The paper discusses TestEra´s analyses of several case studies: methods that manipulate singly linked lists and red-black trees, a naming architecture, and a part of the Alloy Analyzer.

Keywords

Java; automatic programming; data structures; formal languages; program testing; program verification; Alloy Analyzer; Java data structures; TestEra; abstraction; automated Java program testing; concrete Java inputs; concretization translations; correctness criteria; enabling technology; first-order relational language; input size; naming architecture; non-isomorphic test cases; red-black trees; singly linked lists; violated correctness criteria; Automatic testing; Computational modeling; Computer science; Concrete; Data structures; Java; Laboratories; Marine technology; Prototypes; Software testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on

ISSN

1938-4300

Print_ISBN

0-7695-1426-X

Type

conf

DOI

10.1109/ASE.2001.989787

Filename

989787