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