Verificación de Covering Arrays

Un covering array (CA) es un objeto matemático que garantiza una máxima cobertura con una mínima cardinalidad. Los covering arrays (CAs) han sido aplicados en áreas como la medicina, la biología, el diseño de materiales y recientemente en el diseño 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 parámetros del CA son considerablemente grandes (mas de 1000 variables, fuerzas superiores a 4), por lo cual, surge la necesidad de hacer uso de la Supercomputación y la Computación Grid. La conclusión principal de este trabajo, es que el proceso de verificación de CAs es naturalmente paralelizable, de tal manera que puede beneficiarse no solo de la computación paralela a nivel de un cluster de computadoras; sino que además, puede descomponerse en una serie de trabajos totalmente independientes que pueden ejecutarse en un entorno Grid.