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

سال انتشار: 1391
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 3,874

فایل این مقاله در 10 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

ICNMO01_343

تاریخ نمایه سازی: 19 اسفند 1391

چکیده مقاله:

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

کلیدواژه ها:

نویسندگان

صدیقه عباس آبادی

دانشجوی کارشناسی ارشد

همایون موتمنی

استادیار دانشگاه آزاد اسلامی واحد ساری

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Nianhua YANG, Huiqun YU. Hua SUN. Zhilin QIAN" Quantifying Software ...
  • YU Ruiqiang, HU ANG Zhiqiu "Operators for ana lysine software ...
  • Gyula Zsigmond, Szilvia Homolya, Marianna ...
  • Ravil I.Muhamedyev _ simuation models of reliability estimation of information ...
  • Internationa Conference On Nonlinear Modeling & Optimization 28-29 Aug. 2012, ...
  • transportation and co mmunicationt (relstat'9), 21-24 october2009, p424-428. ISBN978 -9984-8 ...
  • NSato, K.S. Trivedi "stochastic modeling of composite web services for ...
  • , NCS 4749, PP107-1 18, 2007 springer-verag berlin Heidelberg 2007 ...
  • Xiaojing Hu, Shixi Liu, Lisheng Ma"research _ dependability of virtual ...
  • Hoang Pham'"system software reliability" Spiger LundonLtd, ISBN1 852339500 pubished in ...
  • H.motameni, A.movaghar, M.fadavi Amiri "Mapping Activity diagram to petri net: ...
  • Irene Eusgeld, Falk Fraikin, Matthias Rohr, Felix Salfner, and Ute ...
  • Abebayehu Seifiu" S IMULATION AND ...
  • S T OCHASTIC PETRI NETS" A thesis submitted to the ...
  • نمایش کامل مراجع