Listar por autor "Gogolla, Martin"
Mostrando ítems 1-6 de 6
-
Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams
Muñoz Ariza, Paula; Burgueño-Caballero, Lola
; Vallecillo-Moreno, Antonio Jesús; Gogolla, Martin (2019-09-20)
This paper presents the extension of a UML and OCL tool that enables the textual specification of UML sequence diagrams, and the automated generation of all valid behaviors according to these sequence diagrams. Message ... -
Employing Classifying Terms for Testing Model Transformations
Gogolla, Martin; Vallecillo-Moreno, Antonio Jesús; Burgueño-Caballero, Lola; Hilken, Frank (2015-07-29)
This contribution proposes a new technique for developing test cases for UML and OCL models. The technique is based on an approach that automatically constructs object models for class models enriched by OCL constraints. ... -
Generating Effective Test Suites for Model Transformations Using Classifying Terms
Vallecillo-Moreno, Antonio Jesús; Hilken, Frank; Burgueño-Caballero, Lola; Gogolla, Martin (2016-09-27)
Generating sample models for testing a model transformation is no easy task. This paper explores the use of classifying terms and stratified sampling for developing richer test cases for model transformations. Classifying ... -
On Softening OCL Invariants
Gogolla, Martin; Vallecillo-Moreno, Antonio Jesús (Association Internationale pour les Technologies Objets (AITO), 2019-09-23)
Invariants play a crucial role in system development. This contribution focuses on invariants in systems with so-called occurrence uncertainty, where we are interested in deciding whether a certain population (a set of ... -
Teaching Model Views with UML and OCL
The specification of any non-trivial system is normally composed of a set of models. Each model describes a different view of the system, focuses on a particular set of concerns, and uses its own notation. For example, UML ... -
Testing models and model transformations using classifying terms.
Hilken, Frank; Gogolla, Martin; Burgueño-Caballero, Lola; Vallecillo-Moreno, Antonio Jesús (2016-11-09)
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 ...