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

چکیده

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

1-مقدمه

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