ارائه روشی رسمی و مبتنی بر الگو جهت بررسی خودکار سازگاری درمدل ها پس از باز آرایی

Publish Year: 1399
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 313

This Paper With 7 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این Paper:

شناسه ملی سند علمی:

CSICC26_050

تاریخ نمایه سازی: 22 اردیبهشت 1400

Abstract:

تکامل نرم افزار یکی از قسمت های مهم فرایند توسعه نرم افزار است. یکی از اثرات منفی ناشی از تکامل نرم افزار فرسایش طراحی است. باز آرایی یک تکنیک است که هدف آن مبارزه با این پدیده می باشد از این رو باز آرایی یکی از فرایندهای مهم توسعه نرم افزار می باشد که برای بهبود کیفیت نرم افزار بدون تغییر رفتار بیرونی آن صورت می گیرد. بازآرایی در سطح مدل همانند بازآرایی در سطح کد می باشد و مزایای مشابهی دارد با این تفاوت که باز آرایی در سطح مدل از آنجایی که در مراحل اولیه فرایند توسعه نرم افزار انجام می گیرد تاثیر بیشتری در کاهش هزینه و افزایش بهره وری دارد. انجام به موقع و مداوم این روال در یک پروژه نرم افزاری اثرات بلند مدت بسیار مثبتی برای آن خواهد داشت به ویژه زمانی که این امر با ابزار مخصوص به خود انجام گیرد آنگاه باز آرایی یک عمل سریع، آسان و امن برای بهبود کیفیت سیستم های نرم افزاری می باشد. ایده اصلی این پایان نامه بررسی خودکار سازگاری در بازآرایی مدل به منظور حفظ رفتار مدل با استفاده از زبان مدل سازی Alloy می باشد. به همین جهت با بکارگیری الگوهای رفتاری به عنوان یک مولفه قابل استفاده مجدد و خوش تعریف و قوانین سازگاری می توان این هدف را تحقق بخشید.

Keywords:

Authors

سعیده قائدی

دانشجوی کارشناسی ارشد، دانشکده مهندسی کامپیوتر، واحد نجف آباد، دانشگاه آزاد اسلامی، نجف آباد،

شهره آجودانیان

عضو هیات علمی، دانشکده مهندسی کامپیوتر، واحد نجف آباد، دانشگاه آزاد اسلامی، نجف آباد،