Abstract
Real-Time systems (RTS for short) are those systems whose behavior is time dependent. Reliability and safety are of paramount importance in designing and building RTS because a failure of an RTS puts the public and/or the environment at risk. For the purpose of effective error reporting and testing, this paper considers the trace inclusion problem for RTS: given a path ρ (resp. ρ ′) of length n of a timed automaton A (resp. B), find whether the set of timed traces of ρ of length n are included in the set of timed traces of ρ ′ of length n such that A is known but not B. We assume that the traces of ρ ′ are only defined by a decision procedure.
The proposed solution is based on the identification of a set of timed bound traces. The latter gives a finite representation of the trace space of a path. The number of these timed bounds varies between 1 and 2 × (n+1). The trace inclusion problem is then reduced to the inclusion of timed bound traces. The paper shows also how these results can be used to reduce the number of test cases for an RTS.
This research has been supported by the French RNTL project AVERROES and the Marie Curie RTN TAROT (MCRTN 505121).
Chapter PDF
Similar content being viewed by others
References
Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
Alur, R., Kurshan, R., Viswanathan, M.: Membership problems for timed and hybrid automata. In: 19th IEEE Real-Time Systems Symposium (1998)
Berrada, I.: Modélisation, Analyse et Test des Systèmes Communicants à Contraintes Temporelles : Vers une Approche Ouverte du Test. Phd thesis, Université Bordeaux 1, Bordeaux, France, December 14 (2005)
Brandán, L., Brinksma, E.: A test generation framework for quiescent real-time systems. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 64–78. Springer, Heidelberg (2005)
Cardell-Oliver, R.: Conformance testing of real-time systems with timed automata specifications. Formal Aspects of Computing 12(5), 350–371 (2000)
Clarke, D., Lee, I.: Automatic test generation for the analysis of a real-time system: case study. In: 3rd IEEE Real-Time Technology and Applications Symposium
En-Nouaary, A., Dssouli, R., Khenedek, F., Elqortobi, A.: Timed test cases generation based on state characterization technique. In: 19th IEEE Real Time Systems Symposium (RTSS 1998), Madrid, Spain (1998)
Floyd, R.W.: Algorithm 97 (shortest path). Communications of the ACM 18(3), 165–172 (1964)
Henzinger, T., Manna, Z., Pnueli, A.: What good are digital clocks? In: Kuich, W. (ed.) ICALP 1992. LNCS, vol. 623. Springer, Heidelberg (1992)
Hessel, A., Larsen, K.G., Nielson, B., Pettersson, P., Skou, A.: Time-optimal real-time test case generation using Uppaal. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol. 2931, pp. 114–130. Springer, Heidelberg (2004)
Higashino, T., Nakata, A., Taniguchi, K., Cavalli, A.: Generating test cases for a timed i/o automaton model. In: TESTCOM 1999, Budapest, Hungary (September 1999)
Koumsi, A., Akalay, M., Dssouli, R., En-Nouaary, A., Granger, L.: An approach for testing real time protocols. In: TESTCOM, Ottawa, Canada (2000)
Krichen, M., Tripakis, S.: Black-box conformance testing for real-time systems. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 109–126. Springer, Heidelberg (2004)
Larsen, K.G., Pettersson, P., Yi, W.: Diagnostic model-checking for real-time systems. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) WVCHS III. LNCS, vol. 1066, pp. 575–586. Springer, Heidelberg (1996)
Mandrioli, D., Morasca, S., Morzenti, A.: Generating test cases for real-time systems from logic specifications. ACM Transactions on Computer Systems 13(4), 365–398 (1995)
Niebert, P., Tripakis, S., Yovine, S.: Minimum-time reachability for timed automata. In: Mediterranean Conference on Control and Automation (2000)
Neilson, B., Skou, A.: Automated test generation for timed automata. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol. 2031, p. 343. Springer, Heidelberg (2001)
Springintveld, J., Vaandrager, F., D’Argenio, P.R.: Testing timed automata. Theoretical Computer Science 252(1-2), 225–257 (2001)
Tripakis, S.: The formal analysis of timed systems in practice. PhD thesis, Université Joseph Fourier, Grenoble (1998)
Tripakis, S.: Timed diagnostics for reachability properties. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol. 1579, p. 59. Springer, Heidelberg (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 IFIP International Federation for Information Processing
About this paper
Cite this paper
Berrada, I., Castanet, R., Félix, P., Salah, A. (2006). Test Case Minimization for Real-Time Systems Using Timed Bound Traces. In: Uyar, M.Ü., Duale, A.Y., Fecko, M.A. (eds) Testing of Communicating Systems. TestCom 2006. Lecture Notes in Computer Science, vol 3964. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11754008_19
Download citation
DOI: https://doi.org/10.1007/11754008_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34184-0
Online ISBN: 978-3-540-34185-7
eBook Packages: Computer ScienceComputer Science (R0)