https://rdu.iua.edu.ar/handle/123456789/353 Wed, 08 Apr 2026 04:55:18 GMT 2026-04-08T04:55:18Z 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. Tue, 01 Jan 2019 00:00:00 GMT https://rdu.iua.edu.ar/handle/123456789/2103 2019-01-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. Sun, 01 Oct 2017 00:00:00 GMT https://rdu.iua.edu.ar/handle/123456789/354 2017-10-01T00:00:00Z