Model-Based Testing Using LSCs and S2A

  • Shahar Maoz
  • Jani Metsä
  • Mika Katara
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5795)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. J. on Formal Methods in System Design 19(1), 45–80 (2001)CrossRefMATHGoogle Scholar
  2. 2.
    Harel, D., Maoz, S.: Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. Software and Systems Modeling (SoSyM) 7(2), 237–252 (2008)CrossRefGoogle Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    IBM Rational: IBM Rational Software Architect homepage, (Cited March 2009)
  8. 8.
    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)Google Scholar
  9. 9.
    Harel, D., Marelly, R.: Come, Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  10. 10.
    AspectC++ team: AspectC++ home page,
  11. 11.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Shahar Maoz
    • 1
  • Jani Metsä
    • 2
  • Mika Katara
    • 2
  1. 1.The Weizmann Institute of ScienceRehovotIsrael
  2. 2.Department of Software SystemsTampere University of TechnologyTampereFinland

Personalised recommendations