دانلود ترجمه مقاله ایجاد آزمایشی بر اساس جهش توسط راهبرد انتخاب مسیر – مجله الزویر

• فهرست مطالب:

چکیده
۱٫ مقدمه
۲٫ پیش زمینه و آثار تحقیقی مرتبط
۲٫۱٫ نشان گذاری و اصطلاحات
۲٫۲٫ تست بر اساس مسیرهای انتخاب شده
۲٫۳٫ معیار تست جهش
۲٫۴٫ ایجاد آزمایه ها
۲٫۴٫۱٫ اجرا نمادی
۲٫۴٫۲٫ مسیر عملی و مشکل تغییر پذیر معادل
۲٫۴٫۳٫ انتخاب تست هایی که تغییر پذیرها را حذف می کنند (می کشند)
۲٫۵٫ مشکلات عملی مطرح شده توسط جهش
۲٫۶٫ آثار تحقیقی مرتبط
۳٫ روش استفاده شده
۳٫۱٫ روش کوتاه ترین مسیر گسترش یافته
۳٫۲٫ نمایش تغییر پذیر و انتخاب مسیر
۳٫۳٫ انتخاب نموی (افزایشی) مسیرها
۳٫۴٫ کنترل الزامات غیر عملی
۳٫۵٫ معیار برای انتخاب تغییر پذیرهای پوشش داده نشده
۴٫ یک سیستم تست جهش واحد
۴٫۱٫ بررسی اجمالی
۴٫۲٫ شرح مفصل
۴٫۲٫۱٫ تجزیه گر
۴٫۲٫۲٫ مدل های تست

• بخشی از ترجمه:

۷٫ نتیجه گیری
این مقاله به مسائل کاربردی روش تست جهش ضعیف و به خصوص میزان تلاشی که در عمل برای اجرای آن لازم است پرداخت. برای ارزیابی تلاش لازم، یک آزمایشی با ۳۰ واحد برنامه ها انجام شد که از یک استراتژی انتخاب مسیر موثر استفاده می کرد که در مبنای قیاسی تلاش غیر ضروری صرف شده برای مسیرهای غیر عملی را رفع می کردند. نمونه ای از ۳۰ واحد از طریق مطالعات قبلی همانند مقالات (۲۱، ۳۲، ۶، ۴۳) شکل گرفت. روش بکاربرده شده در مقاله حاضر، در تلاش برای کاهش تلاش لازم در تست جهش توسط اجتناب از حضور مسیرهای غیر عملی نشان داد که موثر است. این امر از طریق تبدیل مسئله پوشش جهش درون یک پوشش گره بوسیله ی معرفی CFG بهبود یافته بدست آمد. پوشش دادن تمامی گره ها در این گراف معادل پوشش دادن تمامی تغییرپذیرهای وارد شده است. بر مبنای این امر، تمامی تغییر پذیرهای معادل گره های غیر عملی در CFG بهبود یافته را نشان می دادند. بنابراین، با در نظر گرفتن مسائل فوق، روش های مبتنی بر مسیر می تواند برای حمایت از تست جهش استفاده شوند.

• بخشی از مقاله انگلیسی:

۷٫ Conclusion

This paper addresses application issues of the weak mutation testing method, and in particular, the extent of the effort that in practice is entailed by employing it. To assess the effort involved, an experiment with 30 unit programs was conducted that uses an effective path selection strategy that alleviates in an a priori basis the unnecessary effort spent on infeasible paths. The sample of the 30 units is formed from the ones used in previous studies such as in [21,32,6,43]. The method employed in the present work, has been proved to be effective in an attempt to diminish the effort involved in mutation testing by avoiding the presence of infeasible paths. This is achieved by transforming the mutation coverage problem into a node coverage one by introducing the Enhanced CFG. Covering all nodes in this graph is equivalent to covering all inserted mutants. Based on this, all equivalent mutants signify infeasible nodes in the Enhanced CFG. Thus, in view of the above, path based methods can be utilised to support mutation testing.

دانلود رایگان مقاله انگلیسی

   خرید ترجمه فارسی مقاله