MARKOVIAN SOFTWARE RELIABILITY MODEL FOR TWO TYPES OF FAILURES WITH IMPERFECT DEBUGGING RATE AND GENERATION OF ERRORS

چكيده اين مقاله به بررسي قابليت يك مدل نرم افزاري بر اساس فرايند ماركوف مي پردازد. براي فرموله كردن روش، يك متغير تصادفي به نمايندگي از تعداد كل خطاهايي كه با موفقيت در يك نقطه مشخص از زمان تصحيح شده است تعريف كنيم. اين مدل بر اساس اين فرض مي باشد: دو نوع از شكست نرم افزار وجود دارد. علاوه بر اين مفاهيم محيط اشكال زدايي ناقص و پديده ايجاد خطا در نظر گرفته شده است. آناليز گذرا بر اساس تبديل لاپلاس و روش ماتريس براي پيدا كردن راه حل سيستم تفاضل معادلات ديفرانسيلي انجام شده است. تعدادي از شاخص هاي عملكردي براي ارزيابي قابليت اطمينان نرم افزار براي اين مدل مشتق شده است. نتايج عددي با كمك روش رانگه-كوتا نشان مي دهد كه چارچوب پيشنهادي براي تركيب هر دو مفهوم پديده اشكال زدايي ناقص و توليد خطا براي دو نوع خطا داراي قابليت پيش بيني نسبتا دقيق تري است.

Abstract This investigation deals with a software reliability model based on Markov process. For formulating the model, we define a random variable representing the cumulative number of faults successfully corrected upto a specified point of time. This model is based on the assumption that there are two types of software failures. Further the concepts of imperfect debugging environment and error generation phenomenon are taken into consideration. Transient analysis based on Laplace transform and matrix approach has been done to find the solution of the system of differential difference equations. Several performance indices for software reliability assessment are derived for this model. Numerical results with the help of Runge-Kutta Method show that the proposed framework incorporating both concepts of imperfect debugging phenomenon and error generation for two types of faults has a fairly accurate prediction capability.