استنتاج آماري مدل قابليت اطمينان نرم افزار با استفاده از فيلترسازي خطي

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