ListarITIS - Artículos por tema "Soporte lógico de sistemas"
Mostrando ítems 1-3 de 3
-
FLEXTORY: Flexible Software Factory of IoT Data Consumers.
López Gómez, Rafael; Panizo-Jaime, Laura
; Gallardo-Melgarejo, María del Mar (MDPI, 2024-04-16)
The success of the Internet of Things (IoT) has driven the development, among others, of many different software architectures for producing, processing, and analyzing heterogeneous data. In many cases, IoT applications ... -
Model Transformation Testing and Debugging: A Survey
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 ... -
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 ...