论文信息 - A Game-Theoretic Approach to Real-Time System Testing

A Game-Theoretic Approach to Real-Time System Testing

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.

[1] Scott A. Smolka,et al. Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract) , 1998, ICALP.

[2] Joseph Sifakis,et al. On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.

[3] Stavros Tripakis,et al. Conformance testing for real-time systems , 2004, SPIN.

[4] Thierry Jéron,et al. TGV : theory , principles and algorithms A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems , 2004 .

[5] Mihalis Yannakakis,et al. Testing, Optimizaton, and Games , 2004, ICALP.

[6] Leslie Lamport,et al. Real-Time Model Checking Is Really Simple , 2005, CHARME.

[7] Kim G. Larsen,et al. Time-Optimal Real-Time Test Case Generation Using Uppaal , 2003, FATES.

[8] Frits W. Vaandrager,et al. Testing timed automata , 1997, Theor. Comput. Sci..

[9] Ed Brinksma,et al. A Test Generation Framework for quiescent Real-Time Systems , 2004, FATES.

[10] Kim G. Larsen,et al. UPPAAL-Tiga: Time for Playing Games! , 2007, CAV.

[11] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[12] K. Larsen,et al. Online Testing of Real-time Systems Using Uppaal , 2004, FATES.

[13] Kim G. Larsen,et al. Efficient On-the-Fly Algorithms for the Analysis of Timed Games , 2005, CONCUR.