Abstract
In model-driven engineering, models are not primarily developed for documentation and requirement specification purposes, but promoted to first-class artifacts, from which executable code is generated. As a consequence, typical development activities like testing must be performed on the model level. In this paper, we propose to use overlapping information inherent in multiple views of models for automatic testing. Using a prototype based on the model checker Spin we show the feasibility of this approach and identify future challenges.
This work was partially funded by the Vienna Science and Technology Fund (WWTF) through project ICT10-018, by the fFORTE WIT Program of the Vienna University of Technology and the Austrian Federal Ministry of Science and Research, and by the Austrian Science Fund (FWF) under grants P21698, J3159-N23, and S11409-N23.
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.
References
de Boer, F.S., Bonsangue, M.M., Steffen, M., Ábrahám, E.: A Fully Abstract Semantics for UML Components. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2004. LNCS, vol. 3657, pp. 49–69. Springer, Heidelberg (2005)
Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)
Broy, M., Cengarle, M.: UML Formal Semantics: Lessons Learned. SoSyM 10(4) (2011)
Rivera, J., Romero, J., Vallecillo, A.: Behavior, Time and Viewpoint Consistency: Three Challenges for MDE. In: Chaudron, M.R.V. (ed.) MODELS 2008. LNCS, vol. 5421, pp. 60–65. Springer, Heidelberg (2009)
Cimatti, A., Mover, S., Tonetta, S.: Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems. In: FMCAD (2011)
OMG. Unified Modeling Language (UML), Superstructure V2.4.1 (August 2011), http://www.omg.org/spec/UML/2.4.1/
Holzmann, G.J.: The Model Checker SPIN. TSE 23(5), 279–295 (1997)
Knapp, A., Wuttke, J.: Model Checking of UML 2.0 Interactions. In: Kühne, T. (ed.) MoDELS 2006. LNCS, vol. 4364, pp. 42–51. Springer, Heidelberg (2007)
Li, X., Hu, J., Bu, L., Zhao, J., Zheng, G.: Consistency Checking of Concurrent Models for Scenario-Based Specifications. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530, pp. 298–312. Springer, Heidelberg (2005)
Pelliccione, P., Inverardi, P., Muccini, H.: CHARMY: A Framework for Designing and Verifying Architectural Specifications. TSE 35(3), 325–346 (2008)
Schäfer, T., Knapp, A., Merz, S.: Model Checking UML State Machines and Collaborations. ENTCS 55(3), 357–369 (2001)
Uchitel, S., Kramer, J., Magee, J.: Synthesis of Behavioral Models from Scenarios. TSE 29(2), 99–115 (2003)
Grønmo, R., Møller-Pedersen, B.: From UML 2 Sequence Diagrams to State Machines by Graph Transformation. JOT 10(8), 1–22 (2011)
Whittle, J., Schumann, J.: Generating Statechart Designs from Scenarios. In: ICSE, pp. 314–323. ACM (2000)
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
Brosch, P. et al. (2012). Towards Scenario-Based Testing of UML Diagrams. In: Brucker, A.D., Julliand, J. (eds) Tests and Proofs. TAP 2012. Lecture Notes in Computer Science, vol 7305. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30473-6_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-30473-6_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30472-9
Online ISBN: 978-3-642-30473-6
eBook Packages: Computer ScienceComputer Science (R0)