دانلود مقاله ترجمه شده پیش به سوی اتوماسیون تحلیل جهش اختصاص داده شده به انتقال مدل

چکیده

استفاده عمده از مهندسی مدل رانده (MDE) بستگی به تولید خودکار مواد مصنوع حاصل از مدل های سطح بالا از طریق مراحل میانی، با استفاده از انتقال مدل، دارد. در چنین فرایندی، ورودی باید به خوبی طراحی شود و انتقال مدل باید مورد اطمینان باشد. به سبب ویژگی های مدل ها و انتقالات، تکنیک های تست نرم افزاری کلاسیک باید سازگار شوند. در بین این تکنیک ها، تجزیه و تحلیل جهش مناسب است و در این راستا تعدادی اپراتور جهش تعریف شده اند. اگرچه تجزیه و تحلیل جهش نیازمند کار دستی قابل توجه و فعالیت توسعه مجموعه تست داده می باشد. این فعالیت از نظر تست کنندگان کاری سخت و زمان بر می باشد و مزایای تجزیه و تحلیل جهش را کاهش می دهد. این مقاله فعالیت توسعه دستگاه تست داده را مورد توجه قرار داده است. قابلیت ترسیم انتقال مدل در ارتباط با یک مدل اپراتور جهش و یک الگوریتم اختصاصی اتوماتیک یا نیمه اتوماتیک، مدل های تستی را تولید خواهد کرد که خطاهای جدید را می یابند. دیدگاه پیشنهادی توسط مطالعه موردی که در کرمتا نوشته شده است ارزشگذاری و نشان داده شده است.

1-مقدمه

مهندسی مدل رانده بستگی به مدل دارد تا طراحی سیستم را ارائه نماید. انتقالات مدل سرمایه های مهمی در MDE به شمار می روند که اقدامات اساسی در ساخت سیستم های نرم افزاری پیچیده را به صورت خودکار در می آورند (یعنی آنها می توانند محصولات مصنوعی را از یک لایه انتزاعی به یک سطح پایین تر انتقال دهند). برای مثال، در پروژه گسپارد2، انتقالات مدل به طور خودکار کد منبع را برای زبان های مختلف همچون OpenMP (کاربرد محاسباتی مهندسی دارد) یا  VHDL (کاربرد جاسازی دارد) با استفاده از مدل های UML، تولید می کند...