تخمین قابلیت اطمینان نرم افزار بااستفاده از عدم قطعیت
چکیده
به علت پیچیدگی و حساسیت نرم افزار، به چند پارامتر در نرم افزار توجه ویژه ای می شود که یکی از این موارد کیفیت نرم افزار می باشد، قابلیت اطمینان نرم افزار بعنوان یکی از زیر مجموعه های کیفیت نرم افزار می باشد، در کیفیت نرم افزار، قابلیت اطمینان نرم افزار از جایگاه ویژه و اهمیت خاصی برخوردار است. بدون تردید، قابلیت اطمینان یک نرم افزار کامپیوتری، عنصر مهمی از کیفیت کلی به شمار می رود. اگر برنامه ای به کرات از اجرا باز بماند، عوامل کیفی دیگر نرم افزار، اهمیت خود را از دست می دهند. بنابرین ارزیابی زود هنگام قابلیت اطمینان یک برنامه در چرخه حیات، که اطلاعات معماری، تست و قابلیت اطمینان مولفه هایش می باشند، ضروری است. در این پژوهش روشی برای ارزیابی قابلیت اطمینان نرم افزار با استفاده از تئوری شواهد ( دمپستر- شافر) برای کاهش عدم قطعیت در قابلیت اطمینان نرم افزار و نزدیکتر شدن به عملکرد واقعی نرم افزار ارائه خواهد شد. بطور کلی تئوری دمپستر- شافر بر روی فرضیه نقص نسبت به بخشی از شواهد (شکست ها) که جزئی از یک سیستم هستند عمل می کند. در این تحقیق با استفاده از تئوری شواهد سعی شده که عدم قطعیت را کاهش و همراه با کاهش عدم قطعیت به افزایش قابلیت اطمینان نرم افزار برسیم. که این امر جز با تشخیص دقیقتر زمان وقوع خطا امکان پذیرنیست.پس از انجام محاسبات و محاسبه جرم هر یک از خطاها و میزان باور و امکان ،اگر خطا ها دارای عدم قطعیت بیشتر و باور کمتر باشند نتیجه می گیریم که احتمال رخ دادن آن بسیار ناچیز خواهد بود و افزایش تابع امکان و نزدیک شدن به تابع باور و افزایش تابع باور وکاهش امکان باعث کاهش عدم قطعیت و کاهش شکست نرم افزار و افزایش قابلیت اطمینان نرم افزار می گردد . با استفاده از این خطا ها و تبدیل خطا از جرم به احتمال به محاسبه قابلیت اطمینان می پردازیم.