بناء مجموعة اختبارات التفاعل للأنظمة القابلة للتكوين بدرجة عالية في وجود قيود: نهج طماع

استكشف الباحثون تطبيق أساليب اختبار التفاعل التوافقي (CIT) لبناء عينات لدفع الاختبار المنهجي لتكوينات نظم البرمجيات. يؤدي تطبيق CIT على نظم البرمجيات القابلة للتكوين بدرجة عالية إلى تعقيد بسبب وجود قيود بين معايير التكوين المحددة تجعل بعض التركيبات غير صالحة. تفتقر العديد من خوارزميات CIT إلى آلية لتجنب هذه المشكلة. في الأعمال الأخيرة، تم دمج أساليب حل القيود الآلي مع أساليب بناء CIT المعتمدة على البحث لمعالجة مشكلة القيود بنتائج واعدة. ومع ذلك، يمكن أن تترتب على هذه التقنيات زيادة غير بسيطة في التكلفة. في هذه الورقة، نبني على أعمالنا السابقة لتطوير عائلة من خوارزميات توليد عينات CIT الطماعة التي تستفيد من الحسابات التي تقوم بها حلول SAT البولیانية الحديثة لتقليل فضاء البحث لمشكلة CIT. نقوم بإجراء تقييم مقارن للتكلفة-الفعالية لهذه الخوارزميات على أربعة نظم برمجية قابلة للتكوين بدرجة عالية في العالم الحقيقي وعلى مجموعة من الأمثلة الاصطناعية التي تتشارك خصائص تلك الأنظمة. تسهم تقنياتنا مجتمعة في تقليل تكلفة CIT في وجود القيود إلى 30 في المئة من تكلفة أساليب CIT غير المقيدة المستخدمة على نطاق واسع دون التضحية بجودة الحلول.