مروری نظاممند بر مدلسازی قابلیت اطمینان نرمافزار | ||
| مدل سازی در مهندسی | ||
| مقاله 22، دوره 15، شماره 50، 1396، صفحه 285-313 اصل مقاله (1.42 M) | ||
| نوع مقاله: پژوهشی | ||
| شناسه دیجیتال (DOI): 10.22075/jme.2017.2569 | ||
| نویسندگان | ||
| مهسا عاشمی مجد1؛ عباس رسولزادگان* 2؛ زهرا قویدل یزدی1 | ||
| 1دانشگاه فردوسی مشهد | ||
| 2دانشگاه فردوسی مشهد، دانشکده مهندسی، گروه مهندسی کامپیوتر | ||
| چکیده | ||
| امروزه سیستمهای نرمافزاری نقش مهمی در بسیاری از کاربردهای حساس و بحرانی ایفا میکنند. گاهی رخ دادن خطا در نرمافزار میتواند باعث ضررهای مالی و حتی در برخی کاربردها باعث ضررهای جانی گردد. به همین دلیل تضمین قابلیت اطمینان به عنوان یک نیازمندی غیرکارکردی (کیفی) از اهمیت بسزایی برخوردار است. یکی از اقدامات کلیدی در تضمین عملکرد عاری از خطای نرمافزار، اندازهگیری کمّی میزان قابلیت اطمینان مورد نیاز است. تاکنون مدلهای متعددی برای کمّیسازی قابلیت اطمینان نرمافزار ارائه شده است. هر کدام از این مدلها دارای مزایا و محدودیتهایی هستند، لذا انتخاب مناسبترین مدل در کاربردهای مختلف اهمیت فراوانی دارد. در این مقاله ابتدا به کمک یک روش نظاممند تحقیق، ضمن مرور دستهبندیهای پُراستناد، یک مدل جامع و بهروز برای دستهبندی روشهای مختلف مدلسازی قابلیت اطمینان نرمافزار ارائه مینمابیم. هدف از ارائه دستهبندی پیشنهادی، تسهیل فرایند شناسایی و انتخاب مناسبترین مدل قابلیت اطمینان در کاربردهای مختلف میباشد. در نهایت بر مبنای تحلیل مزایا و محدودیتهای مدلهای موجود، به مقایسه تطبیقی روشها و بیان برخی از چالشها و مسائل باز مرتبط میپردازیم. | ||
| کلیدواژهها | ||
| قابلیت اطمینان؛ مدلسازی قابلیت اطمینان؛ پیشبینی قابلیت اطمینان؛ تخمین قابلیت اطمینان؛ اندازهگیری کمّی قابلیت اطمینان | ||
| مراجع | ||
|
| ||
|
آمار تعداد مشاهده مقاله: 2,876 تعداد دریافت فایل اصل مقاله: 1,005 |
||
| تعداد نشریات | 22 |
| تعداد شمارهها | 722 |
| تعداد مقالات | 10,383 |
| تعداد مشاهده مقاله | 72,841,191 |
| تعداد دریافت فایل اصل مقاله | 64,538,198 |