کاربرد خودکار تعامل مولفه ها درتوصیف ووارسی سیستم ها با استفاده از ابزار CoIn وDiVinE: مطالعه موردی سیستم سوخت رسانی خودروهای انژکتوری
Publish place: 2nd Lahijan National Conference on Software Engeering
Publish Year: 1391
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,532
This Paper With 7 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
LNCSE02_098
تاریخ نمایه سازی: 6 اسفند 1391
Abstract:
با افزایش پیچیدگی سیستم های کامپیوتری توسعه روشهای صوری جهت اثبات درستی آنها اهمیت مضاعفی پیدا کرده است دردنیای واقعی و درصنعت نرم افزار روشهای مختلفی برای تحلیل خودکار و وارسی سیستم ها وجود دارند کهبرخی از این روشها برای توصیف طراحی و وارسی سیستم های مبتنی برمولفه ها نیز مفید واقع شده اند یکی ازاین روشهای جدید خودکارهای تعامل مولفه ها است این خودکارها برای وارسی سیستم های بزرگ به کارمیروند به این ترتیب که سیستم های بزرگ به سیستم های کوچک تجزیه شده و ازاثبات درستی هریک از این زیرسیستم ها درستی کل سیستم استنتاج می شود هدف اصلی این مقاله استفاده از این خودکارها درتوصیف دقیق سیستم های نرم افزاری است که هم بصورت دستی و هم با استفاده از ابزار CoIn مدل شده و بعداز تولید کد coin درمحیط DiVinE قابل اجرا می گردد تا وارسی مدل نیز انجام شود.
Keywords:
توسعه مبتنی برمولفه خودکارتعامل مولفه تحلیل صوری , وارسی بررسی درستی زبانهای مبتنی برخودکارها , ابزار CoIn & DiVinE
Authors
جابر کریم پور
دانشگاه تبریز
ساناز خبرت
دانشگاه آزاد اسلامی زنجان
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :