Abstract
Refining high-level system scenarios into executable models is often not automatic and subject to implementation choices.We develop techniques and tools combining different modes of simulation in order to assess automatically the correctness of executable fUML activities with respect to system scenarios specified as UML MARTE sequence diagrams. In this paper, we show how test data are extracted from sequence diagrams using symbolic execution and how they are used as inputs to test system activities in the standardized fUML virtual machine.
Work partially supported by the European openES project.
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
Abdelhalim, I., Schneider, S., Treharne, H.: Towards a practical approach to check UML/fUML models consistency using CSP. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol. 6991, pp. 33–48. Springer, Heidelberg (2011)
Andrews, A.A., France, R.B., Ghosh, S., Craig, G.: Test adequacy criteria for uml design models. Softw. Test., Verif. Reliab. (2003)
Bannour, B., Escobedo, J.P., Gaston, C., Le Gall, P.: Off-line test case generation for timed symbolic model-based conformance testing. In: Nielsen, B., Weise, C. (eds.) ICTSS 2012. LNCS, vol. 7641, pp. 119–135. Springer, Heidelberg (2012)
Bannour, B., Gaston, C., Lapitre, A., Escobedo, J.P.: Incremental symbolic conformance testing from UML MARTE sequence diagrams: railway use case. In: HASE. IEEE (2012)
Cavalli, A., Lee, D., Rinderknecht, C., Zaïdi, F.: Hit-or-jump: An algorithm for embedded testing with applications to IN services. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) FORTE. IFIP AICT, vol. 28, pp. 41–56. Springer, Heidelberg (1999)
Craciun, F., Motogna, S., Lazar, I.: Towards better testing of fUML models. In: ICST (2013)
Dinh-Trong, T.T., Ghosh, S., France, R.B.: A systematic approach to generate inputs to test UML design models. In: ISSRE. IEEE (2006)
Faivre, A., Gaston, C., Le Gall, P., Touil, A.: Test purpose concretization through symbolic action refinement. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom/FATES 2008. LNCS, vol. 5047, pp. 184–199. Springer, Heidelberg (2008)
Object Management Group. A UML profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, VSL (2009), http://www.omg.org/spec/MARTE/
Object Management Group. Pscs: Precise semantics of uml composite structures, Second revised submission (2013) (to appear)
Object Management Group. Semantics of a foundational subset for executable uml models, fUML (2013), http://www.omg.org/spec/FUML/
ITU-TS Recommendation Z.120: Message Sequence Chart (MSC). Geneva (1997)
King, J.C.: A new approach to program testing. In: Proc. of Int. Conf. on Reliable Software (1975)
Lund, M.S., Stølen, K.: Deriving tests from uml 2.0 sequence diagrams with neg and assert. In: AST (2006)
Mijatov, S., Langer, P., Mayerhofer, T., Kappel, G.: A framework for testing UML activities based on fUML. In: MoDeVVaMoDELS (2013)
Pickin, S., Jard, C., Jéron, T., Jézéquel, J.-M., Traon, Y.L.: Test synthesis from UML models of distributed software. IEEE Trans. Software Eng. (2007)
Planas, E., Cabot, J., Gómez, C.: Lightweight verification of executable models. In: Jeusfeld, M., Delcambre, L., Ling, T.-W. (eds.) ER 2011. LNCS, vol. 6998, pp. 467–475. Springer, Heidelberg (2011)
Roychoudhury, A., Goel, A., Sengupta, B.: Symbolic message sequence charts. ACM Trans. Softw. Eng. Methodol. (2012)
Schmaltz, J., Tretmans, J.: On Conformance Testing for Timed Systems. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol. 5215, pp. 250–264. Springer, Heidelberg (2008)
Tatibouet, J., Cuccuru, A., Gerard, S., Terrier, F.: Principles for the realization of an open simulation framework based on fuml (WIP). In: DEVS. ACM (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Arnaud, M., Bannour, B., Cuccuru, A., Gaston, C., Gerard, S., Lapitre, A. (2015). Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios. In: Boulanger, F., Krob, D., Morel, G., Roussel, JC. (eds) Complex Systems Design & Management. Springer, Cham. https://doi.org/10.1007/978-3-319-11617-4_19
Download citation
DOI: https://doi.org/10.1007/978-3-319-11617-4_19
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11616-7
Online ISBN: 978-3-319-11617-4
eBook Packages: EngineeringEngineering (R0)