Show simple item record

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

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.identifier.otherCD-ROM 7657 2014
dc.identifier.urihttp://hdl.handle.net/11407/6904
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.format.extentp. 1-15
dc.format.mediumElectrónicospa
dc.format.mimetypeapplication/pdf
dc.language.isospa
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.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.rights.accessrightsinfo:eurepo/semantics/openAccess
dc.publisher.programEspecialización en Ingeniería del Softwarespa
dc.subject.lembIngeniería de software - Modelosspa
dc.subject.lembMedición de softwarespa
dc.subject.lembDesarrollo de programas para computadorspa
dc.relation.citationstartpage1
dc.relation.citationendpage15
dc.audienceComunidad Universidad de Medellínspa
dc.publisher.facultyFacultad de Ingenieríasspa
dc.publisher.placeMedellínspa
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.creativecommonsAttribution-NonCommercial-ShareAlike 4.0 International*
dc.type.versioninfo:eu-repo/semantics/publishedVersion
dc.type.versioninfo:eu-repo/semantics/acceptedVersion
dc.type.localTrabajo de grado - Especializaciónspa
dc.description.degreenameEspecialista en Ingeniería del Softwarespa
dc.description.degreelevelEspecializaciónspa
dc.publisher.grantorUniversidad de Medellínspa


Files in this item

Thumbnail
Name:
TG_EIS_591.pdf
Size:
80.47Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-ShareAlike 4.0 International
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-ShareAlike 4.0 International