Testing models and model transformations using classifying terms
| Autor: | Frank Hilken, Antonio Vallecillo, Martin Gogolla, Loli Burgueño |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
Class (set theory)
Theoretical computer science Computer science 020207 software engineering 02 engineering and technology Construct (python library) Object (computer science) Set (abstract data type) Test case Transformation (function) 020204 information systems Modeling and Simulation Validator 0202 electrical engineering electronic engineering information engineering Algorithm Equivalence partitioning Software |
| Zdroj: | Software & Systems Modeling. 17:885-912 |
| ISSN: | 1619-1374 1619-1366 |
| DOI: | 10.1007/s10270-016-0568-3 |
| Popis: | This paper proposes the use of equivalence partitioning techniques for testing models and model transformations. In particular, we introduce the concept of classifying terms, which are general OCL terms on a class model enriched with OCL constraints. Classifying terms permit defining equivalence classes, in particular for partitioning the source and target model spaces of the transformation, defining for each class a set of equivalent models with regard to the transformation. Using these classes, a model validator tool is able to automatically construct object models for each class, which constitute relevant test cases for the transformation. We show how this approach of guiding the construction of test cases in an orderly, systematic and efficient manner can be effectively used in combination with Tracts for testing both directional and bidirectional model transformations and for analyzing their behavior. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|