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