ارائه روشی به منظور درستییابی سیستمهای نرم افزاری مدل شده در یک سیستم تبدیل گراف
محل انتشار: همایش ملی علوم و مهندسی کامپیوتر
سال انتشار: 1391
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 910
فایل این مقاله در 7 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
NCCSE01_146
تاریخ نمایه سازی: 9 بهمن 1392
چکیده مقاله:
وارسی مدل یک روش کاملأ اتوماتیک و راهکاری مناسب، به منظور تولید سیستمهای نرم افزاری مطمئن بشمار میرود. سیستم های مبتنیبر گراف به عنوان یکی از زبانهای مدلسازی رسمی، پرکاربردترین آنها و نیز روشی مناسب برای مدلسازی سیستم های پیچیده توزیع شده می باشند.یکی از مشکلات موجود در وارسی مدل برخی از سیستم های تبدیل گراف، ضعف در قدرت وارسی آنهاست که امکان بررسی بعضی از خصوصیات مورد نظر را ندارند. لذا هدف از ارائه این مقاله، ارائه راهکاری جهت رفع این مشکل در برخی از ابزارهای وارسی مدل مبتنی بر گراف می باشد تا بتوان با اطمینان کامل، سیستم نرمافزاری مدل شده در این ابزارها را مورد وارسی دقیق قرار داد. در الگوریتم ارائه شده، ابتدا یک خروجی مناسب از سیستم تبدیل گراف تولید کرده، سپس بصورت کاملأ مکانیزه با ابزارهای وارسی مدل (که از صحت آن در وارسی دقیق مدل اطمینان داریم)، مورد وارسی قرار می گیرد. روش ارائه شده در AGG، یک سیستم تبدیل گراف لایه ای، به منظور بررسی نتایج و عملکرد این الگوریتم، پیاده سازی شده است.
کلیدواژه ها:
نویسندگان
عبدالرسول پیمانی
دانشگاه آزاد اسلامی واحد اراک، گروه کامپیوتر،اراک، ایران
رزا یوسفیان
آموزشکده فنی حرفه ای سما، دانشگاه آزاد اسلامی واحد خمینی شهر، اصفهان، ایران
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :