Abstract
We report on our preliminary experience in using high-level visual scenario-based models for tests specification, test generation, and aspect-based test execution, in the context of an industrial application. To specify scenario-based tests, we used a UML2-compliant variant of live sequence charts (LSC). To automatically generate testing code from the models, we used a modified version of the S2A Compiler, outputting AspectC++ code. Finally, to examine the results of the tests, we used the Tracer, a prototype tool for model-based trace visualization and exploration. Our experience reveals the advantages of integrating models into industrial settings, specifically for model-based test specification and aspect-based execution: generating aspect code from visual models enables exploiting the expressive power of aspects for testing without manual coding and without knowledge of their rather complex syntax and semantics. We further discuss technological and other barriers for the future successful integration of our initial work in industrial context.
Empirical results category paper.
The first author would like to acknowledge partial funding from an Advanced Research Grant from the European Research Council (ERC) under the European Community’s 7th Framework Programme (FP7/2007-2013). The other authors acknowledge partial funding from the Academy of Finland (grant number 121012).
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
Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. J. on Formal Methods in System Design 19(1), 45–80 (2001)
Harel, D., Maoz, S.: Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. Software and Systems Modeling (SoSyM) 7(2), 237–252 (2008)
Harel, D., Kleinbort, A., Maoz, S.: S2A: A Compiler for Multi-Modal UML Sequence Diagrams. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 121–124. Springer, Heidelberg (2007)
Maoz, S.: Model-Based Traces. In: Chaudron, M.R.V. (ed.) Workshops and Symposia at MODELS 2008. LNCS, vol. 5421, pp. 109–119. Springer, Heidelberg (2009)
Maoz, S., Kleinbort, A., Harel, D.: Towards Trace Visualization and Exploration for Reactive Systems. In: VL/HCC 2007, pp. 153–156. IEEE Computer Society, Los Alamitos (2007)
Xu, G., Yang, Z., Huang, H., Chen, Q., Chen, L., Xu, F.: JAOUT: Automated Generation of Aspect-Oriented Unit Test. In: APSEC 2004, pp. 374–381. IEEE Computer Society, Los Alamitos (2004)
IBM Rational: IBM Rational Software Architect homepage, http://www-01.ibm.com/software/awdtools/swarchitect/websphere (Cited March 2009)
Maoz, S., Harel, D.: From Multi-Modal Scenarios to Code: Compiling LSCs into AspectJ. In: SIGSOFT FSE 2006, pp. 219–230. ACM, New York (2006)
Harel, D., Marelly, R.: Come, Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)
AspectC++ team: AspectC++ home page, http://www.aspectc.org/
Maoz, S.: Tracer website, http://www.wisdom.weizmann.ac.il/~maozs/tracer/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maoz, S., Metsä, J., Katara, M. (2009). Model-Based Testing Using LSCs and S2A . In: Schürr, A., Selic, B. (eds) Model Driven Engineering Languages and Systems. MODELS 2009. Lecture Notes in Computer Science, vol 5795. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04425-0_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-04425-0_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04424-3
Online ISBN: 978-3-642-04425-0
eBook Packages: Computer ScienceComputer Science (R0)