A game-theoretic approach to real-time system testing

Authors:
Alexandre David;Kim G. Larsen;Shuhao Li;Brian Nielsen
Affiliations:
Aalborg University, Aalborg, Denmark;Aalborg University, Aalborg, Denmark;Aalborg University, Aalborg, Denmark;Aalborg University, Aalborg, Denmark
Venue:
Proceedings of the conference on Design, automation and test in Europe
Year:
2008

Citing 9
Cited 2

A theory of timed automata

Theoretical Computer Science
Testing timed automata

Theoretical Computer Science
Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract)

ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Efficient on-the-fly algorithms for the analysis of timed games

CONCUR 2005 - Concurrency Theory
UPPAAL-Tiga: time for playing games!

CAV'07 Proceedings of the 19th international conference on Computer aided verification
A test generation framework for quiescent real-time systems

FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Online testing of real-time systems using UPPAAL

FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Real-time model checking is really simple

CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods

Cooperative Testing of Timed Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
Testing real-time systems under uncertainty

FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects

Quantified Score

Hi-index	0.00

Visualization

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.