مروری بر روش های ارزیابی و مدلسازی سیستم های کامپیوتری

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

Keywords:

ارزیابی , مدلسازی , سیستمهای کامپیوتری , قابلیت اطمینان