Sciweavers

EMSOFT
2005
Springer

Testing real-time embedded software using UPPAAL-TRON: an industrial case study

13 years 9 months ago
Testing real-time embedded software using UPPAAL-TRON: an industrial case study
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences in applying our tool and technique on an industrial case study. We conclude that the tool and technique is applicable to practical systems, and that it has promising error detection potential and execution performance.
Kim Guldstrand Larsen, Marius Mikucionis, Brian Ni
Added 29 Jun 2010
Updated 29 Jun 2010
Type Conference
Year 2005
Where EMSOFT
Authors Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou
Comments (0)