This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

UPPAAL TRON

UPPAAL Testing Real-time systems ONline

Select a component to see open bugs in that component.

Component Default Assignee
any Marius Mikučionis
Any and all components of UPPAAL TRON
DriverAdapter Marius Mikučionis
Interface to IUT: event time-stamping, delivery and execution API.
Explorer Marius Mikučionis
UPPAAL engine used as explorer in testing with TRON
Parser Marius Mikučionis
Specification and interface parser
Simulator Marius Mikučionis
The TRON component responsible for making testing decisions.
Tracer GUI Marius Mikučionis
Java-based front-end to interact with TRON via user-suplied test primitives (traces). GUI connects to TRON via generic trace-interpreter-adapter through standard input/output/error streams.