Download TestStudio: An environment for automatic test generation based on

TestStudio – Diploma project
2. MAIN RESULTS
The purpose of this project was to develop an environment for automatic test generation.
To do so, we have extended an already existing tool, called Test Wizard, which implements
the basic functionality for the automatic generation of tests based on contracts.
The main contributions of the current project are:
•
Providing a Graphical User Interface to the Test Wizard, which allows the user to:
o create test configurations as projects, save them and reload them again later;
o set a wide range of test criteria and options;
o generate and compile the test code (according to the test configuration) on a
button-click;
o run the generated test on a button-click;
o display the test results;
•
Providing a command-line facility to complement the GUI version;
•
Extending and refining the test generation mechanism of the Test Wizard.
Using TestStudio we tested some Eiffel libraries, and found previously unknown bugs.
We describe some of these bugs in section 8.2. We also tested examples that we created and
in which we planted bugs on purpose, to assess the capabilities of TestStudio. This proved the
effectiveness of the approach and showed that TestStudio does meet its intent.
3