Skip to content
Snippets Groups Projects
Select Git revision
  • develop
  • main default protected
  • v1.0.0
  • v0.1.0
4 results
Blame Permalink
README.md 2.40 KiB

Symbolic Observation Graph-Based Generation of Test Paths

sog-test-paths generates the observable paths from a Petri net model. It also generates the abstract paths.

Requirements

  • A C++ compiler (gcc >= 9.3.0).

Use

To compile the tool you have to:

  • First, run the make command inside the directory buddy22 in order to build the library used to manipulate Binary Decision Diagrams (BDD).

  • Second, run make in the parser directory in order to build the library used to parse Petri net models from net files.

  • Third, run the make command in the root directory to generate the executable file StructAnalysis.

-To run this executable on any example, we have to access the main directory and execute the command "./StructAnalysis ./Samples/file.net" for the paper we used the example file Samples/exemple.net.

--- Exemple ------------------------------------------

We treat the exemple of 2 dining philosophers. The figure bellow represents the Petri Net corresponding to 2 philosophers.