Caracterización del proceso de verificación y validación de la ingeniería de software y su aplicación en la gestión de requisitos, diseñando una solución en entorno de software libre

Vista sencilla de ítem
dc.contributor.advisorArenas Seleey, Danielspa
dc.contributor.authorGarcía Ramírez, Fabiospa
dc.contributor.authorPuello Marrugo, Pliniospa
dc.contributor.cvlacArenas Seleey, Daniel [0000068829]*
dc.contributor.googlescholarArenas Seleey, Daniel [osfVKVoAAAAJ&hl=es]*
dc.contributor.linkedinArenas Seleey, Daniel [daniel-arenas-seleey-25aa56138]
dc.contributor.orcidArenas Seleey, Daniel [0000-0003-3697-3835]
dc.contributor.researchgateArenas Seleey, Daniel [Daniel-Arenas-Seleey]*
dc.contributor.researchgroupGrupo de Investigación Tecnologías de Información - GTIspa
dc.contributor.researchgroupGrupo de Investigaciones Clínicasspa
dc.coverageBucaramanga (Colombia)spa
dc.coverage.campusUNAB Campus Bucaramangaspa
dc.date.accessioned2020-06-26T21:34:49Z
dc.date.available2020-06-26T21:34:49Z
dc.date.issued2009-02-19
dc.degree.nameMagíster en Software Librespa
dc.description.abstractLa investigación desarrollada fue enfocada hacia el proceso de Verificación y Validación (V&V) en la Ingeniería de Software, desde el punto de vista de la Ingeniería de Requisitos o Requerimientos y su gestión mediante una herramienta de software libre. Para su realización, se exploró el estado del arte del proceso de V&V, de la Ingeniería de Requisitos, de Herramientas de Verificación y Validación, Herramientas de Gestión de Requisitos y Modelos de evaluación aplicados al tema de V&V. El enfoque seleccionado para la implementación del proceso de Verificación y Validación fue el análisis estático, mientras que para la gestión de los requerimientos, se utilizó la propuesta de la empresa Borland, con las cuales se construyo un modelo propio, el cual se implementó en la herramienta GERESOFT. Con la solución de software libre aportada se obtuvo una manera de organizar y planear los procesos, actividades y tareas de forma jerarquizada y coherente con el dominio de verificación y validación de la Gestión de Requisitos, utilizando un modelo organizativo para V&V pero fundamentado en el Framework de la IEEE, con el cual se puede garantizar una calidad y conformidad de los requisitos evaluados. Adicionalmente, la flexibilidad de GERESOFT, permite su parametrización y adaptación a cualquier proyecto de software, independientemente de la estrategia de desarrollo utilizada. Para trabajos futuros, se recomienda continuar explorando el proceso de V&V desde las otras fases de la Ingeniería de Software. Con relación a GERESOFT, la herramienta puede seguir siendo mejorada, implementándole el soporte para otros enfoques del proceso de V&V, utilizando otras técnicas de V&V, entre otros aspectos a considerar.spa
dc.description.abstractenglishThe research carried out was focused on the Verification and Validation (V&V) process in Software Engineering, from the point of view of Requirements or Requirements Engineering and its management through a free software tool. For its realization, the state of the art of the V&V process, Requirements Engineering, Verification and Validation Tools, Requirements Management Tools and evaluation models applied to the subject of V&V were explored. The approach selected for the implementation of the Verification and Validation process was the static analysis, while for the management of the requirements, the proposal of the Borland company was used, with which an own model was built, which was implemented in the GERESOFT tool. With the free software solution provided, a way was obtained to organize and plan the processes, activities and tasks in a hierarchical and coherent way with the verification and validation domain of Requirements Management, using an organizational model for V&V but based on the Framework of the IEEE, with which a quality and conformity of the evaluated requirements can be guaranteed. Additionally, the flexibility of GERESOFT allows it to be parameterized and adapted to any software project, regardless of the development strategy used. For future work, it is recommended to continue exploring the V&V process from the other phases of Software Engineering. With regard to GERESOFT, the tool can continue to be improved, implementing support for other approaches to the V&V process, using other V&V techniques, among other aspects to consider.eng
dc.description.degreelevelMaestríaspa
dc.description.learningmodalityModalidad Presencialspa
dc.description.sponsorshipUniversitat Oberta de Catalunya UOCspa
dc.description.tableofcontentsRESUMEN 22 1. INTRODUCCIÓN 23 1.1 ANTECEDENTES 23 1.2 DEFINICION DEL PROBLEMA 23 1.3 JUSTIFICACION 25 1.4 OBJETIVOS 27 1.4.1 Objetivo General 27 1.4.2 Objetivos Específicos 27 2. MARCO TEORICO 28 2.1 INVESTIGACIONES PREVIAS 28 2.1.1 Ingeniería de Requisitos en Aplicaciones para la Web: Un Estudio Comparativo 28 2.1.2 Uma ferramenta Web colaborativa para apolar a engenharia de requisitos em software livre 28 2.1.3 Un proceso para XR basado en Reglas de Negocio 28 2.1.4 Metodología DoRCU para la Ingeniería de 29 Requerimientos 2.1.5 Definición de Perfiles en Herramientas de Gestión de Requisitos 29 2.1.6 Un Entorno Metodológico de Ingeniería de Requisitos para Sistemas de Información 29 2.1.7 Techniques to Validate Requirements in NDT 30 2.2 MARCO REFERENCIAL 30 2.2.1 Verificacion y Validacion 30 2.2.2 Ingeniería de Requisitos 31 2.2.3 Gestión de Requerimientos 39 2.2.4 Estándar IEEE 1012-1986/1992/2004 40 2.2.5 Actividades de Verificación en el Ciclo de Vida 41 2.2.6 Enfoques de Verificación y Validación 42 2.2.7 Técnicas de Verificación(Revisiones y Auditorias de Software) 46 2.2.8 Otras técnicas de verificación 47 2.2.9 Verificación y Validación Independiente 48 2.2.10 Planeación de la Verificación y Validación 50 2.2.11 Modelos de Verificación y Validación en la Ingeniería de Software 51 2.2.12 Sintesis del Proceso de Verificación y Validación de la Ingeniería de Software 55 3. MÉTODO DE INVESTIGACION 57 3.1 ENFOQUE METODOLOGICO 57 3.2 TIPO DE INVESTIGACION 57 3.3 VARIABLES 57 3.4 PROCEDIMIENTO DE INVESTIGACIÓN 58 3.5 HERRAMIENTAS TECNOLOGICAS 59 3.5.1 Arquitectura 59 3.5.2 Tecnologías Cliente 59 3.5.3 Tecnologías Servidor 60 4. RESULTADOS DE LA INVESTIGACION 61 4.1 ESTUDIO DE HERRAMIENTAS 61 4.1.1 Herramientas de Gestión de Requisitos 61 4.1.2 Herramientas de Verificación y Validación 70 4.2 MODELO DE EVALUACION 77 4.2.1 Elicitacion 80 4.2.2 Especificación 81 4.2.3 Análisis 81 4.2.4 Validación 81 4.2.5 Gestión 81 4.3 EVALUACION DE HERRAMIENTAS IDENTIFICADAS CON EL MODELO PARA LA GESTION DE REQUISITOS 82 4.4 LINEAMIENTOS PARA EL DESARROLLO DEL PROTOTIPO 84 4.4.1 Base Conceptual para el Desarrollo del Prototipo 84 4.4.2 Esquema para la implementación del prototipo basado en Framework de la IEEE 86 4.4.3 Adopción del Nombre y Logo de la Aplicación. 89 4.5 METODOLOGIA DE DESARROLLO 89 4.5.1 Identificación de Requisitos 91 4.5.2 Análisis y Diseño de la Aplicación 94 4.5.2.1 Identificación y Diagramas de Casos de Uso. 94 4.5.2.2 Descripción de los Casos de Uso. 98 4.5.2.3 Diagrama de Clases. 98 4.5.2.4 Diagramas de Secuencia. 98 4.5.2.5 Diagrama de Componentes. 98 4.5.2.6 Diagrama de Paquetes. 98 4.5.2.7 Diagrama de Despliegue. 99 4.5.3 Modelo de Tablas en GERESOFT 99 4.5.3.1 Descripción de las Tablas en la Base de Datos 99 4.5.3.2 Scripts de la Base de Datos 99 4.5.4 Arquitectura de la Aplicación 99 4.5.5 Interfaces de la Aplicación. 100 4.6 PRUEBA GENERAL DE GERESOFT 105 4.7 PRUEBA APLICADA A UN PROYECTO 139 5. CONCLUSIONES 157 BIBLIOGRAFÍA 159 ANEXOS 163spa
dc.format.mimetypeapplication/pdfspa
dc.identifier.instnameinstname:Universidad Autónoma de Bucaramanga - UNABspa
dc.identifier.reponamereponame:Repositorio Institucional UNABspa
dc.identifier.urihttp://hdl.handle.net/20.500.12749/3442
dc.language.isospaspa
dc.publisher.facultyFacultad Ingenieríaspa
dc.publisher.grantorUniversidad Autónoma de Bucaramanga UNABspa
dc.publisher.programMaestría en Software Librespa
dc.relation.referencesGarcía Ramírez, Fabio (2009). Caracterización del proceso de verificación y validación de la ingeniería de software y su aplicación en la gestión de requisitos, diseñando una solución en entorno de software libre. Bucaramanga (Colombia) : Universidad Autónoma de Bucaramanga UNAB, Universitat Oberta de Catalunya UOCspa
dc.relation.references• BALL, Thomas. The Verified Software Challenge: A call for a Holistic Approach to Reliability. Microsoft Research. http://research.microsoft.com/~tball/abstracts.aspxspa
dc.relation.references• Chair of Software Engineering. ETH Zurich. Department of Computer Science. http://se.inf.ethz.ch/spa
dc.relation.references• COLLOFELLO, J. Introduction to Software Verification and Validation. Software Engineering Institute, Carnegie Mellon. http://www.sei.cmu.edu/publications/documents/cms/cm.013.htmlspa
dc.relation.references• DÚRAN, Amador y Bernárdez, Beatriz y Ruiz, Antonio y Toro Miguel. An XML-based Approach for the Automatic Verification of Software Requirements Specifications. http://citeseer.ist.psu.edu/cache/papers/cs/25972/http:zSzzSzwww.inf.puc-rio.brzSz~wer01zSzCal-Req-3.pdf/an-xml-based-approach.pdfspa
dc.relation.references• FISHER, Marcus S. Software Verification and Validation: An Engineering and Scientific Approach. Ed. Springer, 2007, Págs: 85 - 144.spa
dc.relation.references• Fábrica de Sofware. http://www.fabricadesoftware.clspa
dc.relation.references• Formal Methods. http://vl.fmnet.info/spa
dc.relation.references• Free Software Tools for formal verification of computer programs. http://gulliver.eu.org/wiki/FreeSoftwareForFormalVerificationspa
dc.relation.references• Formal Methods in Software Engineering. http://www.cs.queensu.ca/~cisc422/2006f/tools.htmlspa
dc.relation.references• Formal Software Development Methods. http://fsl.cs.uiuc.edu/index.php/CS477/ECE478_-_Formal_Software_Development_Methods_(Spring_2007)spa
dc.relation.references• GALEOTTI, Juan P. y Frías, Marcelo. DynAlloy as a Formal Method for the Análisis of Java Programs. http://publicaciones.dc.uba.ar/Publications/2006/GF06/Galeotti-Frias-SET06.pdfspa
dc.relation.references• Guide to the SWEBOK. http://www.swebok.org/ SEPT(Software Engineering Process Technology). http://www.12207.com/test1.htmspa
dc.relation.references• GAYTAN Gallardo, Elvira y Rivero Gutierrez Tonatiuh y Palacios Hernández, Javier. El Plan de Garantía de Calidad de Software. http://omega2.inin.mx/publicaciones/documentospdf/39%20PLAN%20DE%20GARANTIA.pdfspa
dc.relation.references• GARCES Calvelo, Alejandro y Espinosa Soteras, Pilar y Quinzán Suárez, Ianisse. Un Sistema para la Verificación de Programas. http://www.inf.udec.cl/revista/ediciones/edicion11/SistemaVerificacionProgramas.pdfspa
dc.relation.references• Identificación de errores de software usando diagnosis basada en modelo y satisfacción de restricciones. Rafael Ceballos, Rafael Martínez Gasca. Universidad de Sevilla(España). Disponible en: http://in2test.lsi.uniovi.es/pris2006/#programaspa
dc.relation.references• IEEE. SWEBOK: Guide to the Software Engineering Body of Knowledge. 2004spa
dc.relation.references• IEEE. 1012: IEEE Standard for Software Verification and Validation. 2005spa
dc.relation.references• IEEE Computer Society. http://www.computer.org/portal/site/ieeecs/index.jspspa
dc.relation.references• International Workshop on Sofware Verification and Validation. http://www.easychair.org/FLoC-06/SVV.htmlspa
dc.relation.references• IFIP Working Conference on Software Engineering Techniques – SET 2006. http://www.ia.pw.edu.pl/set06/Program.htmlspa
dc.relation.references• Laboratory for Quality Software. http://www.laquso.com/spa
dc.relation.references• MEDEL, Ricardo. Un método relacional para la verificación de Software. http://209.85.207.104/search?q=cache:R0sjInxhQtsJ:https://guinness.cs.stevens-tech.edu/~rmedel/tesisMaster/tesis.ps+%22Verificacion%22%2B%22requerimientos%22%2B%22software%22&hl=en&ct=clnk&cd=4spa
dc.relation.references• MORALES, Luisa. Verificación y Validación: nueva propuesta para la mejora de la calidad del software. Junio 13 de 2005. http://www.baquia.com/noticias.php?id=9778spa
dc.relation.references• OKTABA, Hanna. Tendencias Internacionales en Procesos de Software. http://www.sei.cmu.edu/iprc/oktaba.pdfspa
dc.relation.references• PIATTINI, Mario G y Calvo M., José y Cervera, Joaquín y Fernández, Luis. Análisis y Diseño de Aplicaciones Informáticas de Gestión, una perspectiva de Ingeniería del Software, Ed. AlfaOmega & Ra-ma,2004, Págs.: 521-550spa
dc.relation.references• Requirements Verification, Analysis, and Testing. http://people.engr.ncsu.edu/txie/recvat/index.htmlspa
dc.relation.referencesRAEDTS, Ivo y Petkovic, Marija y Serebrenik, Alexander y Somers, Lou y Boote, Maarten. A Software Framework for Automated Verification. http://www.laquso.com/knowledge/publications.phpspa
dc.relation.references• SOMMERVILLE, Ian. Ingeniería del Software, Ed. Pearson Education, 7ª Edición, 2005. Págs.: 469 - 486spa
dc.relation.references• Scientific Literature Digital Library. http://citeseer.ist.psu.edu/csspa
dc.relation.references• Software Engineering Institute: http://www.sei.cmu.edu/spa
dc.relation.references• SALAZAR BERMUDEZ, Gabriela y Jenkins Coronas, Marcelo. Diseño de un estándar de verificación y validación para asegurar la calidad del software. http://www.accessmylibrary.com/coms2/summary_0286-32286280_ITMspa
dc.relation.references• The Internacional Conference on Computer Arded Verification. http://www.cav-conference.org/spa
dc.relation.references• Top 10 de problemas relativos a la mejora del proceso de verificación y validación en organizaciones intensivas en software. Javier García Guzmán, Antonio de Amescua y Manuel Velasco. Universidad Carlos III de Madrid. Disponible en: http://in2test.lsi.uniovi.es/pris2006/#programaspa
dc.relation.references• UNHELKAR, Bhuvan. Verification and Validation for Quality of UML 2.0. Ed. Wiley Intersciencie Publication. 2005spa
dc.relation.references• Verification Workshop. http://www.easychair.org/FLoC-06/VERIFY.htmlspa
dc.relation.references• Verificación Formal de Software. http://ing.wsoto.googlepages.com/lisinirefs2spa
dc.relation.references• Verificación de Software. http://www.fceia.unr.edu.ar/ingsoft/ . Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosariospa
dc.relation.references• Workshop on Verification and Debugging. http://www.easychair.org/FLoC-06/V&D.htmlspa
dc.relation.references• Workshop on Verified Software: Theory, Tools, and Experiments. http://www.easychair.org/FLoC-06/VSTTE.htmlspa
dc.rights.accessrightsinfo:eu-repo/semantics/openAccessspa
dc.rights.accessrightshttp://purl.org/coar/access_right/c_abf2spa
dc.rights.creativecommonsAtribución-NoComercial-SinDerivadas 2.5 Colombia*
dc.rights.localAbierto (Texto Completo)spa
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/2.5/co/*
dc.subject.keywordsVerification of computer programseng
dc.subject.keywordsValidation of computer programseng
dc.subject.keywordsSoftware engineeringeng
dc.subject.keywordsSystems Engineeringeng
dc.subject.keywordsInvestigationseng
dc.subject.keywordsAnalysiseng
dc.subject.lembVerificación de programas para computadorspa
dc.subject.lembValidación de programas para computadorspa
dc.subject.lembIngeniería de softwarespa
dc.subject.lembIngeniería de sistemasspa
dc.subject.lembInvestigacionesspa
dc.subject.lembAnálisisspa
dc.subject.proposalIngeniería de software
dc.subject.proposalHerramientas de verificación y validación
dc.subject.proposalGeresoft
dc.titleCaracterización del proceso de verificación y validación de la ingeniería de software y su aplicación en la gestión de requisitos, diseñando una solución en entorno de software librespa
dc.title.translatedCharacterization of the verification and validation process of software engineering and its application in requirements management, designing a solution in a free software environmenteng
dc.type.coarhttp://purl.org/coar/resource_type/c_bdcc
dc.type.driverinfo:eu-repo/semantics/masterThesis
dc.type.hasversioninfo:eu-repo/semantics/acceptedVersion
dc.type.localTesisspa
dc.type.redcolhttp://purl.org/redcol/resource_type/TM
dc.type.redcolhttp://purl.org/redcol/resource_type/TM

Archivos

Bloque original

Mostrando 1 - 3 de 3
Miniatura
Nombre:
2009_Tesis_Fabio_Garcia_Ramirez.pdf
Tamaño:
8.81 MB
Formato:
Adobe Portable Document Format
Descripción:
Tesis
Descargar
Miniatura
Nombre:
2009_Manual_Fabio_Garcia_Ramirez.zip
Tamaño:
10.46 MB
Formato:
Unknown data format
Descripción:
Manual usuario
Descargar
Miniatura
Nombre:
2009_Codigo_Fuente_Fabio_Garcia_Ramirez.zip
Tamaño:
1.21 MB
Formato:
Unknown data format
Descripción:
Código fuente
Descargar

Colecciones

Maestría en Software Libre
Grupo de Investigaciones Clínicas
Grupo de Investigación Tecnologías de Información - GTI