ارائه روشی به منظور درستییابی سیستمهای نرم افزاری مدل شده در یک سیستم تبدیل گراف
Publish place: National Conference on Computer Science and Engineering
Publish Year: 1391
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 883
This Paper With 7 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
NCCSE01_146
تاریخ نمایه سازی: 9 بهمن 1392
Abstract:
وارسی مدل یک روش کاملأ اتوماتیک و راهکاری مناسب، به منظور تولید سیستمهای نرم افزاری مطمئن بشمار میرود. سیستم های مبتنیبر گراف به عنوان یکی از زبانهای مدلسازی رسمی، پرکاربردترین آنها و نیز روشی مناسب برای مدلسازی سیستم های پیچیده توزیع شده می باشند.یکی از مشکلات موجود در وارسی مدل برخی از سیستم های تبدیل گراف، ضعف در قدرت وارسی آنهاست که امکان بررسی بعضی از خصوصیات مورد نظر را ندارند. لذا هدف از ارائه این مقاله، ارائه راهکاری جهت رفع این مشکل در برخی از ابزارهای وارسی مدل مبتنی بر گراف می باشد تا بتوان با اطمینان کامل، سیستم نرمافزاری مدل شده در این ابزارها را مورد وارسی دقیق قرار داد. در الگوریتم ارائه شده، ابتدا یک خروجی مناسب از سیستم تبدیل گراف تولید کرده، سپس بصورت کاملأ مکانیزه با ابزارهای وارسی مدل (که از صحت آن در وارسی دقیق مدل اطمینان داریم)، مورد وارسی قرار می گیرد. روش ارائه شده در AGG، یک سیستم تبدیل گراف لایه ای، به منظور بررسی نتایج و عملکرد این الگوریتم، پیاده سازی شده است.
Keywords:
Authors
عبدالرسول پیمانی
دانشگاه آزاد اسلامی واحد اراک، گروه کامپیوتر،اراک، ایران
رزا یوسفیان
آموزشکده فنی حرفه ای سما، دانشگاه آزاد اسلامی واحد خمینی شهر، اصفهان، ایران
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :