محمد جعفری - دانشجوی کارشناسی ارشد نرمافزار، دانشکده کامپیوتر، دانشگاه آزاد اسلامی، واحد دزفول
رضا زرچی - دانشجوی کارشناسی ارشد نرمافزار، دانشکده کامپیوتر، دانشگاه آزاد اسلامی، واحد دزفول
محمدرضا یوسفی نورالدین وند - دانشجوی کارشناسی ارشد نرمافزار، دانشکده کامپیوتر، دانشگاه آزاد اسلامی، واحد دزفول
علی براتی - دکتری تخصصی نرمافزار، دانشگاه آزاد اسلامی، واحد دزفول،استادیار،گروه مهندسی کامپیوتر دزفول

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

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