الملخص
تقدم الورقة نموذجا جديدا لصياغة ظاهرة العول ونموها للبرمجيات قائماً على أساس عملية (بواسون) غير المتجانسة، والمفترض وجود نوعين من الأخطاء في البرمجيات: أخطاء رئيسيّة وأخطاء معتمده. الأخطاء الرئيسيّة هي تلك الأخطاء التي يمكن إزالتها مباشرة عند إخفاق البرمجيات. أما الأخطاء المعتمدة فهي تلك الأخطاء المخبأة داخل أخطاء رئيسية ويمكن إزالتها بعد إزالة الخطأ الرئيسي. لتمثيل ظاهرة تأخر إزالة الأخطاء المعتمدة تم إدخال الوقت المنقضي في النموذج. النموذج المقدم يلائم مجموعة متنوعة من منحنيات نمو العول في البرمجيات، وللتأكد من صلاحيته تم استخدام بيانات جمعت من اختبارات حقيقية للبرمجيات، والنتائج قورنت مع نماذج موثقة توثيقا جيداً في هندسة عول البرمجيات. بالإضافة إلى عرض صيغة الزمن المنفصل من النموذج المقدم.
Abstract
This paper proposes a new software reliability growth model (SRGM) based on the non-homogenous Poisson process (NHPP) that assumes the presence of two types of faults in the software namely, leading and dependent faults. Leading faults are those that can be removed upon a failure. But dependent faults are masked by the leading faults and can be removed only after the corresponding leading fault has been removed. A time dependent lag function has been introduced which can account for delay in removal of dependent faults. The proposed model has the ability to fit a variety of reliability growth curves and has been validated on actual software test data sets and its performance has been compared with well-documented SRGMs in the literature. A discrete version of the proposed model has also been presented. Keywords: Software Engineering, Software Testing, Software Reliability Growth Models (SRGMs), Non-Homogenous Poisson Process (NHPP)