Développement axé sur la vérification : au-delà du développement piloté par les tests
Cet article explore le développement axé sur la vérification (VFD), un paradigme qui met l’accent sur la mise en place de mécanismes de vérification avant d’écrire du code. Cela peut impliquer d’écrire des tests, de définir des invariants de type, d’ajouter des contrats ou d’utiliser d’autres méthodes. Le VFD diffère du développement piloté par les tests (TDD), qui est un cas particulier du VFD et se concentre sur l’utilisation de tests pour piloter la conception du code. Les avantages du VFD incluent la réduction de la probabilité de sauter la vérification, la détection précoce des erreurs et l’amélioration de la qualité du code. Cependant, le VFD présente également des inconvénients : il peut ralentir le développement, entraver la programmation exploratoire et les méthodes de vérification peuvent influencer la conception du code. L’auteur soutient que le VFD, en tant que technique plutôt que comme paradigme, est plus flexible et s’intègre facilement à d’autres approches.