Buscar en RiuNet

Listar

Mostrando ítems 1-3 de 3

Constructing Covering Arrays using Parallel Computing and Grid Computing

Avila George, Himer (Universitat Politècnica de València, 2012-09-10)

A good strategy to test a software component involves the generation of the whole set of cases that participate in its operation. While testing only individual values may not be enough, exhaustive testing of all possible ...
New bounds for ternary covering arrays using a parallel simulated annealing

Avila-George, Himer; Torres-Jimenez, Jose; Hernández García, Vicente (Hindawi Publishing Corporation, 2012)

A covering array (CA) is a combinatorial structure specified as a matrix of N rows and k columns over an alphabet on v symbols such that for each set of t columns every t-tuple of symbols is covered at least once. Given ...
Verificación de Covering Arrays utilizando Supercomputación y computación Grid

Avila George, Himer (Universitat Politècnica de València, 2012-01-23)

En esta tesis se presentan un algorimo secuencial, un algoritmo paralelo y uno algoritmo grid para verificar si una matriz es un covering array (CA). Los algoritmos fueros probados usando un benchmak de CAs de fuerza ...

Mostrando ítems 1-3 de 3