Listar por autor "Gogolla, Martin"
Mostrando ítems 1-5 de 5
-
Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams
Muñoz Ariza, Paula; Burgueño-Caballero, Lola
; Vallecillo-Moreno, Antonio Jesus; 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 Jesus; 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 Jesus; 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 Jesus (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 ...