Estado del arte para las pruebas de software aplicadas en la transformación de modelos

Vista sencilla de ítem
dc.audienceComunidad Universidad de Medellínspa
dc.contributor.advisorHincapié Londoño, Jesús Andrés
dc.contributor.authorRuíz Echavarría, Johan Alexis
dc.contributor.authorVásquez Hernández, Flor Katerine
dc.coverage.spatialLat: 06 15 00 N  degrees minutes  Lat: 6.2500  decimal degreesLong: 075 36 00 W  degrees minutes  Long: -75.6000  decimal degrees
dc.date.accessioned2022-04-28T16:32:45Z
dc.date.available2022-04-28T16:32:45Z
dc.date.issued2014
dc.descriptionA pesar de que el paradigma del desarrollo dirigido por modelos no es un concepto relativamente nuevo y que la implementación de la arquitectura dirigida por modelos no ha sido masificada ampliamente, en contraste la comunidad relacionada con la industria del desarrollo del software ha mostrado un creciente interés por estos nuevos paradigmas, acreditando el aporte que este modelo brinda en el mejoramiento de la calidad del software y la agilidad en la producción y mantenimiento de éste. Sin embargo, se ha adelantado muy poco con respecto al estudio de las técnicas de verificación y validación de las transformaciones bidireccionales que deben darse entre los modelos y código fuente, mediante la aplicación de los conceptos de MDA, MDD, los lenguajes restricciones (OCL) y lenguajes de transformación de Modelos. Dado lo anterior, este artículo tiene como objetivo realizar una revisión al estado actual en el desarrollo de técnicas de aseguramiento de la calidad de las transformaciones entre modelo y código, es decir, los métodos propuestos para la revisión de la correcta traducción de los modelos a través de los lenguajes de transformación, y el código fuente obtenidos.spa
dc.description.degreelevelEspecializaciónspa
dc.description.degreenameEspecialista en Ingeniería del Softwarespa
dc.format.extentp. 1-15spa
dc.format.mediumElectrónicospa
dc.format.mimetypeapplication/pdf
dc.identifier.otherCD-ROM 7657 2014
dc.identifier.urihttp://hdl.handle.net/11407/6904
dc.language.isospa
dc.publisher.facultyFacultad de Ingenieríasspa
dc.publisher.grantorUniversidad de Medellínspa
dc.publisher.placeMedellínspa
dc.publisher.programEspecialización en Ingeniería del Softwarespa
dc.relation.citationendpage15
dc.relation.citationstartpage1
dc.relation.referencesC.A Fernandez, M. Ambrosio, G.Andrade, G.Cruz, M.J. Román,H. Sánchez.(2011). Métodos formales aplicados en la industria del software. Temas de Ciencia y Tecnología. 15 (13), pp.3-12spa
dc.relation.referencesC. Pons, D. Garcia, (e.g. 2008). A Lightweight Approach for the Semantic Validation of Model Refinements. CONICET (Consejo Nacional de Investigaciones Científicas y Técnicas) Buenos Aires, Argentina. (), pp.2-9spa
dc.relation.referencesE. Cariou, N. Belloir, F. Barbier, N. Djemam, (2009). OCL contracts for the verification of model transformations. Universit´e de Pau et des Pays de l’Adour / Liuppa,Pau Cedex France. (e.g. 2), pp.5-8spa
dc.relation.referencesISTQB.ORG (e.g. 2011). Foundation Level syllabus. [ONLINE] Recuperado de: http://www.istqb.org/downloads/finish/16/15.html. [último acceso 29 Noviembre 2013].spa
dc.relation.referencesJ. M. Kuster, M Abd-El-Razik. (2006). Validation of Model Transformations – First Experiences using a White Box Approach. Models in software Engineering, 9-12.spa
dc.relation.referencesM. Asztalos, L. Lengyel, and T. Levendovszky. , (2009). A formalism for describing modeling transformations for verification. In Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, ACM. (), pp.spa
dc.relation.referencesOMG.ORG. (2012). OMG Object Constraint Language (OCL) v 2.3.1. [ONLINE] Recuperado de: http://www.omg.org/spec/OCL/2.3.1/PDF/. [último acceso 29 noviembre 2014].spa
dc.rights.accessrightsinfo:eurepo/semantics/openAccess
dc.rights.creativecommonsAttribution-NonCommercial-ShareAlike 4.0 International*
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0*
dc.subjectV&V en transformación de modelosspa
dc.subjectTransformación de modelosspa
dc.subjectTesting en transformación de modelosspa
dc.subjectLenguajes de transformación de modelosspa
dc.subjectMétodos formalesspa
dc.subject.lembIngeniería de software - Modelosspa
dc.subject.lembMedición de softwarespa
dc.subject.lembDesarrollo de programas para computadorspa
dc.titleEstado del arte para las pruebas de software aplicadas en la transformación de modelosspa
dc.typeinfo:eu-repo/semantics/bachelorThesis
dc.typeinfo:eu-repo/semantics/article
dc.type.localTrabajo de grado - Especializaciónspa
dc.type.versioninfo:eu-repo/semantics/publishedVersion
dc.type.versioninfo:eu-repo/semantics/acceptedVersion

Archivos

Bloque original

Mostrando 1 - 1 de 1
Miniatura
Nombre:
TG_EIS_591.pdf
Tamaño:
80.48 KB
Formato:
Adobe Portable Document Format
Descargar

Colecciones

Trabajos de grado