print · source · login   

Installation

Requirements

  • java sdk
    Note: both the java and javac command line tools must be in the PATH environment variable.
  • python 2.7
  • for Equivalence checking support: the CADP toolset .
    • With Tomte we can learn a model. However to verify what we have learned is really equivalent to the SUT we use the CADP toolset .
    • Note: the CADP toolset is not required for learning.

Installation

First install the above required external tools.
Then just unzip the sut-0.41.zip file and add the bin/ subdirectory to your system's PATH environment variable. Optionally do a logout/login of your user session to let the new system PATH environment variable really apply.

For Linux/Mac
For example you can extract the zip-files in /usr/local/ and add the following lines to your system wide bash configuration script /etc/profile:

  export SUT_ROOT_PATH=/usr/local/sut-0.4 
export PATH=$SUT_ROOT_PATH/bin:$PATH

Note: instead of a system install in /usr/local/ you could also do a personal install in your home directory. Then edit ~/.bashrc instead of /etc/profile.

For Windows
For example you can extract the zip-files in C:\Program Files and add the following to your system environment variables:

  SUT_ROOT_PATH=C:\Program Files\sut-0.4 
PATH=...;%SUT_ROOT_PATH%\bin

Note: instead of a system install in C:\Program Files you could also do a personal install in your home directory. Then add above variables to your user environment variables instead of the system environment variables.

Extra: CADP installation only needed for flattening/equivalence checking (linux only)

  • install the CADP tool set
  • put into your ~/.bashrc file the following lines:
    export CADP=/usr/local/cadp/ 
    export CADP_ARCH=`"$CADP"/com/arch`
    export PATH="$PATH:$CADP/bin.$CADP_ARCH:$CADP/com" 
    export CADP_LANGUAGE=english