Testeo de modelos orientados a líneas de producto

Gómez Martínez, María ElenaRequeno Jarabo, José IgnacioAlonso García, Rafael2024-09-042024-09-042024https://hdl.handle.net/20.500.14352/107918Trabajo de Fin de Grado en Ingeniería del Software, Facultad de Informática UCM, Departamento de Sistemas Informáticos y Computación, Curso 2023/2024. Se descargará el proyecto a través de su repositorio en GitHub, con el comando git clone https://github.com/TGF-2023-24/test-pnplA partir de un metamodelo, se pretende formalizar y analizar un modelo recibido, con el fin de validarlo con respecto a dicho metamodelo y asegurarnos de su correcto funcionamiento.Given a metamodel from a different project, the goal is to formalize and analyze another model received. That way we can validate the previous metamodel and make sure that it works as intended.spaAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/Testeo de modelos orientados a líneas de productoGiven a metamodel from a different projectbachelor thesishttps://github.com/TGF-2023-24/test-pnplopen access004(043.3)Ingeniería orientada a modelosPruebasEMFMetamodeloLíneas de productoRedes de PetriModelTestingMetamodelingProduct linesInformática (Informática)33 Ciencias Tecnológicas