Desenvolvimento Priorizando a Verificação: Além do Desenvolvimento Guiado por Testes

Este artigo explora o Desenvolvimento Priorizando a Verificação (VFD), um paradigma que enfatiza o estabelecimento de mecanismos de verificação antes de escrever código. Isso pode envolver a escrita de testes, a definição de invariantes de tipo, a adição de contratos ou outros métodos. O VFD difere do Desenvolvimento Guiado por Testes (TDD), que é um caso específico do VFD e se concentra no uso de testes para direcionar o design do código. As vantagens do VFD incluem a redução da probabilidade de pular a verificação, a detecção precoce de erros e a melhoria da qualidade do código. No entanto, o VFD também apresenta desvantagens: pode retardar o desenvolvimento, dificultar a codificação exploratória e os métodos de verificação podem influenciar o design do código. O autor argumenta que o VFD, como uma técnica e não um paradigma, é mais flexível e integra-se facilmente com outras abordagens.