إحصاء البرنامج الهيكلي لاختبار المجمع بدقة

يمكن اعتبار البرنامج هيكلًا نحويًا P (هيكل نحوي) مُعَامَل بواسطة مجموعة من المعرفات V (أسماء المتغيرات). تقدم هذه الورقة مشكلة إحصاء البرنامج الهيكلي (SPE): بالنظر إلى هيكل نحوي P ومجموعة من المتغيرات V ، قم بإحصاء مجموعة من البرامج P التي تُظهر جميع أنماط استخدام المتغيرات الممكنة في P. تقترح تحقيقًا فعالًا لـ SPE من أجل اختبار المجمع بطريقة منهجية ودقيقة من خلال الاستفادة من ثلاث ملاحظات مهمة: (1) تظهر البرامج ذات أنماط استخدام متغيرات مختلفة اعتمادًا مختلفًا على التحكم والبيانات، وتساعد في استغلال تحسينات مختلفة في المجمع؛ (2) تم الكشف عن معظم أخطاء المجمع الحقيقية من خلال اختبارات صغيرة (أي P صغيرة الحجم) - هذه الملاحظة ذات النطاق الصغير تفتح مجال SPE للتحقق العملي من المجمع؛ و (3) SPE شامل بالنسبة لهياكل نحوية ومجموعات متغيرات معينة، مما يوفر مستوى من الضمان غائب عن جميع تقنيات اختبار المجمع الحالية.