Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) (2001)
San Diego, California
Nov. 26, 2001 to Nov. 29, 2001
Darko Marinov , MIT Laboratory for Computer Science
Sarfraz Khurshid , MIT Laboratory for Computer Science
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.
D. Marinov and S. Khurshid, "TestEra: A Novel Framework for Automated Testing of Java Programs," Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001)(ASE), San Diego, California, 2001, pp. 22.