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.

• Type: Conference
• Year: 2005
• Where: EMSOFT
• Authors: Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou
• Keywords: Black-box Conformance Testing, EMSOFT 2005, Promising Error Detection, Real-time Embedded Systems