Otro
Una propuesta de Taxonomía para especializar el proceso de validación y verificación de software crítico
Fecha
2019Autor
Salomon, Alicia
Institución
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.