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

8 Citations (Scopus)
328 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)
CountryGermany
CityMunich
Period10/03/200814/03/2008

Fingerprint

Real time systems
Testing
Acoustic waves

Cite this

@inproceedings{8a1693f0a26e11dc8188000ea68e967b,
title = "A game-theoretic approach to real-time system testing",
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.",
author = "Alexandre David and Larsen, {Kim Guldstrand} and Shuhao Li and Brian Nielsen",
year = "2008",
doi = "10.1145/1403375.1403491",
language = "English",
pages = "443--448",
journal = "Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition",
issn = "1530-1591",
publisher = "IEEE Computer Society Press",

}

A game-theoretic approach to real-time system testing. / David, Alexandre; Larsen, Kim Guldstrand; Li, Shuhao; Nielsen, Brian.

In: Design, Automation and Test in Europe, 2008, p. 443-448.

Research output: Contribution to journalConference article in JournalResearchpeer-review

TY - GEN

T1 - A game-theoretic approach to real-time system testing

AU - David, Alexandre

AU - Larsen, Kim Guldstrand

AU - Li, Shuhao

AU - Nielsen, Brian

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

U2 - 10.1145/1403375.1403491

DO - 10.1145/1403375.1403491

M3 - Conference article in Journal

SP - 443

EP - 448

JO - Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition

JF - Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition

SN - 1530-1591

ER -