Declarative Domain Testing: un enfoque declarativo en la generación de datos de prueba

Abstract

Una de las tareas m´as costosas en el desarrollo software es su validación, esto es, la creación de tests que certifiquen su correcto funcionamiento. Dicha validación se complica en la medida que el dominio del sistema se rige por una serie de reglas de negocio. En efecto, los datos de los tests, para ser válidos, deben satisfacer dichas reglas. En este artículo, proponemos un nuevo enfoque para el testing llamado Declarative Domain Testing, basado en especificar declarativamente tanto las reglas de negocio del dominio como los datos requeridos por los tests. A partir de aquí, los datos de prueba se generan automáticamente para satisfacer ambas condiciones. En este artículo hacemos una propuesta formal del Declarative Domain Testing, explicamos como lo estamos implementando en la práctica, y cuáles son los retos de futuro.