Automatic Model Generation Strategies for Model Transformation Testing

Sen, Sagar; Baudry, Benoît; Mottu, Jean-Marie

doi:10.1007/978-3-642-02408-5_11

Cited by 76 publications

(85 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Current approaches either focus on producing input test models ensuring a certain coverage of the input metamodel [14,42], or do not consider specification-based testing. Hence, our approach is directed to test the intention of the transformation.…”

Section: Send Offprint Requests Tomentioning

confidence: 99%

Specification-driven model transformation testing

Guerra

Soeken

2013

Softw Syst Model

View full text Add to dashboard Cite

Testing model transformations poses several challenges, among them the automatic generation of appropriate input test models and the specification of oracle functions. Most approaches to the generation of input models ensure a certain coverage of the source meta-model or the transformation implementation code, whereas oracle functions are frequently defined using query or graph languages. However, these two tasks are usually performed independently regardless of their common purpose, and sometimes there is a gap between the properties exhibited by the generated input models and those considered by the transformations.Recently, we proposed a formal specification language for the declarative formulation of transformation properties (by means of invariants, pre-and postconditions) from which we generated partial oracle functions used for transformation testing. Here, we extend the usage of our specification language for the automated generation of input test models by SAT solving. The testing process becomes more intentional because the generated models ensure a certain coverage of the transformation requirements. Moreover, we use the same specification to consistently derive both the input test models and the oracle functions. A set of experiments is presented, aimed at measuring the efficacy of our technique.

show abstract

Section: Send Offprint Requests Tomentioning

confidence: 99%

Specification-driven model transformation testing

Guerra

Soeken

2013

Softw Syst Model

View full text Add to dashboard Cite

show abstract

“…they support black-box testing). For instance, in [7,21], the authors perform automatic generation of input test models based on the input meta-model and some coverage criteria (e.g. partitioning of attribute values and number of classes).…”

Section: State Of the Artmentioning

confidence: 99%

“…Other works focus on the automatic generation of input models [7,21], but without considering transformation properties. Finally, the works proposing contracts for specifying transformations do not use the contracts for input test generation.…”

Section: State Of the Artmentioning

confidence: 99%

See 1 more Smart Citation

Specification-Driven Test Generation for Model Transformations

Guerra

2012

Theory and Practice of Model Transformations

View full text Add to dashboard Cite

Esta es la versión de autor de la comunicación de congreso publicada en: This is an author produced version of a paper published in: El acceso a la versión del editor puede requerir la suscripción del recurso Access to the published version may require subscription Specification-driven test generation for model transformationsEsther GuerraUniversidad Autónoma de Madrid (Spain) Esther.Guerra@uam.es Abstract. Testing model transformations poses several challenges, among them the automatic generation of appropriate input test models and the specification of oracle functions. Most approaches to the generation of input models ensure a certain level of source meta-model coverage, whereas the oracle functions are frequently defined using query or graph languages. Both tasks are usually performed independently regardless their common purpose, and sometimes there is a gap between the properties exhibited by the generated input models and those demanded to the transformations (as given by the oracles).Recently, we proposed a formal specification language for the declarative formulation of transformation properties (invariants, pre-and postconditions) from which we generated partial oracle functions that facilitate testing of the transformations. Here we extend the usage of our specification language for the automated generation of input test models by constraint solving. The testing process becomes more intentional because the generated models ensure a certain coverage of the interesting properties of the transformation. Moreover, we use the same specification to consistently derive both the input test models and the oracle functions.

show abstract

“…Currently, the majority of approaches facing this challenge are based on black-box techniques [11,9,10,16,21,22,3,6,20,8,13]. As far as we know only two white-box approaches for transformation testing have been proposed [9,15].…”

Section: Related Workmentioning

confidence: 99%

ATLTest: A White-Box Test Generation Approach for ATL Transformations

González

Cabot

2012

Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

Abstract. MDE is being applied to the development of increasingly complex systems that require larger model transformations. Given that the specification of such transformations is an error-prone task, techniques to guarantee their quality must be provided. Testing is a wellknown technique for finding errors in programs. In this sense, adoption of testing techniques in the model transformation domain would be helpful to improve their quality. So far, testing of model transformations has focused on black-box testing techniques. Instead, in this paper we provide a white-box test model generation approach for ATL model transformations.

show abstract

Automatic Model Generation Strategies for Model Transformation Testing

Cited by 76 publications

References 21 publications

Specification-driven model transformation testing

Specification-driven model transformation testing

Specification-Driven Test Generation for Model Transformations

ATLTest: A White-Box Test Generation Approach for ATL Transformations

Contact Info

Product

Resources

About