La preuve de programme vous fera apprécier les tests by William Bartlett La pratique de Développement piloté par les tests (TDD) est formalisée depuis au moins 1999. La famille d’outils de test automatisé xUnit existe depuis 1998 et ne cesse de s’améliorer. Pourtant le tes...

C'était cool de voir autant de personnes à @breizhcamp.org assister à une présentation sur la preuve de programme.

Vous trouverez les diapos et un lien vers le dépôt du code source utilisé pour les démos : noti.st/punkstarman/...

#coq #devformel #test #qa

Demain à 16h dans l'Amphi A, je ferai découvrir la preuve de programme pour vous montrer que le test logiciel c'est pas si difficile.

#breizhcamp2025 #devformel #testlogiciel