Motivation
This project was largely inspired by a paper written by Sarfraz
Khurshid and Darko Marinov at the MIT Lab for Computer
Science. This paper can be downloaded here
in PDF format. We recommend reading this paper before proceeding
with AutoTestGen.
AutoTestGen was motivated by a desire to retain some of the
benefits of the TestEra idea for more complex systems.
Design Overview
There are two executable programs here. One is a program that will
execute the AlloyAnalyzer as a solution enumeration tool, and save
all the solutions as XML files. The other executable is a
framework for translating these solution XML files into test input
XML files. A simplified ADT for the Alloy language elements is
provided, although it may eventually be more practical to simply
use the Alloy provided objects.
