Skip to content

Latest commit

 

History

History
34 lines (29 loc) · 1.05 KB

README.md

File metadata and controls

34 lines (29 loc) · 1.05 KB
Raw

TraceMatcher

Java CLI tool to compute traces inclusion using biased traces between two Uppaal models.

Prerequisites

  • Uppaal 4.1
  • Uppaal-Tron
  • Java 11+
  • Maven

Generate traces according to interesting portions ("bias") of Uppaal Timed Automata models.

Installation

mvn clean compile && mvn package

Usage

java -jar target/TraceMatcher-1.0.0-jar-with-dependencies.jar -h

TraceMatcher [-hV] [-d=<dir>] --how=<strategy> --model=<model>
                    --mutant=<mutant>
  -d, --dir=<dir>         Working directory.
  -h, --help              Show this help message and exit.
      --how=<strategy>    How to generate traces, one of: random, biased.
      --model=<model>     Path to first model.
      --mutant=<mutant>   Path to second model.
  -V, --version           Print version information and exit.

Examples

Basic usage (biased traces between two models)

TraceMatcher --model=foo.xml --mutant=baz.xml

Traces inclusion with random traces

TraceMatcher --model=foo.xml --mutant=baz.xml --how=random

Author

  • David Cortés