Tests de mutation centrés sur le gaz des contrats intelligents Ethereum

Résumé Les contrats intelligents (SC) sont des programmes incarnant une certaine logique commerciale stockée sur un réseau blockchain comme Ethereum. L'exécution des transactions sur les SC a un coût, mesuré en unités de gaz, qui dépend des opérations de bas niveau effectuées. Par conséquent, un mauvais choix de constructions de langage de haut niveau pourrait entraîner des frais excessifs pour les utilisateurs. Ainsi, un processus de test axé sur les déviations possibles de l'utilisation du gaz dans divers scénarios pourrait fournir des économies substantielles. Cet article présente une approche de test de mutation centrée sur le gaz pour prendre en compte le gaz consommé par les SC Solidity. Cette approche peut être utile pour améliorer la qualité des tests afin de détecter les problèmes liés au gaz, de raisonner sur des problèmes de performance qui ne se manifestent que dans certaines situations, et d'identifier des implémentations alternatives plus optimales. Nous définissons et mettons en œuvre plusieurs opérateurs de mutation spécifiquement conçus pour perturber la consommation de gaz tout en préservant la sémantique du contrat en général. Nos expériences utilisant plusieurs SC du monde réel montrent la faisabilité de la technique, certains mutants reproduisant des différences significatives dans la consommation et exposant certaines limites de gaz pas suffisamment strictes dans les transactions historiques. Par conséquent, notre approche se révèle être un bon allié pour prévenir l'apparition de problèmes liés au gaz et pose les bases pour les chercheurs cherchant à améliorer les pratiques de test de performance.