Tests basés sur les propriétés en PHP : trouvez les bugs plus vite que vous ne les écrivez

Tests basés sur les propriétés en PHP : comment débusquer des bugs insoupçonnés

Avez-vous déjà eu l'impression que vos tests unitaires ressemblent à une lampe torche dans une pièce sombre : ils n'éclairent que ce que vous décidez de viser ? Vous écrivez des tests pour les cas évidents, vous vérifiez les valeurs limites, mais vous trouvez encore des bugs en production. Ça vous parle ?

Bienvenue dans l'univers des tests basés sur les propriétés en PHP. Ce n'est pas juste une nouvelle méthodologie à la mode. C'est un changement de paradigme : au lieu d'inventer des exemples concrets (example-based), vous décrivez des propriétés que votre code doit respecter, et vous laissez l'ordinateur générer des milliers de scénarios aléatoires.

Dans cet article, nous allons voir comment les tests basés sur les propriétés en PHP vous aident à détecter des défauts cachés que les tests classiques laissent passer. Vous découvrirez des exemples de code concrets, la bibliothèque Eris, et comprendrez pourquoi cette approche devient un standard dans les projets sérieux.

Qu'est-ce que le test basé sur les propriétés ?

Le terme vient de la programmation fonctionnelle (merci Haskell et la bibliothèque QuickCheck), mais l'idée est universelle. Au lieu d'écrire :

public function testAddition(): void\n{\n    $this->assertSame(4, add(2, 2));\n    $this->assertSame(0, add(-1, 1));\n    $this->assertSame(10, add(7, 3));\n}\n

Vous formulez une propriété : « Pour tous les entiers $a et $b, le résultat de l'addition add($a, $b) doit être égal à $b + $a (commutativité) ». Le framework génère des centaines de paires aléatoires et vérifie cette propriété.

La différence est colossale : vous n'êtes plus limité par votre imagination. La machine trouvera des combinaisons auxquelles vous n'auriez jamais pensé. Par exemple, que se passe-t-il si on passe un très grand nombre, zéro, une valeur négative ou null ?

Test basé sur les propriétés vs test basé sur les exemples : différences clés

\n
• Basé sur les exemples : vous écrivez une entrée spécifique et le résultat attendu. Rapide, clair, mais ne couvre que ce que vous avez prévu.
\n
• Basé sur les propriétés : vous décrivez des invariants (propriétés) et utilisez des générateurs de données aléatoires. Couvre des scénarios inconnus, mais nécessite une pensée plus abstraite.
\n

L'approche idéale est de combiner les deux : les tests basés sur les exemples pour documenter les cas typiques, et les tests basés sur les propriétés pour le stress-test et la recherche d'erreurs aux limites.

Pourquoi les tests basés sur les propriétés en PHP sont-ils indispensables ?

PHP est un langage dynamique avec un typage faible. Cela signifie que votre fonction peut recevoir n'importe quoi en entrée : une chaîne au lieu d'un nombre, un objet au lieu d'un tableau, null là où un int est attendu. Les tests basés sur les propriétés en PHP excellent pour détecter :

\n
• Les hypothèses implicites — « Je pensais que cette fonction recevait toujours un nombre positif ».
\n
• Les problèmes de types — la fonction échoue sur un float alors qu'elle attend un int.
\n
• Les valeurs limites — dépassement de capacité, tableaux vides, indices négatifs.
\n
• Les violations de contrats — la fonction ne préserve pas l'immutabilité ou retourne un type inattendu.
\n

C'est particulièrement précieux pour les projets éducatifs et les bibliothèques, où les utilisateurs peuvent passer n'importe quelles données. Si vous écrivez du code pour d'autres, les tests basés sur les propriétés sont votre filet de sécurité contre les erreurs stupides.

La bibliothèque Eris : l'outil pour les tests basés sur les propriétés en PHP

Dans l'écosystème PHP, plusieurs bibliothèques existent, mais la plus mature est Eris (un fork de l'Eris originale par Giorgio Sironi). Elle s'intègre avec PHPUnit et fournit de puissants générateurs et réducteurs (shrinking — la réduction automatique de l'exemple à son minimum reproduisant l'erreur).

Installation via Composer