پریناز زیدی - دانشجوی کارشناسی ارشد مهندسی کامپیوتر گرایش نرم افزار دانشکده فنی مهندسی دانشگاه آزاد خوراسگان اصفهان ایران
تقی جاودانی - دکترای مهندسی کامپیوتر گرایش نرم افزار

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

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