Tesis "Generalización de la Construcción de Vectores Inicializadores"
Sustentante: Gildardo Maldonado Martínez
Director: Dr. José Torres Jiménez
Sinodales: Dr. Ricardo Landa Becerra, Dr. Said Polanco Martagón
Resumen:
Hoy en día existe una fuerte dependencia de los sistemas computacionales para la toma de decisiones en distintos sectores (economía, salud, etc), dependiendo del sector en el que se incorpore, el costo de un error en la salida del sistema puede ser muy alto, y validar de manera exhaustiva todos los posibles escenarios no siempre es conveniente debido a la gran cantidad de recursos, como el tiempo y costo, que demandan. Los Covering Arrays (CAs) son objetos combinatorios que permiten construir un conjunto de N casos de prueba para componentes de software, con los que se asegura que todas las interacciones de tamaño t entre k parámetros se encuentran cubiertos, para cada parámetro que admite un valor dentro de un conjunto de v posibles valores. En la literatura se ha propuesto el construir un CA a partir de un Vector Inicializador (VI) aplicando operaciones de rotación y traslación, aunque la metodología para la obtención del VI no se encuentra muy desarrollada, salvo algunas construcciones con valores específicos de t, k y v. En este trabajo se presentan dos generalizaciones; una generalización de operadores que engloba las construcciones reportadas en el estado del arte con respecto a VIs y que además admite la introducción de nuevos operadores que permiten diversificar las construcciones actuales; y una generalización para la búsqueda de VIs en la que se propone una metodología original mediante la cual es posible obtener VIs trasladando el problema al dominio de grafos.
Los resultados muestran que la generalización propuesta construye 14 casos para fuerza t = 2 los cuales son óptimos. Además 29 cotas fueron igualadas mediante construcciones obtenidas de forma directa y 34 cotas se igualaron mediante un proceso de postoptimización aplicado a un CA construido a partir de un VI.