Introduction to AutoTest |
![]() ![]() |
What is AutoTest?
AutoTest is a fully automatic testing tool for Eiffel systems. It implements the concept of push-button testing: you must only provide it an ace/xace file for your system under test and it will then completely automatically generate and run tests on the classes in your system and at the end give you information about test results for each feature.
AutoTest relies on the contracts in the Eiffel code: it interprets contract violations as bugs. Since AutoTest cannot check any functionality that is not specified in the contracts, the quality of the test results is highly dependent on the quality (correctness and completeness) of the contracts.
The software included in this package is copyrighted freeware distributed under the terms and conditions of the Eiffel Forum License version 2 as specified in file License.txt.
Contact
- www: http://se.inf.ethz.ch/people/leitner/auto_test/
- email: Andreas Leitner (andreas.leitner@inf.ethz.ch)
![]() ![]() ![]() ![]() |