TY - GEN
T1 - Model-based testing using LSCs and S2A
AU - Maoz, Shahar
AU - Metsä, Jani
AU - Katara, Mika
N1 - Funding Information:
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).
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=77249144125&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-04425-0_22
DO - 10.1007/978-3-642-04425-0_22
M3 - פרסום בספר כנס
AN - SCOPUS:77249144125
SN - 3642044247
SN - 9783642044243
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 301
EP - 306
BT - Model Driven Engineering Languages and Systems - 12th International Conference, MODELS 2009, Proceedings
Y2 - 4 October 2009 through 9 October 2009
ER -