README.md 1.16 KB
Newer Older
Luca Pulina's avatar
Commit  
Luca Pulina committed
1 2 3 4 5 6 7 8 9 10 11 12
# ReqT

[![license](https://img.shields.io/badge/license-GPLv3-blue.svg)](LICENSE.md)

ReqT is an open-source tool for the automatic testing of reactive black-box systems. 
It uses a formal specification to chose which action to perform on a system and to
evaluate its response.

## Attribution

ReqT is open source software released under the [GPLv3 license](LICENSE.md).

Luca Pulina's avatar
Luca Pulina committed
13

Luca Pulina's avatar
Commit  
Luca Pulina committed
14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39

## Build

In order to build ReqT, you need to first initialize the environment

    git submodule update --init --recursive

Now you can build a new distribution of the software simply running in the project dir the following command:
   
    ./gradlew build
      
It will automatically build a .zip and a .tar files in the `build/distributions` directory.
To run ReqT simply decompress one of the two files and execute the command
   
    ./bin/ReqT
    
in the folder `examples` you can find a set of examples (specification and SUT) to try the application.

### Dependencies

ReqT has two external dependencies:
- [Spot](https://spot.lrde.epita.fr/) 2.7+
- Java 11+


## Documentation
Luca Pulina's avatar
Luca Pulina committed
40
To learn more about ReqT you can read the [tutorial](docs/TUTORIAL.md) and download the [brochure](docs/brochure.pdf).