A game-theoretic approach to real-time system testing

Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen

Research output: Contribution to journalConference article in JournalResearchpeer-review

13 Citations (Scopus)
512 Downloads (Pure)

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 languageEnglish
JournalDesign, Automation and Test in Europe
Pages (from-to)443-448
Number of pages6
ISSN1530-1591
DOIs
Publication statusPublished - 2008
EventThe 11th Conference on Design Automation and Test in Europe (DATE'08) - Munich, Germany
Duration: 10 Mar 200814 Mar 2008

Conference

ConferenceThe 11th Conference on Design Automation and Test in Europe (DATE'08)
Country/TerritoryGermany
CityMunich
Period10/03/200814/03/2008

Fingerprint

Dive into the research topics of 'A game-theoretic approach to real-time system testing'. Together they form a unique fingerprint.

Cite this