Tesis "Un algoritmo de optimización combinatoria para la construcción de covering arrays mixtos de fuerza variable"
Alumna: Ana Loreto González Hernández
Asesor: Dr. José Torres Jiménez
Sinodales: Dr. Arturo Díaz Pérez, Dr. José Juan García Hernández, Dra. Laura Cruz Reyes (Instituto Tecnológico de Ciudad Madero), Dr. Pedro Sánchez Orellana (Instituto Tecnológico de Ciudad Victoria)
Los Covering Arrays Mixtos (MCAs) son objetos combinatorios utilizados para representar el conjunto de pruebas dentro de las Pruebas de Interacción, las cuales son una alternativa para llevar a cabo las pruebas de software.
Un MCA denotado por MCA(N; t, k, v_1 v_2 . . . v_k), es una matriz de tamaño N × k donde v_1 v_2 . . . v_k es un vector de cardinalidades que indica los posibles valores para cada columna. Las filas de cada submatriz de tamaño N×t, cubren al menos una vez, todas las t-tuplas de valores derivadas de las t columnas seleccionadas.
Esta Tesis se enfoca en el problema de construcción de MCAs, el cual consiste en dados los valores de t, k, v_1 v_2 . . . v_k encontrar un conjunto de configuraciones de cardinalidad mínima (valor mínimo de N) que garantice el grado de cobertura especificado.
La propuesta de solución se centra en la elaboración de un algoritmo de búsqueda tabú (TS-Tabu Search) cuya principal característica es la mezcla de diferentes funciones de vecindad, razón por la cual, se le dio el nombre de MiTS (Mixed Tabu Search).
Se presenta evidencia del proceso de sintonización de los parámetros principales de MITS y de las bondades del mismo al resolver diferentes benchmarks tanto académicos como reales contrastando los resultados obtenidos contra los resultados proporcionados por algoritmos reportados recientemente.