Model-Based Testing Using LSCs and S2A

Authors:
Shahar Maoz;Jani Metsä;Mika Katara
Affiliations:
The Weizmann Institute of Science, Rehovot, Israel;Department of Software Systems, Tampere University of Technology, Tampere, Finland;Department of Software Systems, Tampere University of Technology, Tampere, Finland
Venue:
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Year:
2009

Citing 7
Cited 2

LSCs: Breathing Life into Message Sequence Charts

Formal Methods in System Design
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine

Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
JAOUT: Automated Generation of Aspect-Oriented Unit Test

APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference
From multi-modal scenarios to code: compiling LSCs into aspectJ

Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Towards Trace Visualization and Exploration for Reactive Systems

VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Model-Based Traces

Models in Software Engineering
S2A: a compiler for multi-modal UML sequence diagrams

FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering

A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ

ACM Transactions on Software Engineering and Methodology (TOSEM)
On tracing reactive systems

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

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.