الگوریتم تولید فضای حالت نیمه توزیع شده برای آزمون مدل زبان شی بنیاد ربکا
محل انتشار: چهاردهمین کنفرانس سالانه انجمن کامپیوتر ایران
سال انتشار: 1387
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,686
فایل این مقاله در 8 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ACCSI14_142
تاریخ نمایه سازی: 26 مهر 1387
چکیده مقاله:
انفجار حالت یکی از مشکلات بنیادی در درستی یابی مدل های صوری است و تکنیک های متنوعی برای تخفیف آن پیشنهاد شده است. گروهی از این تکنیک ها سعی در توزیع حالات سیستم به منظور جلوگیری از انباشته شدن آنها در یک نود محاسبه گر می کنند که خود دشواری هایی در پیاده سازی و کارایی را به دنبال دارد. در این مقاله ما روشی برای تولید نیمه توزیع شده حالات مدل های مبتنی بر شی ارائه کرده ایم که در عین توزیع حالات بین چندین نود، ارجاعی سبک وزن از تمامی حالات را بصورت متمرکز نگهداری می کند. بدین ترتیب با بدست آمدن بسیاری از مزایای توزیع شده گی، تمامی مزایای الگوریتم های درستی یابی متمرکز مانند کاهش ها و انتزاع ها هم قابل استفاده است. نتایج آماری بدست آمده از اعمال این روش حاکی از افزایش میانگین کارایی سیستم به همراه قابلیت پشتیبانی از مدل هایی به مراتب بزرگتر از قبل است.
نویسندگان
محمدرضا رزازی
دانشگاه صنعتی امیرکبیر
احسان خامس پناه
دانشگاه صنعتی امیرکبیر، آزمایشگاه تحقیق و توسعه پیشرفته نرم افزار
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :