Abstract
Some new protocols handle time constraints to model important aspects (delays, timeouts, ..). This issue has to be taken into account in every step during its development life cycle, in particular in the testing step. This paper presents an integrated tool which permits to specify a timed system in various models (RT-LOTOS, IF, Timed automata) and then generates test sequences using a new efficient algorithm. Illustrated examples show the differents steps of this new test generation method.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Courtiat, J.P., Santos, C., Lohr, C., Outtaj, B.: Experience with RT-LOTOS, a Temporal Extension of the LOTOS Formal Description Technique. Computer Communications 23, 1104–1123 (2000)
Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. In: Eijk, P.V., Vissers, C., Diaz, M. (eds.) The formal description technique LOTOS, pp. 23–73. Elsevier Science Publishers, Amsterdam (1989)
Bozga, M., Fernandez, J.C., Ghirvu, L., Graf, S., Krimm, J.P., Mounier, L.: IF: A validation environment for timed asynchronous systems. Computer Aided Verification, 543–547 (2000)
Bengtsson, J., Larsen, K., Larsen, F., Petterson, P., Yi, W., Weise, C.: New Generation of UPPAAL. In: Proceedings of the InternationalWorkshop on SOftware Tools and Technology Transfer (Aalborg, Denmark, July 12-13 (1998)
Alur, R., Courcoubetis, C., Henzinger, T.: The observational power of clocks. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol. 836, pp. 162–177. Springer, Heidelberg (1994)
Daws, C., Olivero, A., Yovine, S.: Verifying ET-LOTOS programs with KRONOS. In: Hogrefe, D., Leue, S. (eds.) 7th International Conference on Formal Description Techniques, FORTE 1994, pp. 207–222. North-Holland, Amsterdam (1994)
Daws, C., Yovine, S.: Two examples of verification of multirate timed automata with KRONOS. In: Proceedings of the 1995 IEEE Real-Time Systems Symposium, RTSS 1995, Pisa, IEEE Computer Society Press, Los Alamitos (1995)
Daws, C., Olivero, A., Tripakis, S., Yovine, S.: The tool Kronos. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol. 1066, Springer, Heidelberg (1995)
Koné, O.: Designing test for time dependant systems. In: Proceedings of the 13th IFIP International Conference on Computer Communication, Séoul, South Korea (1995)
Laurencot, P., Castanet, R.: Integration of Time in Canonical Testers for Real-Time Systems. In: International Workshop on Object-Oriented Real-Time Dependable Systems, IEEE Computer Society Press, Los Alamitos (1997)
Clarke, D., Lee, I.: Automatic generation of tests for timing constraints from requirements. In: Proceedings of the Third International Workshop on Object-Oriented Real-Time Dependable Systems, Newport Beach, California (1997)
Cardel-Oliver, R., Glover, T.: A practical and complete algorithm for testing real-time systems. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol. 1486, pp. 251–261. Springer, Heidelberg (1998)
Raymond, P., Nicollin, X., Halbwatchs, N., Waber, D.: Automatic testing of reactive systems. In: Proceedings of the 1998 IEEE Real-Time Systems Symposium, RTSS 1998, pp. 200–209. IEEE Computer Society Press, Los Alamitos (1998)
Petitjean, E., Fouchal, H.: From Timed Automata to Testable Untimeed Automata. In: 24th IFAC/IFIP InternationalWorkshop on Real-Time Programming, Schloss Dagstuhl, Germany (1999)
Nielsen, B., Skou, A.: Automated Test Generation from Timed Automata. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol. 2031, pp. 343–357. Springer, Heidelberg (2001)
De Nicola, R., Hennessy, M.: Testing equivalences for processes. Theoretical Computer Science 34, 83–133 (1984)
Hogashino, T., Nakata, A., Taniguchi, K., Cavalli, A.R.: Generating Test Cases for a Timed I/O Automaton Model (2001)
Springintveld, J., Vaandrager, F., D’Argenio, P.R.: Timed Testing Automata. Theoretical Computer Science 254, 225–257 (2001)
En-Nouaary, A., Dssouli, R., Khendek, F., Elqortobi, A.: Timed test cases generation based on state characterization technique. In: 19th IEEE Real Time Systems Symposium (RTSS 1998), Madrid, Spain (1998)
Fujiwara, S., Bochmann, G., Khendek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite-state models. IEEE Transactions on Software Engineering 17, 591–603 (1991)
Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
Yovine, S.: Kronos: A verification tool for real-time systems. International Journal on Software Tools for Technology Transfer (STTT) 1, 123–133 (1997)
at IRISA, D.W.: (Site officiel de polylib), http://icps.u-strasbg.fr/~loechner/polylib/
Fouchal, H., Higashino, T.: An efficient test generation algorithm for timed automata (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fouchal, H., Gruson, S., Pierre, L., Rabat, C., Rollet, A. (2005). Integrated Tool for Testing Timed Systems. In: Ramos, F.F., Larios Rosillo, V., Unger, H. (eds) Advanced Distributed Systems. ISSADS 2005. Lecture Notes in Computer Science, vol 3563. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11533962_14
Download citation
DOI: https://doi.org/10.1007/11533962_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28063-7
Online ISBN: 978-3-540-31674-9
eBook Packages: Computer ScienceComputer Science (R0)