Test-Data Generation for Xtext

作者: Johannes Härtel , Lukas Härtel , Ralf Lämmel

DOI: 10.1007/978-3-319-11245-9_19

关键词:

摘要: We describe a method and corresponding tool for grammar-based test-data generation (GBTG). The basic principle is to enumerate test data based on grammatical choices. However, broken down into two phases deal with context-sensitive properties in an efficient convenient manner. first phase enumerates (i.e., parse trees) placeholders. second instantiates the placeholders through post-processors. A DSL grammar transformation used customize given grammar, meant parsing, be more suitable generation. Post-processors are derived from object-oriented framework. actual tool, Xtextgen, extends theXtext technology language development.

参考文章(23)
Ralf Lämmel, Jörg Harm, Two-dimensional Approximation Coverage. Informatica (slovenia). ,vol. 24, ,(2000)
William M. McKeeman, Differential Testing for Software. Digital Technical Journal. ,vol. 10, pp. 100- 107 ,(1998)
Ralf Lämmel, Wolfram Schulte, Controllable Combinatorial Coverage in Grammar-Based Testing Lecture Notes in Computer Science. ,vol. 3964, pp. 19- 38 ,(2006) , 10.1007/11754008_2
Antonio Vallecillo, Martin Gogolla, Loli Burgueno, Manuel Wimmer, Lars Hamann, None, Formal Specification and Testing of Model Transformations Formal Methods for Model-Driven Engineering. pp. 399- 437 ,(2012) , 10.1007/978-3-642-30982-3_11
Lennart C.L. Kats, Rob Vermaas, Eelco Visser, Integrated language definition testing: enabling test-driven language development conference on object-oriented programming systems, languages, and applications. ,vol. 46, pp. 139- 154 ,(2011) , 10.1145/2048066.2048080
Lennart C.L. Kats, Rob Vermaas, Eelco Visser, Testing domain-specific languages conference on object-oriented programming systems, languages, and applications. pp. 25- 26 ,(2011) , 10.1145/2048147.2048160
A. S. Kossatchev, M. A. Posypkin, Survey of compiler testing methods Programming and Computer Software. ,vol. 31, pp. 10- 19 ,(2005) , 10.1007/S11086-005-0008-6
P.M. Maurer, Generating test data with enhanced context-free grammars IEEE Software. ,vol. 7, pp. 50- 55 ,(1990) , 10.1109/52.56422
Daniel Hoffman, Hong-Yi Wang, Mitch Chang, David Ly-Gagnon, Lewis Sobotkiewicz, Paul Strooper, Two case studies in grammar-based test generation Journal of Systems and Software. ,vol. 83, pp. 2369- 2378 ,(2010) , 10.1016/J.JSS.2010.07.048
Colin J. Burgess, The Automated Generation of Test Cases for Compilers Software Testing, Verification & Reliability. ,vol. 4, pp. 81- 99 ,(1994) , 10.1002/STVR.4370040204