Resumen:
Las APIs web basadas en el estilo arquitectónico REST (conocidas como APIs RESTful) se han convertido en el estándar de-facto para la integración web. Dada su popularidad y difusión, en los últimos años han proliferado gran cantidad de herramientas para la generación automática de casos de prueba para este tipo de APIs. Sin embargo, todas las herramientas están limitadas por el tipo de errores que son capaces de detectar: fallos inesperados (i.e., respuestas con código 5XX) y errores de conformidad con la especificación. En este artículo, describimos nuestro trabajo en progreso para la generación automñatica de oráculos de prueba para APIs RESTful. El objetivo es poder detectar errores de forma automática mediante el aprendizaje de invariantes potenciales a partir de un conjunto de llamadas y respuestas a la API. Una evaluación inicial muestra la efectividad de nuestra propuesta para detectar cientos de orñaculos en sistemas reales, detectando errores replicables en las APIs de GitHub y OMDb.