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