Cooperative Testing of Timed Systems

Authors:
Alexandre David;Kim G. Larsen;Shuhao Li;Brian Nielsen
Affiliations:
Center for Embedded Software Systems (CISS), Department of Computer Science, Aalborg University, Aalborg, Denmark;Center for Embedded Software Systems (CISS), Department of Computer Science, Aalborg University, Aalborg, Denmark;Center for Embedded Software Systems (CISS), Department of Computer Science, Aalborg University, Aalborg, Denmark;Center for Embedded Software Systems (CISS), Department of Computer Science, Aalborg University, Aalborg, Denmark
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 15
Cited 1

A theory of timed automata

Theoretical Computer Science
Testing real-time constraints in a process algebraic setting

Proceedings of the 17th international conference on Software engineering
Distinguishing tests for nondeterministic and probabilistic machines

STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Testing timed automata

Theoretical Computer Science
Generating Test Cases for a Timed I/O Automaton Model

Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Timed Test Cases Generation Based on State Characterization Technique

RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Testing, Optimizaton, and Games

LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
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
A game-theoretic approach to real-time system testing

Proceedings of the conference on Design, automation and test in Europe
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
Play to test

FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Conformance testing relations for timed systems

FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing

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 deals with targeted testing of timed systems whose models may have uncontrollable behavior. The testing activity is viewed as a game between the tester and the system under test (SUT) towards a given test purpose. The SUT is modeled as Timed Game Automaton and the test purpose is specified in Timed CTL formula. We employ a timed game solver UPPAAL-TIGA to check if the test purpose is ture w.r.t. the model, and if yes, to generate a winning strategy and use it for black-box conformance testing of the SUT implementation. Specifically, we show that in case the checking yields a negative result, we can still test the SUT implementation against the test purpose as long as the SUT implementation reacts to our moves in a cooperative style. We present an operational framework of cooperative winning strategy generation, test case derivation and execution. The test method is proved to be sound and complete. Preliminary experimental results indicate that this approach is applicable to non-trivial timed systems.