About:
Uppaal TRON is a testing tool for black-box conformance testing of real-time embedded software systems. Given a formal timed automata model of the system under test (SUT) and its assumed operating environment, it automatically generates, executes, and checks timed test sequences online. The observed behavior is required to be timed trace included in the specification. The tool is based on the Uppaal engine, which is a model-checker of real-time systems modeled as networks of timed automata.

Author:
Marius Mikučionis [contact developer]

Rating:	reset 1 2 3 4 5 6 7 8 9 10
(not rated)

Homepage:
http://www.cs.aau.dk/~marius/tron
Zip:
http://www.it.uu.se/[..]l/download/registration.php?id=6&subid=4
Changelog:
http://www.cs.aau.dk/~marius/tron/readme.txt
Bug tracker:
http://bugsy.grid.aau.dk/cgi-bin/bugzilla/index.cgi

Trove categories: [change]

[Development Status]		3 - Alpha
[Environment]		Console (Text Based)
[Intended Audience]		Developers, Other Audience, Quality Engineers
[License]		Free for non-commercial use
[Operating System]		POSIX :: Linux, POSIX :: SunOS/Solaris
[Programming Language]		C++, Java
[Topic]		Education :: Testing, Scientific/Engineering, Software Development :: Quality Assurance, Software Development :: Testing

Dependencies: [change]
UPPAAL (Stable branch) (recommended)
UPPAAL Timed Automata Parser Library (Default branch) (recommended)
[download links]

 Branches

Branch	Version	Last release	License	URLs
Default	1.4 Beta 1	13-Oct-2006	Free for non-commercial use