مروري نظام‌مند بر مدل‌سازي قابليت اطمينان نرم‌افزار

A Systematic Literature Review on Software Reliability Modeling

امروزه سيستم‌هاي نرم‌افزاري نقش مهمي در بسياري از كاربرد‌هاي حساس و بحراني ايفا مي‌كنند. گاهي رخ دادن خطا در نر‌م‌افزار مي‌تواند باعث ضررهاي مالي و حتي در برخي كاربردها باعث ضررهاي جاني گردد. به همين دليل تضمين قابليت اطمينان به عنوان يك نيازمندي غيركاركردي (كيفي) از اهميت بسزايي برخوردار است. يكي از اقدامات كليدي در تضمين عملكرد عاري از خطاي نرم‌افزار، اندازه‌گيري كمّي ميزان قابليت اطمينان مورد نياز است. تاكنون مدل‌هاي متعددي براي كمّي‌سازي قابليت اطمينان نرم‌افزار ارائه شده است. هر كدام از اين مدل‌ها داراي مزايا و محدوديت‌هايي هستند، لذا انتخاب مناسب‌ترين مدل در كاربردهاي مختلف اهميت فراواني دارد. در اين مقاله ابتدا به كمك يك روش نظام‌مند تحقيق، ضمن مرور دسته‌بندي‌هاي پُراستناد، يك مدل جامع و به‌روز براي دسته‌بندي روش‌هاي مختلف مدل‌سازي قابليت اطمينان نرم‌افزار ارائه مي‌نمابيم. هدف از ارائه دسته‌بندي پيشنهادي، تسهيل فرايند شناسايي و انتخاب مناسب‌ترين مدل قابليت اطمينان در كاربردهاي مختلف مي‌باشد. در نهايت بر مبناي تحليل مزايا و محدوديت‌هاي مدل‌هاي موجود‌، به مقايسه تطبيقي روش‌ها و بيان برخي از چالش‌ها و مسائل باز مرتبط مي‌پردازيم.

Nowadays software systems have very important role in a lot of sensitive and critical applications. Sometimes a small error in software could cause financial or even health loss in critical applications. So reliability assurance as a nun-functional requirement, is very vital. One of the key tasks to ensure error-free operation of the software, is to have a quantitative measurement of the software reliability. So far, many models have been proposed for quantification of the software reliability. Each of these models has its advantages and limitations, so selecting the best proper model for various applications is very crucial. In this article, first, we define the basic concepts of reliability, then we classify different approaches of software reliability modeling and finally, based on the analysis of the advantages and limitations, compare different approaches and mention some challenges and issues.