Property based testing et mutation testing system en Python

Cela fait maintenant plus de vingt ans que tout le monde écrit des tests et plus précisément des tests unitaires (pour le petit rappel historique, Kent Beck et Erich Gamma ont créé Junit en 1997 et même si oui, il y a eu Sunit avant, et même si encore oui, on écrivait sûrement des tests avant tout cela, prenons donc 1997 comme l’année de naissance des tests unitaires). Et cette pratique des tests unitaires à l’air de plutôt bien fonctionner pour valider le fait qu’un morceau de code fait ce qu’il doit faire sans erreur ou malfonctionnement. Pourtant, comme les choses ne sont pas forcément parfaites, pourquoi donc ne pas tester d’autres façons de faire, pas forcément mieux, pas forcément pour remplacer nos anciennes méthodes, mais pour ajouter une corde à notre « arc à valider » que nos lignes de codes sont correctes. Commençons par faire un petit point théorique avant de plonger dans la pratique.

1. Les tests, petit point théorique

La plupart...