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

  • سال انتشار: 1394
  • محل انتشار: هفتمین کنفرانس بین المللی فناوری اطلاعات و دانش
  • کد COI اختصاصی: ICIKT07_022
  • زبان مقاله: فارسی
  • تعداد مشاهده: 955
دانلود فایل این مقاله

نویسندگان

عین الله پیرا

دانشگاه اراک، دانشکده فنی و مهندسی

وحید رافع

دانشگاه اراک، دانشکده فنی و مهندسی

امین نیک انجام

دانشگاه صنعتی خواجه نصیرالدین طوسی، دانشکده مهندسی کامپیوتر

چکیده

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

کلیدواژه ها

داده کاوی، سبک معماری، سیستم تبدیل گراف، وارسی مدل، انفجار فضای حالت

مقالات مرتبط جدید

اطلاعات بیشتر در مورد COI

COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.

کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.