مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

video

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

sound

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید:

251
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

دانلود:

522
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

استناد:

اطلاعات مقاله نشریه

عنوان

یک هیوریستیک جدید برای تشخیص بن بست در تحلیل ایمنی سیستم های نرم افزاری

صفحات

 صفحه شروع 73 | صفحه پایان 79

چکیده

تحلیل ایمنی سیستم های نرم افزاری, خصوصاً از نوع بحرانی-ایمنی, باید به طور دقیق انجام شود زیرا وجود حتی یک خطای کوچک در چنین سیستم هایی ممکن است نتایج فاجعه باری داشته باشد. ضمناً چنین تحلیلی باید قبل از پیاده سازی یعنی در مرحله طراحی و در سطح مدل انجام شود. وارسی مدل, یک روش دقیق و مبتنی بر ریاضی است که ایمنی سیستم های نرم افزاری را با دریافت مدلی از آن و بررسی تمام حالت های قابل دسترس مدل انجام می دهد. با توجه به پیچیدگی بعضی سیستم ها و مدل های آن, وارسی مدل ممکن است با مشکل انفجار فضای حالت مواجه شود, یعنی نتواند تمام حالت های قابل دسترس را پیمایش کند. یک راه حل برای حل مشکل انفجار فضای حالت در چنین سیستم هایی این است که به جای تأیید ایمنی, وارسی مدل سعی می کند آنها را با یافتن خطاهایی از جمله بن بست (در صورت موجود) رد کند. اگرچه قبلاً هیوریستیکی برای یافتن بن بست در فضای حالت مدل ارائه شده و آن را در چندین الگوریتم جستجوی مکاشفه ای ساده و تکاملی به کار برده اند ولی سرعت تشخیص آن پایین بوده است. این مقاله, یک هیوریستیک جدید برای یافتن بن بست در فضای حالت مدل ارائه می کند و سرعت تشخیص آن با به کار بردن در الگوریتم های جستجوی مکاشفه ای ساده از جمله عمقی تکرارشونده A* و جستجوی پرتو و الگوریتم های تکاملی مختلف از جمله ژنتیک, بهینه سازی ازدحام ذرات و بهینه سازی بیزی با روش قبلی مقایسه می شود. مقایسه نتایج تجربی تأیید می کنند که هیوریستیک جدید می تواند حالت بن بست را در زمان کمتری نسبت به هیوریستیک قبلی پیدا کند.

استنادها

  • ثبت نشده است.
  • ارجاعات

  • ثبت نشده است.
  • استناددهی

    APA: کپی

    پیرا، عین اله. (1401). یک هیوریستیک جدید برای تشخیص بن بست در تحلیل ایمنی سیستم های نرم افزاری. مهندسی برق و مهندسی کامپیوتر ایران - ب مهندسی کامپیوتر، 20(1 )، 73-79. SID. https://sid.ir/paper/964214/fa

    Vancouver: کپی

    پیرا عین اله. یک هیوریستیک جدید برای تشخیص بن بست در تحلیل ایمنی سیستم های نرم افزاری. مهندسی برق و مهندسی کامپیوتر ایران - ب مهندسی کامپیوتر[Internet]. 1401؛20(1 ):73-79. Available from: https://sid.ir/paper/964214/fa

    IEEE: کپی

    عین اله پیرا، “یک هیوریستیک جدید برای تشخیص بن بست در تحلیل ایمنی سیستم های نرم افزاری،” مهندسی برق و مهندسی کامپیوتر ایران - ب مهندسی کامپیوتر، vol. 20، no. 1 ، pp. 73–79، 1401، [Online]. Available: https://sid.ir/paper/964214/fa

    مقالات مرتبط نشریه ای

  • ثبت نشده است.
  • مقالات مرتبط همایشی

  • ثبت نشده است.
  • طرح های مرتبط

  • ثبت نشده است.
  • کارگاه های پیشنهادی






    بازگشت به بالا
    telegram sharing button
    whatsapp sharing button
    linkedin sharing button
    twitter sharing button
    email sharing button
    email sharing button
    email sharing button
    sharethis sharing button