Characterization of the verification and validation process of software engineering and its application in requirements management, designing a solution in a free software environment

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

Geresoft gestión y verificación de requisitos

En este artículo se presenta la herramienta GERESOFT, como un Software para la Verificación y Validación de la Gestión de Requisitos, tomando como base para su diseño y construcción lineamientos del Software Libre, estándares de la IEEE y conceptos relacionados con la VyV (Verificación y Validación). Para realizar el proceso de VyV se utilizaron las Revisiones como Técnica de VyV bajo la orientación del Análisis Estático, y desde el punto de vista de la Ingeniería de Software como insumo para aplicar el conocimiento generado con este desarrollo se utilizó la Ingeniería de Requisitos, la cual es el proceso fundamental que permite planificar, administrar y desarrollar un proyecto de software exitoso desde su fase inicia

Cloud computing

Global warming, climate change, damage to the ecological resources, and pollution are serious threats to human health, compromising the quality of life for many people. Therefore, it becomes extremely important for all companies and organizations to fully observe the principles of Entrepreneurial Social Responsibility (ESR). Cloud Computing is one of the green technologies in the field of Information Technology (IT), because it reduces the expenses on paper and helps diminish energy consumption and emission of C02. Therefore it is recognized as an important strategy to strengthen the implementation of the ESR.El calentamiento global, el cambio climático, el daño a los recursos ecológicos, y la contaminación am­biental amenazan seriamente la salud humana, comprometiendo la calidad de vida de muchas personas. Por tanto, es muy importante para todas las empresas y organizaciones cumplir plenamente con los principios de Responsabilidad Social Empresarial (RSE). La Cloud Computing es una de las Tecnologías Verdes en el plano de la tecnología de la información (TI), debido a que reducen el gasto de papel y ayuda a disminuir el consumo de energía y la emisión de CO2. De ahí que se presente como una importante estrategia para fortalecer la implementación de la RSE

Estudio del uso y apropiación de tics en pymes metalmecánicas en Cartagena

In Colombia the PYMES have become one of the most productive sectors in the country´s economy. It hasbeen characterized for thriving and becoming a great generator of jobs. However, some sectors point outthat these should adopt solid corporal structures and implement technological tools such as informationtechnologies and communication that ease its performance, and at the same time allow an increase onthe productivity and competitiveness level. Unfortunately, there are still some PYMES that use obsoletetechnologies or they just do not use technology, which prevents them from being competitive. Nevertheless,in spite of these limitations, their contributions have been acknowledged and the government plus the higheducation institutions and the industrial sector have become their strategic allies in order to support themand project them towards a more productive path. This article shows the results of a research study on PYMES in the metal-mechanic sector in Cartagena in order to identify the strengths and weaknesses in theuse of information technologies and Web tools 2.0 in their processes.En Colombia las pymes se han constituido en uno de los sectores más productivos en la economía del país. Se han caracterizado por halar su desarrollo y convertirse en grandes generadores de empleo. No obstante, algunos sectores señalan que éstas deben adoptar estructuras organizacionales sólidas y aplicar de manera correcta herramientas tecnológicas, como las tecnologías de la información y las comunicaciones que faciliten su desempeño, y al mismo tiempo les permitan aumentar su nivel de productividad ycompetitividad. Infortunadamente, aún existen algunas Pymes que incorporan tecnologías obsoletas o simplemente no las incorporan, lo cual evita que sean competitivas. Sin embargo, pese a estas limitaciones sus aportes son reconocidos y tanto el gobierno como las instituciones de educación superior y el sector industrial se han convertido en sus aliados estratégicos para apoyarlas y proyectarlas hacia un sendero más productivo. Este artículo presenta los resultados de un estudio hecho a pymes del sector metalmecánico deCartagena con el fin de identificar las debilidades y fortalezas en el uso de tecnologías de la información y herramientas de la Web 2.0 en sus procesos

Estudio del uso y apropiación de tics en pymes metalmecánicas en cartagena

En Colombia las pymes se han constituido en uno de los sectores más productivos en la economía del país. Se han caracterizado por halar su desarrollo y convertirse en grandes generadores de empleo. No obstante, algunos sectores señalan que éstas deben adoptar estructuras organizacionales sólidas y aplicar de manera correcta herramientas tecnológicas, como las tecnologías de la información y las comunicaciones que faciliten su desempeño, y al mismo tiempo les permitan aumentar su nivel de productividad ycompetitividad. Infortunadamente, aún existen algunas Pymes que incorporan tecnologías obsoletas o simplemente no las incorporan, lo cual evita que sean competitivas. Sin embargo, pese a estas limitaciones sus aportes son reconocidos y tanto el gobierno como las instituciones de educación superior y el sector industrial se han convertido en sus aliados estratégicos para apoyarlas y proyectarlas hacia un sendero más productivo. Este artículo presenta los resultados de un estudio hecho a pymes del sector metalmecánico deCartagena con el fin de identificar las debilidades y fortalezas en el uso de tecnologías de la información y herramientas de la Web 2.0 en sus procesos

Modelos de Comercio Electrónico en la ciudad de Cartagena de Indias

Revista de la Facultad de Ingeniería de la Universidad de Cartagena Vol. 8, núm. 1 (2013) Pag 47 - 54E-commerce, comercio en la web utiliza la tecnologías de la información y la comunicaciones (TIC) para mejorar y ampliar las operaciones y las funciones de una organización llevando a las actividades de comercio a otro ambiente distinto a los métodos convencionales posicionándolos en la web, y explotando todas las bondades que presenta la red de redes. Se trata de un fenómeno reciente, donde se tiene en cuenta muchos aspectos, incluyendo las relaciones entre las empresas, gobierno y consumidores, así como en términos de bienes intermedios y finales, además de los servicios. Cartagena ciudad de un gran mercado en materia de comercio ha incursionado estos últimos años con algunas de sus empresas en los procesos de comercio electrónico, colocando sus catálogos en la web para la compra de los artículos utilizando sistemas de pago virtuales para la realización de estos desembolsos; y posicionando de esta manera algunas de estas empresas entre las 10 empresas más prosperas en el último año

Método cobit y su aplicación

En toda organización un elemento crítico para la supervivencia es la correcta administración de la información y de las tecnologías de la información o TI. Para muchas organizaciones la información y las tecnologías que las manipulan representan los activos más importantes. En búsqueda de proteger estos elementos se han diseñado distintos mecanismos o métodos para asegurar la integridad, confiabilidad, seguridad y disponibilidad de los mismos a través de las auditorías informáticas, este trabajo se centrará en el método COBIT, sus características y su aplicación, como un mecanismo eficaz en el proceso de las auditorias

Evaluación de herramientas web 2.0 en sistemas de gestión de aprendizajes en Universidades colombianas

Revista de la Facultad de Ingeniería de la Universidad de Cartagena No 7 Vol 2 (2012) Pag. 18 - 29Este artículo presenta los resultados de la evaluación del uso de herramientas web 2.0 en los servicios académicos prestados por los Sistemas de Gestión de Aprendizaje de un grupo de Universidades en Colombia con programas académicos bajo la modalidad a distancia. Se elaboró un instrumento soportado en la medición de la existencia y nivel de uso de herramientas web 2.0 y se indagó sobre su adaptación en la prestación de servicios estudiantiles y administrativos. Como resultado se pudo verificar que las Universidades en Colombia están utilizando en sus programas a distancia Sistemas de Gestión de Aprendizaje apoyados en la Web 2.0 para brindar un mejor servicio educativo a los estudiantes

Análisis de accesibilidad y visibilidad para los portales académicos de las universidades de Cartagena - Accessibility and Visibility Analysis for Academic Portals of the Universities of Cartagena

Introducción: Con la creciente demanda de aplicaciones en el mercado, las empresas han priorizado atender las necesidades tecnológicas del usuario promedio en detrimento de aquellos con diversidad funcional. Esto ha convertido la accesibilidad en un desafío crucial en diversos contextos, especialmente en el ámbito educativo, donde la diversidad de personas que acceden a contenido web es notable. Objetivo: Este trabajo presenta un estudio basado en una inspección de accesibilidad de seis portales web pertenecientes a universidades en la ciudad de Cartagena. El objetivo es determinar la relación entre la inclusión de pautas de accesibilidad y los factores de posicionamiento web obtenidos a través de Webometrics. Metodología: Se definen cinco fases metodológicas: elección de los portales web, selección de herramientas de inspección, aplicación de la inspección de accesibilidad, análisis de los resultados y formulación de conclusiones y recomendaciones. Resultados: Como resultado del estudio, se ha determinado una correlación superior a 0.8 entre el ranking local de las universidades según Webometrics y el ranking de problemas de accesibilidad identificados mediante herramientas de inspección automática. Conclusiones: El uso de herramientas automáticas de evaluación web debería ser implementado por las instituciones educativas para mejorar la accesibilidad de los sitios institucionales. Esta revisión periódica y la corrección de errores es una buena práctica para mejorar el posicionamiento local e internacional. ABSTRACT Introduction: With the growing demand for applications in the market, companies have increasingly focused on meeting the technological needs of the average user, often overlooking those with functional diversity. Consequently, accessibility has emerged as a critical challenge across various contexts, particularly within the educational sphere, where the diverse range of individuals accessing web content is particularly pronounced. Objective: This paper presents a study centered on the accessibility inspection of six university websites located in the city of Cartagena. The primary aim is to ascertain the relationship between the integration of accessibility guidelines and web positioning factors as determined by Webometrics. Methodology: The methodology comprises five distinct phases: website selection, tool selection for inspection, execution of accessibility inspection, analysis of obtained results, and formulation of conclusions and recommendations. Results: The study revealed a correlation exceeding 0.8 between the local ranking of universities according to Webometrics and the ranking of accessibility issues identified through automated inspection tools. Conclusions: It is recommended that educational institutions adopt automatic web evaluation tools to enhance the accessibility of their institutional websites. This regular review and rectification of issues represent best practices for improving both local and international visibility and usability

Tendencias en el uso de los esquemas de licenciamiento de software libre en Latinoamérica

Revista Ciencias E Ingeniería al Día No.1 Vol.7 (2012). Pág. 50 - 59Es un hecho que hoy en día el uso de software está siendo más popular que nunca, específicamente hablando de software libre, no solo por las ventajas que tiene en comparación con el software que no es libre, sino por el nivel de aceptación que ha alcanzado a través de diferentes comunidades. También es importante diferenciar el software libre de otro tipo de software como el freeware, software con el código fuente o software de dominio público, que puede ser confuso y confundido por muchas personas por la falta de conocimiento