Abstract
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test purposes as Timed CTL formulas, we employ a recently developed timed game solver UPPAAL-TIGA to synthesize winning strategies, and then use these strategies to conduct black-box conformance testing of the systems. The testing process is proved to be sound and complete with respect to the given test purposes. Case study and preliminary experimental results indicate that this is a viable approach to uncontrollable timed system testing.
Original language | English |
---|---|
Journal | Design, Automation and Test in Europe |
Pages (from-to) | 443-448 |
Number of pages | 6 |
ISSN | 1530-1591 |
DOIs | |
Publication status | Published - 2008 |
Event | The 11th Conference on Design Automation and Test in Europe (DATE'08) - Munich, Germany Duration: 10 Mar 2008 → 14 Mar 2008 |
Conference
Conference | The 11th Conference on Design Automation and Test in Europe (DATE'08) |
---|---|
Country/Territory | Germany |
City | Munich |
Period | 10/03/2008 → 14/03/2008 |