T-UPPAAL: online model-based testing of real-time systems
Marius Mikučionis, Kim G. Larsen, Brian Nielsen · 2004
The goal of testing is to gain confidence in a physical computer based system by means of executing it. More than one third of typical project resources is spent on testing embedded and real-time systems, but still it remains ad-hoc, based on heuristics, and error-prone. Therefore systematic, theoretically well-founded and effective automated real-time testing techniques are of great practical value. We pesent an online conformance testing tool for timed systems.