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

توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد

این مقاله، ترجمه شده یک مقاله مرجع و معتبر انگلیسی می باشد که به صورت بسیار عالی توسط متخصصین این رشته ترجمه شده است و به صورت فایل ورد (microsoft word) ارائه می گردد

متن داخلی مقاله بسیار عالی، پر محتوا و قابل درک می باشد و شما از استفاده ی آن بسیار لذت خواهید برد. ما عالی بودن این مقاله را تضمین می کنیم

فایل ورد این مقاله بسیار خوب تایپ شده و قابل کپی و ویرایش می باشد و تنظیمات آن نیز به صورت عالی انجام شده است؛ به همراه فایل ورد این مقاله یک فایل پاور پوینت نیز به شما ارئه خواهد شد که دارای یک قالب بسیار زیبا و تنظیمات نمایشی متعدد می باشد

توجه : در صورت مشاهده بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل می باشد و در فایل اصلی فایل ورد کامل پیش به سوی اتوماسیون تحلیل جهش اختصاص داده شده به انتقال مدل،به هیچ وجه بهم ریختگی وجود ندارد

تعداد صفحات این فایل: ۷۴ صفحه

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

کلمات کلیدی: MDE | تبدیل مدل | تجزیه و تحلیل جهش | ردیابی | جهش اپراتور

عنوان انگلیسی:

Towards an Automation of the Mutation Analysis Dedicated to Model Transformation

~~en~~ writers :

Vincent Aranega, Jean-Marie Mottu, Anne Etien, Thomas Degueule, Benoit Baudry, Jean-Luc Dekeyser

A major benefit of Model Driven Engineering (MDE) relies on the automatic generation of artefacts from
high-level models through intermediary levels using model transformations. In such a process, the input
must be well-designed and the model transformations should be trustworthy.
Due to the specificities of models and transformations, classical software test techniques have to be adapted.
Among these techniques, mutation analysis has been ported and a set of mutation operators has been defined.
However, mutation analysis currently requires a considerable manual work and suffers from the test data set
improvement activity. This activity is seen by testers as a difficult and time-consuming job, and reduces
the benefits of the mutation analysis. This paper addresses the test data set improvement activity. Model
transformation traceability in conjunction with a model of mutation operators, and a dedicated algorithm
allow to automatically or semi-automatically produce test models that detect new faults. The proposed
approach is validated and illustrated in a case study written in Kermeta. Copyright c 0000 John Wiley
& Sons, Ltd.

KEY WORDS: MDE | Model Transformation | Mutation Analysis | Traceability | Mutation Operator

$$en!!