skip to main content
10.1145/1353482.1353484acmotherconferencesArticle/Chapter ViewAbstractPublication PagesmodularityConference Proceedingsconference-collections
research-article

AspectT: aspect-oriented test case instantiation

Published: 31 March 2008 Publication History

Abstract

Test case instantiation is the transformation of abstract test cases into executable test scripts. Abstract test cases are either created during model based test case generation or are manually defined in a suitable modeling notation. The transformation varies depending on different testing concerns, such as test goal, test setup and test phase. Thus, for each testing concern a new transformation must be defined. This paper introduces AspectT, an aspect-oriented language for the instantiation of abstract test cases. We reduce the effort of test case instantiation by modularizing testing concerns in the form of aspects to enable their reuse in different testing contexts. The approach is implemented and integrated in an existing testing framework and has been successfully applied to test an electronic control unit of an automotive infotainment system at BMW Group.

References

[1]
Message sequence charts. ITU-T recommendation Z.120, 1996.
[2]
J. R. Abrial. The B-Book. Assigning programs to meaning. Cambridge University Press, 1996.
[3]
A. Belinfante, J. Feenstra, R. G. de Vries, J. Tretmans, N. Goga, L. M. G. Feijs, S. Mauw, and L. Heerink. Formal test automation: A simple experiment. In Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems, pages 179--196. Kluwer, 1999.
[4]
S. Benz. Combining test case generation for component and integration testing. In A-MOST '07: Proceedings of the 3rd international workshop on Advances in model-based testing, pages 23--33, New York, NY, USA, 2007. ACM Press.
[5]
F. Bouquet and B. Legeard. Reification of executable test scripts in formal specification-based test generation: The java card transaction mechanism case study. In Proc. of FME'03, Formal Method Europe, volume 2805 of LNCS, pages 778--795, Pisa, Italy, Sept. 2003.
[6]
F. Budinsky, S. A. Brodsky, and E. Merks. Eclipse Modeling Framework. Pearson Education, 2003.
[7]
O. de Moor, S. L. P. Jones, and E. V. Wyk. Aspect-oriented compilers. In GCSE '99: Proceedings of the First International Symposium on Generative and Component-Based Software Engineering, pages 121--133, London, UK, 2000. Springer-Verlag.
[8]
J. Grabowski, D. Hogrefe, G. Rthy, I. Schieferdecker, A. Wiles, and C. Willcock. An introduction into the testing and test control notation (TTCN-3). Computer Networks, Volume 42, Issue 3., pages 375--403, June 2003.
[9]
J. Gray, Y. Lin, and J. Zhang. Automating change evolution in model-driven engineering. Computer, 39(2):51, 2006.
[10]
G. J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279--295, 1997.
[11]
C. Jard and T. Jéron. TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for nondeterministic reactive systems. Int. J. Softw. Tools Technol. Transf., 7(4):297--315, 2005.
[12]
G. Kiczales. Aspect-oriented programming. ACM Comput. Surv., 28(4es):154, 1996.
[13]
D. E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2(2):127--145, 1968.
[14]
Object Management Group (OMG). Meta object facility (MOF) specification. formal/2002-04-03, April 2002.
[15]
J. Paakki. Attribute grammar paradigms - a high-level methodology in language implementation. ACM Comput. Surv., 27(2):196--255, 1995.
[16]
W. Prenninger, M. El-Ramly, and M. Horstmann. Case studies. In Model-Based Testing of Reactive Systems, pages 439--461, 2004.
[17]
M. Utting and B. Legeard. Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2006.
[18]
E. Visser. Stratego: A language for program transformation based on rewriting strategies (system description). In A. Middeldorp, editor, Rewriting Techniques and Applications, 12th International Conference, LNCS 2051. Springer, 2001.

Cited By

View all
  • (2019)Some Thoughts on Model-Based Test Optimization2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C)10.1109/QRS-C.2019.00058(268-274)Online publication date: Jul-2019
  • (2018)An Approach to Automatic Test Case Generation for Unit Testing2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)10.1109/QRS-C.2018.00097(545-552)Online publication date: Jul-2018
  • (2017)Systematic mapping study on MBT: tools and modelsIET Software10.1049/iet-sen.2015.015411:4(141-155)Online publication date: Aug-2017
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
AOSD '08: Proceedings of the 7th international conference on Aspect-oriented software development
March 2008
212 pages
ISBN:9781605580449
DOI:10.1145/1353482
  • Conference Chair:
  • Theo D'Hondt
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

  • AOSA: Aspect-Oriented Software Association

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 31 March 2008

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. aspect-orientation
  2. model-based testing
  3. test case generation
  4. test case instantiation

Qualifiers

  • Research-article

Conference

AOSD08
Sponsor:
  • AOSA

Acceptance Rates

Overall Acceptance Rate 41 of 139 submissions, 29%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 19 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2019)Some Thoughts on Model-Based Test Optimization2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C)10.1109/QRS-C.2019.00058(268-274)Online publication date: Jul-2019
  • (2018)An Approach to Automatic Test Case Generation for Unit Testing2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)10.1109/QRS-C.2018.00097(545-552)Online publication date: Jul-2018
  • (2017)Systematic mapping study on MBT: tools and modelsIET Software10.1049/iet-sen.2015.015411:4(141-155)Online publication date: Aug-2017
  • (2011)A language for test case refinement in the test template frameworkProceedings of the 13th international conference on Formal methods and software engineering10.5555/2075089.2075139(601-616)Online publication date: 26-Oct-2011
  • (2009)A Scenario-Centric Approach for the Definition of the Formal Test Specifications of Reactive SystemsProceedings of the 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques10.1109/TAICPART.2009.21(179-183)Online publication date: 4-Sep-2009

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media