Title
Model-Based Testing Using LSCs and S2A
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.
Year
DOI
Venue
2009
10.1007/978-3-642-04425-0_22
MoDELS
Keywords
Field
DocType
aspect-based test execution,test generation,scenario-based test,industrial context,industrial application,model-based testing,aspect code,aspect-based execution,industrial setting,model-based test specification,tests specification,model based testing,expressive power
System under test,Sequence diagram,Programming language,Systems engineering,Visualization,Computer science,Compiler,Coding (social sciences),Scenario testing,Model-based testing,Semantics
Conference
Volume
ISSN
Citations 
5795
0302-9743
5
PageRank 
References 
Authors
0.42
7
3
Name
Order
Citations
PageRank
Shahar Maoz163342.09
Jani Metsä2101.16
Mika Katara331829.78