إيفوسويت

للعثور على عيوب في البرامج، يحتاج المرء إلى حالات اختبار تنفذ البرنامج بشكل منهجي، وأوراكل تُقيّم صحة السلوك الملحوظ عند تشغيل هذه الحالات. تعرض هذه الورقة أداة إيفوسويت، التي تولد تلقائيًا حالات اختبار مع تأكيدات للفئات المكتوبة بلغة جافا. لتحقيق ذلك، تطبق إيفوسويت نهجًا هجينًا جديدًا يولد ويُحسن مجموعات الاختبار الكاملة من أجل تلبية معيار التغطية. بالنسبة لمجموعات الاختبار المنتجة، تقترح إيفوسويت أوراكل محتملة عن طريق إضافة مجموعات صغيرة وفعالة من التأكيدات التي تلخص السلوك الحالي بإيجاز؛ تتيح هذه التأكيدات للمطور اكتشاف الانحرافات عن السلوك المتوقع، والتقاط السلوك الحالي للحماية من العيوب المستقبلية التي قد تكسر هذا السلوك.