Verificación de Covering Arrays

Un covering array (CA) es un objeto matematico que garantiza una maxima cobertura con una minima cardinalidad. Los covering arrays (CAs) han sido aplicados en areas como la medicina, la biologia, el diseno de materiales y recientemente en el diseno de pruebas de software y hardware. El proceso de construir CAs requiere verificar que todas las t-combinaciones de valores de las variables existan al menos una vez, dicho proceso es muy costoso computacionalmente cuando los parametros del CA son considerablemente grandes (mas de 1000 variables, fuerzas superiores a 4), por lo cual, surge la necesidad de hacer uso de la Supercomputacion y la Computacion Grid. La conclusion principal de este trabajo, es que el proceso de verificacion de CAs es naturalmente paralelizable, de tal manera que puede beneficiarse no solo de la computacion paralela a nivel de un cluster de computadoras; sino que ademas, puede descomponerse en una serie de trabajos totalmente independientes que pueden ejecutarse en un entorno Grid.