شماره ركورد كنفرانس
4670
عنوان مقاله
استنتاج آماري مدل قابليت اطمينان نرمافزار با استفاده از فيلترسازي خطي
پديدآورندگان
حيدري حمزه hamze1368@yahoo.com گروه مهندسي برق-كنترل، دانشكده مهندسي برق و كامپيوتر، دانشگاه تهران، تهران؛ , اسماعيلي محمد amir_esmaily@yahoo.com گروه مديريت بازرگاني، دانشكده مديريت، دانشگاه فردوسي مشهد، مشهد؛ , سخايي بهرنگ behrang.s@gmail.com گروه مهندسي برق-كنترل، دانشكده مهندسي، دانشگاه فردوسي مشهد، مشهد؛
تعداد صفحه
6
كليدواژه
قابليت اطمينان نرمافزار , پروفايل عملياتي , فيلترسازي خطي , روش ابداعات , نظريه مارتينال
سال انتشار
1397
عنوان كنفرانس
پنجمين كنفرانس بين المللي قابليت اطمينان و ايمني
زبان مدرك
فارسي
چكيده فارسي
در اينجا استنتاج آماري از يك مدل قابليت اطمينان نرمافزار كه دربرگيرنده پروفايل عملياتي آن نرمافزار ميباشد، مورد بررسي قرار ميگيرد. در اين مدل، نرخ لحظهاي شكست نرمافزاري به تعداد عيبهاي باقيمانده و همچنين وضعيت عملياتي سيستم نرمافزاري وابسته است و فرض بر اين است كه مطابق با يك فرآيند ماركوف در طول زمان تغيير ميكند. استنتاج آماري با استفاده از نظريه فيلترسازي خطي و با بكارگيري روش ابداعات و نظريه مارتينال انجام ميپذيرد. استنتاج، در دو سطح اطلاعاتي متفاوت مطرح ميشود؛ استنتاجهايي كه صرفا با مشاهده فرآيند شكست تعريف ميشوند و آنهايي كه با فرآيندهاي شكست و عملياتي بيان ميگردند. همچنين براساس دادههاي رؤيت شده، پيشبيني قابليت اطمينان نرمافزار مطرح ميشود و قاعدهاي صريح، مشروط بر دادههاي موجود، براي قابليت اطمينان نرمافزار ارائه ميگردد.
كشور
ايران
لينک به اين مدرک