Verificación de Covering Arrays

Himer Avila George es estudiante del doctorado en Informática en la Universidad Politécnica de Valencia (UPV), España. José Torres Jiménez, PhD en Ciencias Computacionales, investigador 3C CINVESTAV-Tamaulipas, México. Vicente Hernández García, PhD en Matemáticas, catedrático de la UPV y coordinador científico de la Red Española de e-Ciencia.

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.