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