OTAWA

Developer Training

C++ programming is a prerequisite for this training. Refer to this site for C++ learning.

This post and the following ones propose a training in OTAWA programming. They require a working installation of OTAWA and the ##otawa-config## utility to be accessible on the current execution path. This may be checked by typing the following in a command line interface:

$ otawa-config -h

This command should display information about the command.

If an error message, stating that the command does not exist, you can add the directory ##OTAWA_ROOT/bin## to your ##PATH## variable with ##OTAWA_ROOT## the install directory of OTAWA.”

According to your OS, this can done as below:

  • [Unix SH] export PATH=$PATH:OTAWA_ROOT/bin
  • [Unix CSH] setenv PATH ($PATH OTAWA_ROOT/bin)
  • [Windows] set PATH=%PATH%;OTAWA_ROOT/bin

Now, you can follow the exercises below: