Una propuesta de Taxonomía para especializar el proceso de validación y verificación de software crítico

Abstract

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.