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

La 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...

Full description

Autores:: García Ramírez, Fabio
Puello Marrugo, Plinio

Tipo de recurso:

Fecha de publicación:: 2009

Institución:: Universidad Autónoma de Bucaramanga - UNAB

Repositorio:: Repositorio UNAB

Idioma:: spa

id	UNAB2_6e30524fe2c98fd45cc8c19c49f5e54e
oai_identifier_str	oai:repository.unab.edu.co:20.500.12749/3442
network_acronym_str	UNAB2
network_name_str	Repositorio UNAB
repository_id_str
dc.title.spa.fl_str_mv	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
dc.title.translated.eng.fl_str_mv	Characterization of the verification and validation process of software engineering and its application in requirements management, designing a solution in a free software environment
title	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
spellingShingle	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 Verification of computer programs Validation of computer programs Software engineering Systems Engineering Investigations Analysis Verificación de programas para computador Validación de programas para computador Ingeniería de software Ingeniería de sistemas Investigaciones Análisis Ingeniería de software Herramientas de verificación y validación Geresoft
title_short	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
title_full	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
title_fullStr	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
title_full_unstemmed	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
title_sort	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
dc.creator.fl_str_mv	García Ramírez, Fabio Puello Marrugo, Plinio
dc.contributor.advisor.spa.fl_str_mv	Arenas Seleey, Daniel
dc.contributor.author.spa.fl_str_mv	García Ramírez, Fabio Puello Marrugo, Plinio
dc.contributor.cvlac.*.fl_str_mv	Arenas Seleey, Daniel [0000068829]
dc.contributor.googlescholar.*.fl_str_mv	Arenas Seleey, Daniel [osfVKVoAAAAJ&hl=es]
dc.contributor.orcid.none.fl_str_mv	Arenas Seleey, Daniel [0000-0003-3697-3835]
dc.contributor.researchgate.*.fl_str_mv	Arenas Seleey, Daniel [Daniel-Arenas-Seleey]
dc.contributor.researchgroup.spa.fl_str_mv	Grupo de Investigación Tecnologías de Información - GTI Grupo de Investigaciones Clínicas
dc.contributor.linkedin.none.fl_str_mv	Arenas Seleey, Daniel [daniel-arenas-seleey-25aa56138]
dc.subject.keywords.eng.fl_str_mv	Verification of computer programs Validation of computer programs Software engineering Systems Engineering Investigations Analysis
topic	Verification of computer programs Validation of computer programs Software engineering Systems Engineering Investigations Analysis Verificación de programas para computador Validación de programas para computador Ingeniería de software Ingeniería de sistemas Investigaciones Análisis Ingeniería de software Herramientas de verificación y validación Geresoft
dc.subject.lemb.spa.fl_str_mv	Verificación de programas para computador Validación de programas para computador Ingeniería de software Ingeniería de sistemas Investigaciones Análisis
dc.subject.proposal.none.fl_str_mv	Ingeniería de software Herramientas de verificación y validación Geresoft
description	La 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.
publishDate	2009
dc.date.issued.none.fl_str_mv	2009-02-19
dc.date.accessioned.none.fl_str_mv	2020-06-26T21:34:49Z
dc.date.available.none.fl_str_mv	2020-06-26T21:34:49Z
dc.type.driver.none.fl_str_mv	info:eu-repo/semantics/masterThesis
dc.type.local.spa.fl_str_mv	Tesis
dc.type.redcol.none.fl_str_mv	http://purl.org/redcol/resource_type/TM http://purl.org/redcol/resource_type/TM
dc.identifier.uri.none.fl_str_mv	http://hdl.handle.net/20.500.12749/3442
dc.identifier.instname.spa.fl_str_mv	instname:Universidad Autónoma de Bucaramanga - UNAB
dc.identifier.reponame.spa.fl_str_mv	reponame:Repositorio Institucional UNAB
url	http://hdl.handle.net/20.500.12749/3442
identifier_str_mv	instname:Universidad Autónoma de Bucaramanga - UNAB reponame:Repositorio Institucional UNAB
dc.language.iso.spa.fl_str_mv	spa
language	spa
dc.relation.references.spa.fl_str_mv	Garcí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 UOC • BALL, Thomas. The Verified Software Challenge: A call for a Holistic Approach to Reliability. Microsoft Research. http://research.microsoft.com/~tball/abstracts.aspx • Chair of Software Engineering. ETH Zurich. Department of Computer Science. http://se.inf.ethz.ch/ • COLLOFELLO, J. Introduction to Software Verification and Validation. Software Engineering Institute, Carnegie Mellon. http://www.sei.cmu.edu/publications/documents/cms/cm.013.html • 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.pdf • FISHER, Marcus S. Software Verification and Validation: An Engineering and Scientific Approach. Ed. Springer, 2007, Págs: 85 - 144. • Fábrica de Sofware. http://www.fabricadesoftware.cl • Formal Methods. http://vl.fmnet.info/ • Free Software Tools for formal verification of computer programs. http://gulliver.eu.org/wiki/FreeSoftwareForFormalVerification • Formal Methods in Software Engineering. http://www.cs.queensu.ca/~cisc422/2006f/tools.html • Formal Software Development Methods. http://fsl.cs.uiuc.edu/index.php/CS477/ECE478_-_Formal_Software_Development_Methods_(Spring_2007) • 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.pdf • Guide to the SWEBOK. http://www.swebok.org/ SEPT(Software Engineering Process Technology). http://www.12207.com/test1.htm • 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.pdf • 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.pdf • 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/#programa • IEEE. SWEBOK: Guide to the Software Engineering Body of Knowledge. 2004 • IEEE. 1012: IEEE Standard for Software Verification and Validation. 2005 • IEEE Computer Society. http://www.computer.org/portal/site/ieeecs/index.jsp • International Workshop on Sofware Verification and Validation. http://www.easychair.org/FLoC-06/SVV.html • IFIP Working Conference on Software Engineering Techniques – SET 2006. http://www.ia.pw.edu.pl/set06/Program.html • Laboratory for Quality Software. http://www.laquso.com/ • 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=4 • 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=9778 • OKTABA, Hanna. Tendencias Internacionales en Procesos de Software. http://www.sei.cmu.edu/iprc/oktaba.pdf • 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-550 • Requirements Verification, Analysis, and Testing. http://people.engr.ncsu.edu/txie/recvat/index.html RAEDTS, 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.php • SOMMERVILLE, Ian. Ingeniería del Software, Ed. Pearson Education, 7ª Edición, 2005. Págs.: 469 - 486 • Scientific Literature Digital Library. http://citeseer.ist.psu.edu/cs • Software Engineering Institute: http://www.sei.cmu.edu/ • 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_ITM • The Internacional Conference on Computer Arded Verification. http://www.cav-conference.org/ • 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/#programa • UNHELKAR, Bhuvan. Verification and Validation for Quality of UML 2.0. Ed. Wiley Intersciencie Publication. 2005 • Verification Workshop. http://www.easychair.org/FLoC-06/VERIFY.html • Verificación Formal de Software. http://ing.wsoto.googlepages.com/lisinirefs2 • Verificación de Software. http://www.fceia.unr.edu.ar/ingsoft/ . Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario • Workshop on Verification and Debugging. http://www.easychair.org/FLoC-06/V&D.html • Workshop on Verified Software: Theory, Tools, and Experiments. http://www.easychair.org/FLoC-06/VSTTE.html
dc.rights.uri.*.fl_str_mv	http://creativecommons.org/licenses/by-nc-nd/2.5/co/
dc.rights.local.spa.fl_str_mv	Abierto (Texto Completo)
dc.rights.accessrights.spa.fl_str_mv	info:eu-repo/semantics/openAccess http://purl.org/coar/access_right/c_abf2
dc.rights.creativecommons.*.fl_str_mv	Atribución-NoComercial-SinDerivadas 2.5 Colombia
rights_invalid_str_mv	http://creativecommons.org/licenses/by-nc-nd/2.5/co/ Abierto (Texto Completo) http://purl.org/coar/access_right/c_abf2 Atribución-NoComercial-SinDerivadas 2.5 Colombia
eu_rights_str_mv	openAccess
dc.format.mimetype.spa.fl_str_mv	application/pdf
dc.coverage.spa.fl_str_mv	Bucaramanga (Colombia)
dc.coverage.campus.spa.fl_str_mv	UNAB Campus Bucaramanga
dc.publisher.grantor.spa.fl_str_mv	Universidad Autónoma de Bucaramanga UNAB
dc.publisher.faculty.spa.fl_str_mv	Facultad Ingeniería
dc.publisher.program.spa.fl_str_mv	Maestría en Software Libre
institution	Universidad Autónoma de Bucaramanga - UNAB
bitstream.url.fl_str_mv	https://repository.unab.edu.co/bitstream/20.500.12749/3442/1/2009_Tesis_Fabio_Garcia_Ramirez.pdf https://repository.unab.edu.co/bitstream/20.500.12749/3442/2/2009_Manual_Fabio_Garcia_Ramirez.zip https://repository.unab.edu.co/bitstream/20.500.12749/3442/3/2009_Codigo_Fuente_Fabio_Garcia_Ramirez.zip https://repository.unab.edu.co/bitstream/20.500.12749/3442/4/2009_Tesis_Fabio_Garcia_Ramirez.pdf.jpg
bitstream.checksum.fl_str_mv	b86a395fcf12b52425987abda2cf6050 665261ec594cd1b201c45528790a124f 52893f3d8d3f86c02f114918a2d832d1 f984257d0962caeca3b035778f3c2e54
bitstream.checksumAlgorithm.fl_str_mv	MD5 MD5 MD5 MD5
repository.name.fl_str_mv	Repositorio Institucional \| Universidad Autónoma de Bucaramanga - UNAB
repository.mail.fl_str_mv	repositorio@unab.edu.co
_version_	1814278015038783488
spelling	Arenas Seleey, Danielfd149352-ef46-4e31-a43d-13eb21694dd0García Ramírez, Fabio6b4c7ee4-a38a-4a1d-8301-36e6a40609c2Puello Marrugo, Plinio4922dad1-f75e-4862-be0f-d60d3a4c2befArenas Seleey, Daniel [0000068829]Arenas Seleey, Daniel [osfVKVoAAAAJ&hl=es]Arenas Seleey, Daniel [0000-0003-3697-3835]Arenas Seleey, Daniel [Daniel-Arenas-Seleey]Grupo de Investigación Tecnologías de Información - GTIGrupo de Investigaciones ClínicasArenas Seleey, Daniel [daniel-arenas-seleey-25aa56138]2020-06-26T21:34:49Z2020-06-26T21:34:49Z2009-02-19http://hdl.handle.net/20.500.12749/3442instname:Universidad Autónoma de Bucaramanga - UNABreponame:Repositorio Institucional UNABLa 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.Universitat Oberta de Catalunya UOCRESUMEN 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 163MaestríaThe 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.Modalidad Presencialapplication/pdfspahttp://creativecommons.org/licenses/by-nc-nd/2.5/co/Abierto (Texto Completo)info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Atribución-NoComercial-SinDerivadas 2.5 ColombiaCaracterizació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 libreCharacterization of the verification and validation process of software engineering and its application in requirements management, designing a solution in a free software environmentMagíster en Software LibreBucaramanga (Colombia)UNAB Campus BucaramangaUniversidad Autónoma de Bucaramanga UNABFacultad IngenieríaMaestría en Software Libreinfo:eu-repo/semantics/masterThesisTesishttp://purl.org/redcol/resource_type/TMhttp://purl.org/redcol/resource_type/TMVerification of computer programsValidation of computer programsSoftware engineeringSystems EngineeringInvestigationsAnalysisVerificación de programas para computadorValidación de programas para computadorIngeniería de softwareIngeniería de sistemasInvestigacionesAnálisisIngeniería de softwareHerramientas de verificación y validaciónGeresoftGarcí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 UOC• BALL, Thomas. The Verified Software Challenge: A call for a Holistic Approach to Reliability. Microsoft Research. http://research.microsoft.com/~tball/abstracts.aspx• Chair of Software Engineering. ETH Zurich. Department of Computer Science. http://se.inf.ethz.ch/• COLLOFELLO, J. Introduction to Software Verification and Validation. Software Engineering Institute, Carnegie Mellon. http://www.sei.cmu.edu/publications/documents/cms/cm.013.html• 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.pdf• FISHER, Marcus S. Software Verification and Validation: An Engineering and Scientific Approach. Ed. Springer, 2007, Págs: 85 - 144.• Fábrica de Sofware. http://www.fabricadesoftware.cl• Formal Methods. http://vl.fmnet.info/• Free Software Tools for formal verification of computer programs. http://gulliver.eu.org/wiki/FreeSoftwareForFormalVerification• Formal Methods in Software Engineering. http://www.cs.queensu.ca/~cisc422/2006f/tools.html• Formal Software Development Methods. http://fsl.cs.uiuc.edu/index.php/CS477/ECE478_-_Formal_Software_Development_Methods_(Spring_2007)• 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.pdf• Guide to the SWEBOK. http://www.swebok.org/ SEPT(Software Engineering Process Technology). http://www.12207.com/test1.htm• 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.pdf• 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.pdf• 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/#programa• IEEE. SWEBOK: Guide to the Software Engineering Body of Knowledge. 2004• IEEE. 1012: IEEE Standard for Software Verification and Validation. 2005• IEEE Computer Society. http://www.computer.org/portal/site/ieeecs/index.jsp• International Workshop on Sofware Verification and Validation. http://www.easychair.org/FLoC-06/SVV.html• IFIP Working Conference on Software Engineering Techniques – SET 2006. http://www.ia.pw.edu.pl/set06/Program.html• Laboratory for Quality Software. http://www.laquso.com/• 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=4• 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=9778• OKTABA, Hanna. Tendencias Internacionales en Procesos de Software. http://www.sei.cmu.edu/iprc/oktaba.pdf• 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-550• Requirements Verification, Analysis, and Testing. http://people.engr.ncsu.edu/txie/recvat/index.htmlRAEDTS, 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.php• SOMMERVILLE, Ian. Ingeniería del Software, Ed. Pearson Education, 7ª Edición, 2005. Págs.: 469 - 486• Scientific Literature Digital Library. http://citeseer.ist.psu.edu/cs• Software Engineering Institute: http://www.sei.cmu.edu/• 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_ITM• The Internacional Conference on Computer Arded Verification. http://www.cav-conference.org/• 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/#programa• UNHELKAR, Bhuvan. Verification and Validation for Quality of UML 2.0. Ed. Wiley Intersciencie Publication. 2005• Verification Workshop. http://www.easychair.org/FLoC-06/VERIFY.html• Verificación Formal de Software. http://ing.wsoto.googlepages.com/lisinirefs2• Verificación de Software. http://www.fceia.unr.edu.ar/ingsoft/ . Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario• Workshop on Verification and Debugging. http://www.easychair.org/FLoC-06/V&D.html• Workshop on Verified Software: Theory, Tools, and Experiments. http://www.easychair.org/FLoC-06/VSTTE.htmlORIGINAL2009_Tesis_Fabio_Garcia_Ramirez.pdf2009_Tesis_Fabio_Garcia_Ramirez.pdfTesisapplication/pdf9234511https://repository.unab.edu.co/bitstream/20.500.12749/3442/1/2009_Tesis_Fabio_Garcia_Ramirez.pdfb86a395fcf12b52425987abda2cf6050MD51open access2009_Manual_Fabio_Garcia_Ramirez.zip2009_Manual_Fabio_Garcia_Ramirez.zipManual usuarioapplication/octet-stream10967651https://repository.unab.edu.co/bitstream/20.500.12749/3442/2/2009_Manual_Fabio_Garcia_Ramirez.zip665261ec594cd1b201c45528790a124fMD52open access2009_Codigo_Fuente_Fabio_Garcia_Ramirez.zip2009_Codigo_Fuente_Fabio_Garcia_Ramirez.zipCódigo fuenteapplication/octet-stream1273354https://repository.unab.edu.co/bitstream/20.500.12749/3442/3/2009_Codigo_Fuente_Fabio_Garcia_Ramirez.zip52893f3d8d3f86c02f114918a2d832d1MD53open accessTHUMBNAIL2009_Tesis_Fabio_Garcia_Ramirez.pdf.jpg2009_Tesis_Fabio_Garcia_Ramirez.pdf.jpgIM Thumbnailimage/jpeg4994https://repository.unab.edu.co/bitstream/20.500.12749/3442/4/2009_Tesis_Fabio_Garcia_Ramirez.pdf.jpgf984257d0962caeca3b035778f3c2e54MD54open access20.500.12749/3442oai:repository.unab.edu.co:20.500.12749/34422024-01-20 08:42:46.358open accessRepositorio Institucional \| Universidad Autónoma de Bucaramanga - UNABrepositorio@unab.edu.co

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

Publicaciones similares