بررسی ابزارهای وارسی مدل و ارایه متامدل برای تولید برنامه های Rabbit
سال انتشار: 1395
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 833
فایل این مقاله در 13 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CEPS04_088
تاریخ نمایه سازی: 11 مرداد 1396
چکیده مقاله:
از جمله روشهای تضمین کننده صحت و درستی سیستمهای کامپیوتری روش وارسیمدل میباشد. بهعبارت بهترروشهای وارسیمدل کوششی برای کاهش خطاهای طراحی و افزایش قابلیت اطمینان سیستمهای حیاتی و حساس بهشمارمیرود. از جمله پرکاربردترین ابزارها در بحث وارسیمدل، ابزار Rabbit میباشد که درکنار مزایای متعدد، از پیچیدگی ساختاری ذاتی مربوط به معماری و مولفههای تشکیل دهنده آن رنج می برد. لذا در این مقاله تلاش شده ضمن معرفیابزارهای وارسی مدل، متامدل خاص حوزه و نحو ذاتی گرافیکی برای برنامههای Rabbit معرفی کنیم تا با افزایش سطح انتزاع، سرعت تولید برنامهها و کارایی آن را تا حد امکان بهبود بخشیم
کلیدواژه ها:
نویسندگان
صابر گلوانی
دانشجوی کارشناسی ارشد، دانشگاه آزاد اسلامی واحد شبستر، ایران
آیاز عیسی زاده
عضو هیات علمی، گروه علوم کامپیوتر، دانشگاه تبریز، ایران
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :