Artículo:
Property-based Testing usando GPU

Fecha

2024-06-17

Editor

Sistedes

Publicado en

Actas de las XXIII Jornadas de Programación y Lenguajes (PROLE 2024)

Licencia Creative Commons

Resumen

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.

Descripción

Acerca de Ballesteros, Ignacio

Palabras clave

Property-based Testing, Random Generation, Parallel Generation, GPU
Página completa del ítem
Notificar un error en este artículo
Mostrar cita
Mostrar cita en BibTeX
Descargar cita en BibTeX