Testing Transformation Models Using Classifying Terms

Burgueño, Loli; Hilken, Frank; Vallecillo, Antonio; Gogolla, Martin

doi:10.1007/978-3-319-61473-1_5

Cited by 3 publications

(5 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Fleurey et al [1,24] have proposed a partitioning technique based on the datatype of class attributes and the association end multiplicity within a UML class diagram representing the metamodel. Several other partitioning techniques for generating test models that conform to a metamodel as introduced in [2,21,4,23,5,22,6,39,9]. One of the main limitations of the metamodel-based partitioning approach is that the technique often generates a large number of test models, and generated test models tend to correspond to just only a subfragment of the source metamodel instead of the whole metamodel.…”

Section: Related Workmentioning

confidence: 99%

“…The partitioning technique, as shown in [7,10,8,9], can also be employed to specify requirements of model transformations. Following the research line, the works in [9,39,8] propose to derive partitioning conditions from a contract-based specification of the transformation. The specification of transformations within these approaches often includes preconditions and invariants as contracts on the input data domain of the transformation (i.e., corresponding to restrictions on source models).…”

Section: Related Workmentioning

confidence: 99%

“…A measurement technique is defined in terms of class coverage, attribute coverage, and association coverage. The metamodel-coverage or effective metamodel-coverage are also introduced in several other works [2,21,5,22,6,9,39]. The notion of transformation specification coverage is introduced in [7,8].…”

Section: Related Workmentioning

confidence: 99%

“…Boolean classifying terms (CTs) [39] are used to represent equivalence partitions for test models as follows. For each direction of an association between two classes, the name of the first class, the role name of the second class, and the multiplicity of the association ending at the second class are parameterized by variables f Class, dClassRole and sizeN umber, respectively.…”

Section: Metamodel Coveragementioning

confidence: 99%

See 3 more Smart Citations

On integrating multiple restriction domains to automatically generate test cases of model transformations

Nguyen

Dang

2023

IJCAI

View full text Add to dashboard Cite

Testing model transformations poses several challenges, one of which is how to automatically generate effective test suites. A promising approach for this is to employ equivalence partitioning, a well-known technique for software testing. Specifically, in order to generate effective test suites, current works in literature often focus on exploiting either the structural aspects of models or transformation contracts for partition analysis. However, for the aim, they focus on only a single restriction source such as metamodels, contracts of the transformation, and domain-expert knowledge. To increase the effectiveness of generated test suites, partitioning techniques should be performed on a combination of various restriction sources. This paper introduces a method to generate test models on such a multi-domain of restrictions. The method also allows the tester to flexibly select and combine constraints to create a unified restriction for different strategies and objectives in model transformation testing. We developed a support tool based on the UMLbased Specification Environment (USE) and performed experiments on several transformations to point out the effectiveness of our method.Povzetek: Opisana je metoda preverjanja programske kode na osnovi multi-modalnih omejitev posameznih delov.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Metamodel Coveragementioning

confidence: 99%

See 2 more Smart Citations

On integrating multiple restriction domains to automatically generate test cases of model transformations

Nguyen

Dang

2023

IJCAI

View full text Add to dashboard Cite

show abstract

“…They propose the USE tool [201] to check the conformance of the tracts. This approach and tool are used as oracle in some other works [22,61,134], where contracts need to be deined manually. Finally, the work by Wimmer and Burgueño [134] proposes to test M2T/T2M transformations by representing text within a generic metamodel.…”

Section: Test Oraclementioning

confidence: 99%

Model Transformation Testing and Debugging: A Survey

et al. 2022

View full text Add to dashboard Cite

Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a consequence, the correctness of software systems built with MDE approaches relies mainly on the correctness of model transformations, and thus, detecting and locating bugs in model transformations have been popular research topics in recent years. This surge of work has led to a vast literature on model transformation testing and debugging, which makes it challenging to gain a comprehensive view of the current state of the art. This is an obstacle for newcomers to this topic and MDE practitioners to apply these approaches. This paper presents a survey on testing and debugging model transformations based on the analysis of 140 papers on the topics. We explore the trends, advances, and evolution over the years, bringing together previously disparate streams of work and providing a comprehensive view of these thriving areas. In addition, we present a conceptual framework to understand and categorise the different proposals. Finally, we identify several open research challenges and propose specific action points for the model transformation community.

show abstract

Metamodel of Transformations of Concepts to Support the Object-Relational Mapping

Ismailova

Kosikov²

2018

Procedia Computer Science

View full text Add to dashboard Cite

Testing Transformation Models Using Classifying Terms

Cited by 3 publications

References 13 publications

On integrating multiple restriction domains to automatically generate test cases of model transformations

On integrating multiple restriction domains to automatically generate test cases of model transformations

Model Transformation Testing and Debugging: A Survey

Metamodel of Transformations of Concepts to Support the Object-Relational Mapping

Contact Info

Product

Resources

About