Testera: A novel framework for automated testing of Java programs

Darko Marinov; Sarfraz Khurshid

doi:10.1109/ASE.2001.989787

Testera: A novel framework for automated testing of Java programs

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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

Original language	English (US)
Title of host publication	Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	22-31
Number of pages	10
ISBN (Electronic)	076951426X, 9780769514260
DOIs	https://doi.org/10.1109/ASE.2001.989787
State	Published - 2001
Externally published	Yes
Event	16th Annual IEEE International Conference on Automated Software Engineering, ASE 2001 - San Diego, United States Duration: Nov 26 2001 → Nov 29 2001

Publication series

Name	Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

Conference

Conference	16th Annual IEEE International Conference on Automated Software Engineering, ASE 2001
Country/Territory	United States
City	San Diego
Period	11/26/01 → 11/29/01

ASJC Scopus subject areas

Hardware and Architecture
Software
Safety, Risk, Reliability and Quality
Control and Optimization

Online availability

10.1109/ASE.2001.989787

Library availability

Discover UIUC Full Text

Cite this

Marinov, D., & Khurshid, S. (2001). Testera: A novel framework for automated testing of Java programs. In Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001 (pp. 22-31). (Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ASE.2001.989787

Testera: A novel framework for automated testing of Java programs. / Marinov, Darko; Khurshid, Sarfraz.
Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001. Institute of Electrical and Electronics Engineers Inc., 2001. p. 22-31 (Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Marinov, D & Khurshid, S 2001, Testera: A novel framework for automated testing of Java programs. in Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001. Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001, Institute of Electrical and Electronics Engineers Inc., pp. 22-31, 16th Annual IEEE International Conference on Automated Software Engineering, ASE 2001, San Diego, United States, 11/26/01. https://doi.org/10.1109/ASE.2001.989787

Marinov D, Khurshid S. Testera: A novel framework for automated testing of Java programs. In Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001. Institute of Electrical and Electronics Engineers Inc. 2001. p. 22-31. (Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001). doi: 10.1109/ASE.2001.989787

Marinov, Darko ; Khurshid, Sarfraz. / Testera : A novel framework for automated testing of Java programs. Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001. Institute of Electrical and Electronics Engineers Inc., 2001. pp. 22-31 (Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001).

@inproceedings{f5d20bc3a5f24116864d27c6ce537888,

title = "Testera: A novel framework for automated testing of Java programs",

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. This 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.",

author = "Darko Marinov and Sarfraz Khurshid",

note = "Publisher Copyright: {\textcopyright} 2001 IEEE.; 16th Annual IEEE International Conference on Automated Software Engineering, ASE 2001 ; Conference date: 26-11-2001 Through 29-11-2001",

year = "2001",

doi = "10.1109/ASE.2001.989787",

language = "English (US)",

series = "Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "22--31",

booktitle = "Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001",

address = "United States",

}

TY - GEN

T1 - Testera

T2 - 16th Annual IEEE International Conference on Automated Software Engineering, ASE 2001

AU - Marinov, Darko

AU - Khurshid, Sarfraz

PY - 2001

Y1 - 2001

N2 - 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. This 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.

AB - 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. This 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.

UR - http://www.scopus.com/inward/record.url?scp=67650736074&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=67650736074&partnerID=8YFLogxK

U2 - 10.1109/ASE.2001.989787

DO - 10.1109/ASE.2001.989787

M3 - Conference contribution

AN - SCOPUS:67650736074

T3 - Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

SP - 22

EP - 31

BT - Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

PB - Institute of Electrical and Electronics Engineers Inc.

Y2 - 26 November 2001 through 29 November 2001

ER -

Testera: A novel framework for automated testing of Java programs

Abstract

Publication series

Conference

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this