Property-based Testing usando GPU

Abstract

La generación aleatoria de datos es un componente fundamental del testing automático de programas. No obstante, la generación aleatoria tiene ciertas limitaciones cuando los datos generados tienen que cumplir ciertas propiedades. Este trabajo explora la posibilidad de utilizar hardware paralelo para hacer más efectivo el proceso de generación de datos y así mejorar la aplicabilidad de las técnicas de testing basado en propiedades.