اختبار الطفرات للفيض العددي في عقود الإيثريوم الذكية

الفيض العددي هو ثغرة شائعة في عقود الإيثريوم الذكية (ESCs) وغالبًا ما يسبب خسائر اقتصادية كبيرة. لا يمكن تغيير عقود الذكاء بمجرد نشرها على سلسلة الكتل، وبالتالي تتطلب مزيدًا من الاختبار. يعد اختبار الطفرات طريقة اختبار تعتمد على الأخطاء والتي يمكن أن تحسن بشكل فعال كفاية الاختبار لعقود الذكاء. ومع ذلك، لا يمكن أن تؤدي الطرق الموجودة اختبار الطفرات بشكل فعال بشكل خاص للفيض العددي في ESCs. لذلك، من خلال تحليل الفيض العددي في ESCs، نقترح خمسة عوامل طفرات خاصة لمعالجة هذه الثغرة من حيث اكتشاف الكفاية في اختبار ESC. تم إجراء دراسة تجريبية على 40 عقدًا ذكيًا مفتوح المصدر لتقييم فعالية عوامل الطفرات المقترحة. تظهر النتائج أن: (1) يمكن لعوامل الطفرات التي اقترحناها إعادة إنتاج جميع 179 ثغرة فيض عددي في 40 عقدًا ذكيًا، وأن المتحولات الناتجة لديها معدل نجاح تجميع مرتفع ومعدل إنتاج ثغرات الفيض العددي مرتفع؛ علاوة على ذلك، (2) يمكن أن تجد المتحولات الناتجة أوجه القصور في طرق الاختبار الحالية بالنسبة لثغرة الفيض العددي، مما يوفر دعمًا فعالًا لتحسين كفاية الاختبار.