دانلود مروری بر مدل مارکوف برای ارزیابی قابلیت اطمینان نرم افزار
دسته بندي :
علوم پایه »
دانلود پاورپوینت های علمی
لینک دانلود و خرید پایین توضیحات
دسته بندی : پاورپوینت
نوع فایل : powerpoint (..ppt) ( قابل ويرايش و آماده پرينت )
تعداد اسلاید : 31 اسلاید
قسمتی از متن powerpoint (..ppt) :
بنام خدا
مروری بر مدل مارکوف برای ارزیابی قابلیت اطمینان نرم افزار
اهمیت موضوع
قابلیت اطمینان نرم افزار جنبه بسیار مهمی در هر نرم افزار است.
کیفیت یک سیستم کامپیوتری به طور موثری وابسته به نرم افزار است و آن نیز به طور مناسبی وابسته به قابلیت اطمینان نرم افزار است.
قابلیت اطمینان نرم افزار، توانائی نرم افزار در انجام کارکردهای سیستم تحت شرایط محیطی داده شده برای مدت زمان ویژه با در نظر گرفتن تمام دقت نرم افزار است.
مدل مارکوف برای نمایش معماری نرم افزار و تهیه یک ابزار برای تحلیل قابلیت اطمینان نرم افزار است.
در این گزارش نقش مدل مارکوف و کاربرد آن در ارزیابی قابلیت اطمینان نرم افزار بحث می شود.
مدل مارکوف
مدل مارکوف فرایندی اتفاقی است که معمولا به صورت memory less توصیف می شود.
در این مدل حالت بعدی فقط به حالت جاری وابسته است و به توالی رخدادهائی که سپری شده وابسته نیست.
با استفاده از مدل مارکوف، یک مدل آماری از نرم افزار کشیده شده است که در آن هر امکان استفاده از نرم افزار دارای یک احتمال وقوع است.
آمارهای مختلفی مانند نرخ نقص ارزیابی و میانگین زمانی نقص نرم افزار محاسبه می شود.
مزایای استفاده از مدل مارکوف
رهیافت مدلسازی ساده
تکنیکهای مدیریت افزونگی: سیستمهای نیازمند به بازپیکربندی به سادگی در مدل ثبت می شوند.
پوشش: نقصهای پوشیده شده و ناپوشیده مؤلفه ها، رویدادهای دوبه دو ناسازگارند.
سیستمهای پیچیده: تکنیکهای ساده سازی سیستم های پیچیده
رویدادهای مرحله به مرحله: محاسبه نتیجه دنباله ای از زیررویدادها