Demo

To facilitate the user who wants to use IIDEAA, a Docker image has been arranged containing all the necessary tools, as well as some example projects that illustrate how to configure Chimera and Bellerophon to cooperate to approximate a given application.

Please, have a look at the Hands-on page for further details.

In the following, k-means example will be considered.

Run the Docker container

It is recomended to spawn a container with:

$ ./run_iideaa_docker

This script will run the container with zsh as default shell and it will mount the folder /root/mnt of the container onto the folder /home/user/iideaa_shared of the host.

Now you have an interactive shell in which you can use clang-chimera and bellerophon tools. You can use the container folder /root/mnt to share data with host machine outside the container.

Run Chimera and Bellerophon

Execute Clang-Chimera with the following commands:

# cd /opt/projects/k-means/chimera
# ./launch.sh

Now check the mutants in /opt/projects/k-means/chimera/output and run Bellerophon:

# cd ../bellerophon
# ./launch_bellerophon.sh

The output of Bellerophon will be displayed on terminal.