How to use AutoTest

PreviousNext

AutoTest has a command-line interface that is easy and intuitive to use.

Command-line arguments

usage: auto_test [--help] [--version] [--verbose] [--just-test] [--define=<...>] [--output-dir=<...>] [--time-out=<min>] ace_filename class_name+

Running the example

The AutoTest distribution comes with an example (under ${AUTO_TEST}/example/hello_world) that should give you a kick-start on using the tool. The root class (HELLO_WORLD) has a routine that will always violate its postcondition.

To test this class:


HomeTocPreviousNext