مقالات کنفرانس بين المللي انجمن ايراني تحقيق در عمليات

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