Model-based testing using LSCs and S2A

Shahar Maoz*, Jani Metsä, Mika Katara

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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.

Original languageEnglish
Title of host publicationModel Driven Engineering Languages and Systems - 12th International Conference, MODELS 2009, Proceedings
Number of pages6
StatePublished - 2009
Externally publishedYes
Event12th International Conference on Model Driven Engineering Languages and Systems, MODELS 2009 - Denver, CO, United States
Duration: 4 Oct 20099 Oct 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5795 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference12th International Conference on Model Driven Engineering Languages and Systems, MODELS 2009
Country/TerritoryUnited States
CityDenver, CO


Dive into the research topics of 'Model-based testing using LSCs and S2A'. Together they form a unique fingerprint.

Cite this