ارائه راهکاری جهت مقابله با مشکل انفجار فضای حالت در سیستم های تبدیل گراف با استفاده از الگوریتم های پرندگان و جستجوی گرانشی
چکیده
چکیده: وارسی مدل، یک روش خودکار و راهکاری مناسب بهمنظور درستی یابی سیستم های نرم افزاری مطمئن است. در این سیستم ها، نمی توان ریسک بروز خطا را حتی در فرآیند تست پذیرفت و لذا لازم است فرآیند درستی یابی، قبل از پیاده سازی و در سطح مدل انجام شود. سیستم های تبدیل گراف، از پرکاربردترین سیستم های مدلسازی رسمی و راهکاری مناسب بهمنظور مدلسازی و وارسی سیستم های پیچیده هستند. اما این سیستم ها در فرآیند وارسی مدل از مشکل انفجار فضای حالت رنج می برند که در صورت گسترده بودن ابعاد مسئله و لذا بزرگ شدن فضای حالت مدل، سیستم با کمبود حافظه مواجه می شود. لذا هدف از این پژوهش، پیشنهاد راهکاری جهت مقابله با این مشکل در فرآیند وارسی سیستم های تبدیل گراف است. راهکارهای ارائهشده، به جای تولید کل فضای حالت، آن را در جهت رسیدن به یک حالت خطا بهطور مثال بنبست، هدایت می کنند. راهکار پیشنهادی بر مبنای الگوریتم پرندگان طراحی شده و برای جلوگیری از مشکل به دام افتادن در بهینه های محلی که مشکل اصلی این الگوریتم است، با الگوریتم جستجوی گرانشی که دارای قدرت خوبی در جستجوی محلی است، ترکیب شده است. در نهایت به منظور ارزیابی نتایج راهکارهای ارائهشده، این راهکارها در ابزار groove- از ابزارهای مدلسازی تبدیل گراف-پیاده سازی شده اند.
نویسندگان و وابستگی سازمانی
- مریم مرادی — دانشجو
- رزا یوسفیان — فارغ التحصیل
- وحید رافع — عضو هیئت علمی دانشگاه اراک