Skip to main content.

This page’s menu:


Here are the highlights of Uppaal TRON features:

Uppaal TRON Setup

The system under test is attached to Uppaal TRON via a test-adapter (an SUT specific software layer) and considered as a black-box since its state cannot be directly observed; only communication events via input/output channels. The user supplies Uppaal TRON with the closed timed automata network of SUT model in parallel composition together with assumptions on environment.

The explicit environment model is an important feature: it can be used to generate test events only that are realistic it the operating environment. It may also be fully-permissible, meaning that the environment (testing tool in this case) can offer any input at any moment and accept any output at any moment. Finally it can be used to guide the test (which is randomized) to produce particularly interesting behaviors.

Modelling Language