قابلیت اطمینان نرم­افزار به صورت احتمالی تعریف می­شود که یک نرم­افزار معین برای مدت زمانی مشخص در یک محیط خاص بدون خرابی کار کند. از اوایل دهه 1970، مدل­های مختلفی برای قابلیت اطمینان نرم­افزار ارائه شده­است. مدل­هاي قابليت اطمينان، يك ابزار قدرتمند براي پيش­بيني، كنترل و ارزيابي قابليت اطمينان نرم­افزار هستند. ابزارها و تكنيك­ها براي انتخاب مدل قابليت اطمينان نرم­افزار موجود در نوشته­هاي علمي، نمي­توانند با سطح بالايي از اطمينان استفاده شوند زيرا آنها تعداد محدودي از ملاك­هاي انتخاب مدل را استفاده مي­كنند. در این مقاله، سه نوع طبقه­بندی برای مدل­های قابلیت اطمینان نرم­افزار و نتیجه، یک الگوریتم برای انتخاب مدل دلخواه از بین مدل­های موجود ارائه گردیده ­است. در این مقاله هدف مروری بر مدلسازی قابلیت اطمینان نرم­افزار است.