Tests, fuzzing et couverture

Les contrats sont couverts par 54 tests : 50 tests TypeScript (Mocha, Chai et ethers v6) et 4 tests de fuzzing écrits en Solidity, exécutés 256 fois chacun avec des entrées aléatoires. La couverture des lignes des deux contrats de production est de 100 %, et la CI échoue en dessous. Les résultats de cette page ont été obtenus en lançant les commandes du projet sur la branche marceau, avec Node.js 22.

#Commandes

Depuis smart-contract/, après npm ci :

Dans la CI (.github/workflows/ci.yml, job contracts), l'ordre est : npm ci, npm audit --omit=dev --audit-level=critical, npm run typecheck, npm run lint, npm run test:coverage, npm run coverage:check, node scripts/export-abi.mjs --check, npm run slither. Voir Intégration continue.

#Organisation

#Fixture de référence

deployLotteryFixture déploie VRFCoordinatorV2_5Mock, crée un abonnement financé de 1 000 unités, puis BlockLucky avec une configuration volontairement petite pour atteindre les limites rapidement :

Les comptes Hardhat sont nommés deployer, admin, treasury, alice, bob, carol et outsider. Chaque test repart d'un instantané grâce à loadFixture, et avance le temps avec time.increase. La fixture readyToDrawFixture fait acheter 3 tickets à Alice, 5 à Bob et 2 à Carol (0,1 ETH au total), puis avance de 48 heures : le tour est tirable. Avec le mot aléatoire 5, c'est Bob qui gagne (tickets 3 à 7).

#Tests TypeScript de BlockLucky

Le titre du test de pause annonce « suspend les achats et le tirage », mais seul l'achat est vérifié. Le refus de requestDraw en pause est vérifié indirectement, par le test Automation en pause.

Les cinq tests du badge sont décrits dans Badge POAP.

#Tests de fuzzing Solidity

BlockLuckyFuzzTest déploie sa propre loterie : 0,01 ETH le ticket, 200 tickets, minimum 1, 50 par joueur, 2 jours, 10 % de commission. La fonction _buy(seed, players) génère entre 1 et 8 joueurs à partir de la graine, chacun achetant entre 1 et 20 tickets.

Ces tests vérifient une propriété de conservation : aucun wei n'est créé ni perdu entre les mises, la cagnotte, la commission et les remboursements.

#Résultat de npm test

Sortie obtenue, en omettant les avertissements de compilation des dépendances OpenZeppelin 4.9.6 tirées par Chainlink :

Compiled 6 Solidity files with solc 0.8.34 (evm target: prague)

Running Solidity tests

  test/BlockLucky.t.sol:BlockLuckyFuzzTest
    ✓ testFuzz_RejectsAnyIncorrectPayment(uint32,uint256) (runs: 256)
    ✓ testFuzz_RefundsReturnEveryContribution(uint256,uint8) (runs: 256)
    ✓ testFuzz_PrizeAndFeeMatchCollectedFunds(uint256,uint8,uint256) (runs: 256)
    ✓ testFuzz_ClaimsEmptyTheContractExactly(uint256,uint8,uint256) (runs: 256)

Running Mocha tests

  BlockLucky
    Déploiement
      ✓ ouvre le premier tour avec la configuration fournie (378ms)
      ✓ attribue les rôles d'administration à la Mairie
      ✓ refuse une configuration incohérente ou une adresse nulle (127ms)
    Achat de tickets
      ✓ enregistre l'achat, la contribution et émet TicketsPurchased (40ms)
      ✓ permet d'offrir des tickets : le bénéficiaire les détient, le payeur est remboursable (40ms)
      ✓ refuse un montant inexact ou une quantité nulle
      ✓ applique la limite de tickets par joueur
      ✓ refuse les achats au-delà du nombre maximal de tickets
      ✓ refuse les achats après la fin du tour
      ✓ refuse tout envoi direct d'ethers hors achat

  50 passing (1s)

54 passing (4 solidity, 50 mocha)

La sortie complète liste les 50 tests Mocha ; l'extrait ci-dessus en montre le début. L'ensemble s'exécute en quelques secondes.

#Couverture

npm run test:coverage affiche :

╔═════════════════════════════════════════════════════════════════════════════╗
║ File Coverage                                                               ║
╟────────────────────────────────────┬────────┬─────────────┬─────────────────╢
║ File Path                          │ Line % │ Statement % │ Uncovered Lines ║
╟────────────────────────────────────┼────────┼─────────────┼─────────────────╢
║ contracts\BlockLucky.sol           │ 100.00 │ 100.00      │ -               ║
║ contracts\BlockLuckyPOAP.sol       │ 100.00 │ 100.00      │ -               ║
║ contracts\test\ReentrantPlayer.sol │ 78.57  │ 81.25       │ 41, 45, 49      ║
║ contracts\test\RejectingPlayer.sol │ 100.00 │ 100.00      │ -               ║
╟────────────────────────────────────┼────────┼─────────────┼─────────────────╢
║ Total                              │ 98.56  │ 98.64       │                 ║
╚════════════════════════════════════╧════════╧═════════════╧═════════════════╝

Les lignes non couvertes de ReentrantPlayer.sol sont les deux affectations reentrySucceeded = true (lignes 45 et 49), qui ne s'exécuteraient que si la réentrance réussissait, et la ligne 41, le retour anticipé de receive. Leur non-exécution est le résultat attendu ; ce contrat de test est de toute façon exclu du seuil.

npm run coverage:check lit ensuite coverage/lcov.info, ne retient que les fichiers sous contracts/ hors contracts/test/, et compare la part de lignes couvertes au seuil COVERAGE_MIN_LINES (100 par défaut) :

OK  contracts/BlockLucky.sol : 100.00 % des lignes couvertes (171/171, seuil 100 %)
OK  contracts/BlockLuckyPOAP.sol : 100.00 % des lignes couvertes (19/19, seuil 100 %)

Le script sort en erreur si un contrat passe sous le seuil, ou si le rapport ne contient aucun contrat (couverture non lancée). Le rapport HTML détaillé est écrit dans smart-contract/coverage/html/, ignoré par Git.

#Rapport de gaz

npm run test:gas instrumente les tests Mocha. Extrait pour BlockLucky (en gaz, appels réels des tests) :

Pour BlockLuckyPOAP, mintBadge coûte de 108 864 à 143 064 gaz et setBaseUri 31 991 gaz.

Lecture des chiffres :

• L'achat domine le coût pour le citoyen. Il croît avec la quantité, car chaque ticket est une entrée de tableau. Par extrapolation, un achat de 100 tickets, le plafond par défaut, coûterait de l'ordre de 2,5 à 3 millions de gaz ; ce cas n'est pas mesuré par les tests. La dotation de bienvenue doit couvrir ces frais (voir Portefeuilles intégrés).
• Le tirage coûte environ 213 000 gaz à celui qui l'appelle, ici l'opérateur ; la réponse VRF, payée par l'abonnement, n'est pas mesurée par ce rapport car elle est exécutée par le mock.
• Les retraits sont bon marché, moins de 43 000 gaz.
• Les fonctions de lecture (getRound, isDrawReady…) apparaissent aussi dans le rapport, mais ne coûtent rien hors transaction.

#Ce qui n'est pas testé ici

• L'intégration avec le backend sur une vraie chaîne fait l'objet d'un job CI distinct (chain), qui construit l'image Docker du nœud et lance npm run test:chain dans backend/ : voir Tests sur une vraie chaîne.
• Les scripts de déploiement eux-mêmes ne sont pas testés automatiquement : seule leur bibliothèque de rôles l'est (roles.test.ts). deploy-local.ts est exercé à chaque démarrage du conteneur blockchain ; setup-vrf-sepolia.ts, deploy-sepolia.ts, register-automation-sepolia.ts et verify-sepolia.ts ne le sont pas.
• Le vrai coordinateur Chainlink n'est jamais appelé par les tests.