This document show explain step by step how to produce tests for some sample system (target system) using GAJET. It is assumed, that user has nothing else but sources of the target system. It should cover the following aspects:
- System requirements for using GAJET
- Installing GAJET
- Compiling the target system
- Instrumenting the target system
- Creating SUT files for the target system
- Running GAJET
- Fine tuning test generation using properties (optional)
- Reproducing generation using random seed (optional)
- Compiling generated tests
- Running generated tests
- Producing coverage reports for generated tests
- Incrementation test generation (optional)
Optional aspects can not be covered in the first revision of 'Getting Started' manual.
The following additional resources should be provided:
- Sources of the sample system
- Examples of SUT files
- Examples of property files (optional)
- Ant script to automate all operations (optional)