بررسی ابزارهای وارسی مدل و ارایه متامدل برای تولید برنامه های Rabbit
Publish Year: 1395
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 835
This Paper With 13 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CEPS04_088
تاریخ نمایه سازی: 11 مرداد 1396
Abstract:
از جمله روشهای تضمین کننده صحت و درستی سیستمهای کامپیوتری روش وارسیمدل میباشد. بهعبارت بهترروشهای وارسیمدل کوششی برای کاهش خطاهای طراحی و افزایش قابلیت اطمینان سیستمهای حیاتی و حساس بهشمارمیرود. از جمله پرکاربردترین ابزارها در بحث وارسیمدل، ابزار Rabbit میباشد که درکنار مزایای متعدد، از پیچیدگی ساختاری ذاتی مربوط به معماری و مولفههای تشکیل دهنده آن رنج می برد. لذا در این مقاله تلاش شده ضمن معرفیابزارهای وارسی مدل، متامدل خاص حوزه و نحو ذاتی گرافیکی برای برنامههای Rabbit معرفی کنیم تا با افزایش سطح انتزاع، سرعت تولید برنامهها و کارایی آن را تا حد امکان بهبود بخشیم
Keywords:
Authors
صابر گلوانی
دانشجوی کارشناسی ارشد، دانشگاه آزاد اسلامی واحد شبستر، ایران
آیاز عیسی زاده
عضو هیات علمی، گروه علوم کامپیوتر، دانشگاه تبریز، ایران
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :