Desarrollo Primero la Verificación: Más Allá del Desarrollo Guiado por Pruebas
Este artículo explora el Desarrollo Primero la Verificación (VFD), un paradigma que enfatiza el establecimiento de mecanismos de verificación antes de escribir código. Esto puede implicar escribir pruebas, definir invariantes de tipo, agregar contratos u otros métodos. El VFD difiere del Desarrollo Guiado por Pruebas (TDD), que es un caso específico del VFD y se centra en el uso de pruebas para dirigir el diseño del código. Las ventajas del VFD incluyen la reducción de la probabilidad de omitir la verificación, la detección temprana de errores y la mejora de la calidad del código. Sin embargo, el VFD también tiene inconvenientes: puede ralentizar el desarrollo, dificultar la codificación exploratoria y los métodos de verificación pueden influir en el diseño del código. El autor argumenta que el VFD, como técnica y no como paradigma, es más flexible y se integra fácilmente con otros enfoques.