Communications of the ACS, Vol 9, No 1 (2016)

Font Size:  Small  Medium  Large

السداد النسبي: رابط بين التحقق و الإختبار

علي الميلي, وداد الغردلو

Abstract


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

الكلمات المفتاحية:   سداد البرمجيات، السداد النسبي، التحقق، الإختبار، عيوب، تصحيح العيوب.


Full Text: PDF