مروري بر روش‌هاي ارزيابي و مدل‌سازي سيستم‌هاي كامپيوتري

نرم¬افزار به شكل گسترده¬اي در همه جا استفاده مي¬شود و جامعه نيز به شكل فزاينده بر روي قابل اطمينان بودن آن حساب مي¬كند. با اين حال نرم¬افزار به شكل قابل توجهي پيچيده شده و با چنان سرعت زيادي تكامل مي¬يابد كه نمي¬توانيم آن¬را تحت كنترل قرار دهيم. از طرفي، اخيراً، محاسبات ابري با داده‌ي بزرگ به عنوان الگوي سرويس نرم‌افزار نسل بعدي شناخته مي شود. به هرحال، روش موثرِ ارزيابي اعتبار پذيريِ نرم افزار با در نظرگرفتن داده ي بزرگ و محاسبات ابري، به ميزان كمي ارائه شده اند. به طور خاص، داده ي بزرگ روي محاسبات ابري با استفاده از چندين نرم افزار مديريت مي‌شود كه عمل‌كرد صحيح آن نرم‌افزارها، نيازي حياتي براي كل آن مجموعه خواهد بود. بنابراين روش‌هاي ارزيابي و مدلسازي فراواني به منظور اطمينان از عمل‌كرد صحيح سيستم‌هاي نرم‌افزاري و ديگر سيستم‌هاي كامپيوتري ارائه شده‌اند كه در اين مقاله به معرفي و بررسي اجمالي تعدادي از آن‌ها مي‌پردازيم.