Abstract
We study the generation of test cases for nondeterministic real-time systems. We define a class of Determinizable Timed Automata (DTA), in order to specify the system under test. The principle of our test method consists of two steps. In Step 1, we express the problem in a non-real-time form, by transforming a DTA into an equivalent finite state automaton. The latter uses two additional types of events, Set and Exp. In Step 2, we adapt a non-real-time test generation method.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alur, R.: Timed automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 8–22. Springer, Heidelberg (1999)
Khoumsi, A., Ouedraogo, L.: A new transformation of timed automata into finite state automata. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988. Springer, Heidelberg (2004)
Jard, C., Jéron, T.: TGV: theory, principles and algorithms. In: Proc. 6th World Conf. on Integ. Design and Process Technol (IDPT), Pasadena, California, USA (June 2002)
Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software-Concepts and Tools 17 (1996)
Jard, C., Jéron, T., Tanguy, L., Viho, C.: Remote testing can be as powerful as local testing. In: Proc. PSTV/FORTE, Beijing, China (October 1999)
Khoumsi, A.: A method for testing the conformance of real time systems. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, p. 331. Springer, Heidelberg (2002)
Nielsen, B.: Specification and test of real-time systems. PhD thesis, Dept of Comput. Science, Faculty of Engin. and Sc., Aalborg University, Aalborg, Denmark (2000)
Cardell-Oliver, R.: Conformance testing of real-time systems with timed automata. Formal Aspects of Computing 12, 350–371 (2000)
Cardell-Oliver, R.: Conformance testing of real-time systems with timed automata. In: Nordic Workshop on Programming Theory (October 2000)
Clarke, D.: Testing real-time constraints. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, USA (1996)
Braberman, V., Felder, M., Massé, M.: Testing timing behaviors of real time software. In: Proc. Quality Week 1997, San Francisco, USA, April- May 1997, pp. 143–155 (1997)
Peleska, J., Amthor, P., Dick, S., Meyer, O., Siegel, M., Zahlten, C.: Testing reactive real-time systems. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol. 1486. Springer, Heidelberg (1998)
Springintveld, J., Vaandrager, F., D’Argenio, P.: Testing timed automata. Technical Report CTIT97-17, University of Twente, Amsterdam, The Netherlands (1997)
En-Nouaary, A., Dssouli, R., Khendek, F., Elqortobi, A.: Timed test generation based on state characterization technique. In: Proc. 19th IEEE Real-Time Systems Sympos (RTSS), Madrid, Spain (December 1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Khoumsi, A., Jéron, T., Marchand, H. (2004). Test Cases Generation for Nondeterministic Real-Time Systems. In: Petrenko, A., Ulrich, A. (eds) Formal Approaches to Software Testing. FATES 2003. Lecture Notes in Computer Science, vol 2931. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24617-6_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-24617-6_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20894-5
Online ISBN: 978-3-540-24617-6
eBook Packages: Springer Book Archive