Verificacion de Covering Arrays

Verificacion de Covering Arrays

👓 Himer Avila George,J. T. Jimenez,V. H. Garcia
Verificacion de Covering Arrays

Verificacion 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.



Также:

Robert MacBain «Two Lives Crossing»
Robert MacBain «Two Lives Crossing»
Jean Racine «OEuvres de Rancine, Vol. 1 (Classic Reprint)»
Jean Racine «OEuvres de Rancine, Vol. 1 (Classic Reprint)»
Esaias Pufendorf «Esaias Pufendorfs Bericht uber Kaiser Leopold seinen Hof»
Esaias Pufendorf «Esaias Pufendorfs Bericht uber Kaiser Leopold seinen Hof»
Michael Bartsch «Die Artefakte Der Gotter»
Michael Bartsch «Die Artefakte Der Gotter»
Jane Harvey «Auberry Stanhope. or, Memoirs of an Author; VOL. III»
Jane Harvey «Auberry Stanhope. or, Memoirs of an Author; VOL. III»

Report Page