Symbolic Observation Graph-Based Generation of Test Paths
sogMBT generates the observable paths from a Petri net model. It also
generates the abstract paths.
Requirements
-
gcc >= 9.3.0. cmakeflexbison
Build
The tool can be compiled as follows:
mkdir build
cmake -S . -B build -G Ninja # configures the project
cmake --build build --target all -j # builds the project using all available CPU cores
cmake --install build # installs the project: ./assets/optlpRun
Once installed, the binary sogMBT will be in the assets folder. That is:
-
cd ..# if you are in thebuildfolder cd assets./sogMBT
Usage
λ> ./sogMBT --help
sogMBT: Symbolic Observation Graph-Based Generation of Test Paths
Usage: ./sogMBT [OPTIONS]
Options:
-h,--help Print this help message and exit
--input-net Path:FILE REQUIRED
Petri net file
--output-folder Path:DIR REQUIRED
output folder
--obs-file Path:FILE Cover observable transitions from file [default: all transitions]