Verificación de Covering Arrays, Fachbücher von V. H. García, Himer Avila George, J. T. Jiménez

Das Fachbuch "Verificación de Covering Arrays" bietet eine umfassende Analyse von Covering Arrays (CAs), einem mathematischen Konzept, das eine maximale Abdeckung bei minimaler Kardinalität gewährleistet. Diese Strukturen finden Anwendung in verschiedenen Disziplinen, darunter Medizin, Biologie, Materialdesign sowie im Bereich der Software- und Hardwaretests. Die Erstellung von CAs erfordert die Überprüfung aller t-Kombinationen von Variablenwerten, was bei grossen Parametern, wie mehr als 1000 Variablen und höheren Kräften, eine erhebliche rechnerische Herausforderung darstellt. Das Buch beleuchtet die Notwendigkeit von Supercomputing und Grid Computing zur effizienten Verifizierung von CAs und zeigt auf, dass der Verifizierungsprozess von Natur aus parallelisierbar ist. Dies ermöglicht nicht nur die Nutzung paralleler Rechenressourcen innerhalb eines Computerclusters, sondern auch die Aufteilung in unabhängige Aufgaben, die in einem Grid-Umfeld ausgeführt werden können.