https://rdu.iua.edu.ar/handle/123456789/341 Sistema de Verificación y Validación de Software desarrollado para los Simuladores de Vuelo 2026-04-08T03:37:23Z https://rdu.iua.edu.ar/handle/123456789/2104 Título: Propuesta de revisión de requerimiento en un proceso de desarrollo de software científico técnico Autores: Boggio, María A.; Perez, Sofía; Salomon, Alicia; Mira, Natalia Resumen: En un proyecto de desarrollo de software, el área de testing debe validar y verificar el software construido teniendo presente los requisitos especificados por el cliente. La Ingeniería de Requerimientos como disciplina tiene la responsabilidad de generar especificaciones que describan con claridad, sin ambigüedades, de forma correcta, consistente y compacta. Pero se pueden presentar inconvenientes dado que "lo que debe hacer un sistema" no siempre es obvio, es difícil de expresar en palabras, los requisitos son volátiles, se originan en múltiples fuentes, la cantidad puede aumentar la complejidad, y son expresados por los usuarios. Un área de trabajo de una dependencia debe validar el producto software que han construido otros grupos, a partir de los requisitos que originalmente los analistas funcionales o expertos del dominio especificaron. Para hacerlo, el equipo de prueba recibe como entrada el requerimiento operativo y realiza la revisión del producto - ya sea con casos de prueba, escenarios o validación de criterios - identificando aspectos de la especificación que a esta altura del ciclo de desarrollo deben ser "tomados" con muy escasa posibilidad de cambios. Este trabajo plantea una intervención del equipo de testing en etapas tempranas del desarrollo, trabajando en la verificación de los criterios SMART de redacción de objetivos. Como resultado, se obtiene una nueva versión de la especificación de requerimientos, concretos, medible, realizable, realista, acotado en tiempo. Esta revisión previa al desarrollo requiere una actividad colaborativa entre el equipo de especialistas del dominio y de testing. En estas intervenciones se aplican técnicas y herramientas de la IO Soft para realizar el análisis de los requerimientos mediante un CATWOE aplicado a los requerimientos propuestos. A continuación se utiliza el Software Bizagi para representar los requerimientos que deben ser implementados, aplicando herramientas y técnicas de la Ingeniería del Software. 2019-01-01T00:00:00Z https://rdu.iua.edu.ar/handle/123456789/2103 Título: Una propuesta de Taxonomía para especializar el proceso de validación y verificación de software crítico Autores: Salomon, Alicia Resumen: El objetivo del trabajo es generar una taxonomía que permita la sistematización de un proceso de desarrollo de Verificación y Validación (V&V) de software en sistemas críticos. Esta taxonomía se basa en lograr coyuntura de aspectos claves que necesita el área de V&V para garantizar que se ha aplicado el proceso adecuado a las necesidades del producto a probar, y agilizar el trabajo de las personas involucradas. En esta taxonomía se incluyen las características del sistema desarrollado para ser validado, un detallado proceso de V&V que según la particularidades del producto contendrá las actividades indicadas y un conjunto de herramientas sugeridas que darán agilidad al proceso establecido. Este desarrollo se basa en la experiencia llevada a cabo en el área de Dirección de Análisis Operativo (DAO) con el proyecto Undefi Convocatoria 2017, en donde se logró establecer un modelo de referencia de V&V que implementa técnicas y patrones de pruebas basados en normas de referencia específicas del ámbito científico-técnico. En la etapa de experimentación del modelo además de los componentes software de los simuladores de vuelo se probaron otros módulos de sistemas software que desarrolla el Centro de Simulación y Juegos de Guerra para el entrenamiento de los equipos de personas que definen las estrategias en los Puesto de Comando de Defensa Anti-aérea. De esta forma, se está en presencia de un escenario complejo en el cual el área responsable de la validación debe abordar más de un proceso simultáneamente. Esto implica mantener el control de "todos" los procesos, gestionarlos y ejecutarlos, quizás con características similares en diferente medida. Ante esto, el equipo plantea considerar la analogía con el trabajo de numerosas disciplinas, en las que cuando un científico inicia un estudio, generalmente comienza clasificando los elementos que observa en un conjunto de clases o categorías: se define una taxonomía, clasificando u ordenando los objetos en grupos que comparten características o comportamientos comunes, a la vez que identifican parámetros que diferencian dichos grupos entre sí. Bajo esta premisa, el presente proyecto propone el desarrollo de una taxonomía fidedigna y completa que describa el proceso de validación de software crítico, que permita identificar procesos, subprocesos, actividades, entregables y cadenas de trabajo en dicho proceso, con el objetivo final de transformar la taxonomía (sin pérdida de información) en una especificación a partir de la cual se pueda generar un proceso de validación específico para cada software en particular, pudiendo diferir y especializar este proceso según sea el producto en cuestión a validar, generando para ello un conjunto de actividades relacionadas y ordenadas realizadas por trabajadores bajo ciertas normas que obtienen artefactos concretos y trazables. De esta forma, se podrá replicar un proceso de manera sistemática y ordenada. El resultado final que persigue el proyecto con la implementación de esta taxonomía es asegurar la calidad del software desarrollado por los diferentes equipos de la FAA. garantizando a la División de Análisis Operativo (DAO), área responsable de su homologación, que el modelo elegido para las actividades de V&V que implementa es el adecuado de acuerdo a la naturaleza del sistema. 2019-01-01T00:00:00Z https://rdu.iua.edu.ar/handle/123456789/1779 Título: Importancia de la Verifcación y Validación de software para forensia Autores: Casanovas, Eduardo Resumen: La validación y verificación de software es un proceso esencial para determinar que el software desarrollado satisface plenamente las necesidades de uso. En el marco de un proceso judicial la recolección y almacenamiento de evidencias digitales es una parte sumamente importante en el avance del caso en cuestión, por lo tanto, es crucial que las distintas herramientas de software utilizadas para hacer dichos procesos hagan exactamente las acciones para lo que fueron diseñadas. Es por ello que cabe preguntarnos si estamos plenamente seguros que el software que se desarrolla está acorde a su especificación. El punto fundamental se basa en el hecho que la evidencia digital encontrada debe poder ser tomada para su posterior análisis sin que se altere su estado. La presentación el presente trabajo busca explicitar como podemos lograr que con nuestra intervención el funcionario judicial tenga plana garantía y confianza en las herramientas utilizadas. 2018-04-01T00:00:00Z https://rdu.iua.edu.ar/handle/123456789/354 Título: Sistema de Verificación y Validación de Software desarrollado para los Simuladores de Vuelo Autores: Casanovas, Eduardo Resumen: El objetivo de este proyecto es investigar y definir una solución para llevar adelante las actividades de validación y verificación del software que se desarrolla en la Dirección de Análisis Operativo (DAO) y el Centro de Entrenadores y Simuladores (CES) de la Fuerza Aérea Argentina, donde la DAO tiene a su cargo la verificación y validación del software que se desarrolla en los Centros de Desarrollo de la Fuerza Aérea Argentina y el CES desarrolla el software para los simuladores y entrenadores de vuelo que le llegan como requerimiento. Este trabajo involucra la creación de un modelo de referencia que provee un marco de trabajo tanto al área de validación y verificación como al área de desarrollo de software de los entrenadores y simuladores de vuelo logrando que las mismas trabajen colaborativamente desde el comienzo del desarrollo para garantizar la identificación de las pruebas necesarias y la ejecución de las pruebas en el momento oportuno. En este proyecto es necesario incorporar UX User Experience (experiencia de usuario) esto es adquirir la percepción, requerimientos, experiencias de los pilotos utilizando técnicas adecuadas para lograr la satisfacción del mismo en el funcionamiento del software. En este proyecto se construirá una arquitectura de Verificación y Validación que implementa técnicas y patrones de pruebas basados en normas de referencia específicas del ámbito científico - técnico, y se definirá un proceso detallado con los roles involucrados de las áreas implicadas y las responsabilidades que debe asumir cada uno, asegurando de esta manera, la formalización de las actividades y la incorporación de las buenas practicas al equipo de trabajo. Además esta arquitectura se acopla adecuadamente a la arquitectura de integración continua desarrollada en el Piddef 42/11: "Metodología y Framework de Gestión de Líneas Base de Integración de Aplicabilidad en el Desarrollo de Software para el Proyecto UAV" la cual provee soluciones que agilizan las actividades en el área de desarrollo de software: gestión de configuración, integración de componentes, automatización en la inserción de errores, entre otras. Surge entonces la necesidad de montar un laboratorio de pruebas que replique el ambiente de simulación que se utiliza en el CES para lograr visualizar la ejecución de los escenarios de prueba definidos tal cual lo percibe el grupo de desarrollo y de esta manera encontrar la mayor cantidad de errores posibles. Los escenarios de pruebas se definirán con los roles pertinentes para garantizar la simulación del ambiente real de vuelo. El resultado final que persigue el proyecto es acelerar los tiempos de desarrollo y mejorar la calidad del software empleado en los simuladores de vuelo que son utilizados en las brigadas para el entrenamiento de los pilotos de la Fuerza Aérea Argentina durante su formación. Esto redunda en un impacto directo en la reducción de los costos asociados a las horas de entrenamiento de vuelo de los pilotos de la Fuerza Aérea Argentina mejorando así sus habilidades y capacidades en el manejo de las aeronaves con las que cuenta dicha Fuerza. 2017-10-01T00:00:00Z