Abstract
In this paper, we propose an approach based on the combination of Meta-modelling and Graph Grammars, to transform a Durational Action Timed Automata model (DATA*) into a timed refusal regiongraph (TRRG) for creating a canonical tester and generating test cases. However, our approach allows to generate automatically a visual modelling tool for DATA*, TRRG and the canonical tester. The cost of building a visual modelling tool from scratch is prohibitive. Meta-Modelling approach is useful to deal with this problem since it allows the modelling of the formalisms themselves, by means of Graph Grammars. Models manipulations are expressed on a formal basis and in a graphical way. In our approach, the UML class diagram formalism is used as meta-formalism to offer a meta-model of DATA*, TRRG and the canonical tester. The meta-modelling tool AToM3 is used.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science, 183–235 (1994)
AToM3 Home page, version 3.00, http://atom3.cs.mcgill.ca/
Baresi, L., Heckel, R.: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 431–433. Springer, Heidelberg (2004)
Belala, N.: Modèles de Temps et leur Intérêt à la Vérification Formelle des Systèmes Temps-Réel. PHD’s thesis, University of Mentouri, 25000 Constantine, Algeria (2010)
de Lara, J., Vangheluwe, H.: AToM3: A Tool for Multi-formalism and Meta-modelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 174–188. Springer, Heidelberg (2002)
Fouchal, H., Petitjean, E., Salva, S.: An user-oriented testing of real time systems. In: IEEE Workshop on Real-Time Embedded Systems (RTES 2001). IEEE Computer Society Press (2001)
GEF home page, http://www.eclipse.org/gef/
GME home page, http://www.isis.vanderbilt.edu/gme
Hachichi, H., Kitouni, I., Saidouni, D.E.: Transforming DATA* with Dotty Format to Aggregate Region Automaton. International Journal of Computer Applications 37(10), 35–42 (2012)
Hessel, A., Larsen, K.G., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing Real-Time Systems Using UPPAAL. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 77–117. Springer, Heidelberg (2008)
Karsai, G., Agrawal, A.: Graph Transformations in OMG’s Model-Driven Architecture. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 243–259. Springer, Heidelberg (2004)
Kelly, S., Lyytinen, K., Rossi, M.: MetaEdit+: A Fully Con_gurable Multi-User and Multi-Tool CASE and CAME Environment. In: Constantopoulos, P., Vassiliou, Y., Mylopoulos, J. (eds.) CAiSE 1996. LNCS, vol. 1080, pp. 1–21. Springer, Heidelberg (1996)
Kerkouche, E., Chaoui, A., Bourennane, E., Labbani, O.: A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation. Journal of Object Technology 9(4), 25–43 (2010)
Kitouni, I.: Déterminisation des automates temporisés avec durées d’actions pour le test formel. Master’s thesis, University of Mentouri, 25000 Constantine, Algeria (2008)
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)
Laurensot, P., Castanet, R.: Integration of Time in Canonical Testers for Real-Time Systems. In: Internationel Workshop on Object-Oriented Real-time Dependable Systems. IEEE Computer Society Press, California (1997)
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)
Saïdouni, D.E., Belala, N., Bouneb, M.: Aggregation of transitions in marking graph generation based on maximality semantics for Petri nets. In: Proceedings of the 2nd Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008). University of Leeds, UK (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hachichi, H., Kitouni, I., Bouaroudj, K., Saidouni, DE. (2012). A Graph Transformation Approach for Testing Timed Systems. In: Skersys, T., Butleris, R., Butkiene, R. (eds) Information and Software Technologies. ICIST 2012. Communications in Computer and Information Science, vol 319. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33308-8_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-33308-8_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33307-1
Online ISBN: 978-3-642-33308-8
eBook Packages: Computer ScienceComputer Science (R0)