ایجاد آزمایه مبتنی بر جهش از طریق استراتژی انتخاب مسیر
عنوان انگلیسی
Mutation based test case generation via a path selection strategy
صفحات مقاله فارسی
51
صفحات مقاله انگلیسی
18
سال انتشار
2012
نشریه
الزویر - Elsevier
فرمت مقاله انگلیسی
PDF
فرمت ترجمه مقاله
ورد تایپ شده
رفرنس
دارد
کد محصول
5110
وضعیت ترجمه عناوین تصاویر و جداول
ترجمه نشده است
وضعیت ترجمه متون داخل تصاویر و جداول
ترجمه نشده است
رشته های مرتبط با این مقاله
مهندسی کامپیوتر و مهندسی فناوری اطلاعات IT
گرایش های مرتبط با این مقاله
طراحی و تولید نرم افزار، مهندسی الگوریتم ها و محاسبات، برنامه نویسی کامپیوتر و مهندسی نرم افزار
مجله
فناوری اطلاعات و نرم افزار (Information and Software Technology)
دانشگاه
گروه انفورماتیک، دانشگاه اقتصاد و کسب و کار، آتن، یونان
کلمات کلیدی
تست نرم افزار، تست واحد، تست جهش، تست مسیر، معیار بسندگی، مسیرهای غیر عملی
۰.۰(بدون امتیاز)
امتیاز دهید
فهرست مطالب
چکیده
1. مقدمه
2. پیش زمینه و آثار تحقیقی مرتبط
2.1. نشان گذاری و اصطلاحات
2.2. تست بر اساس مسیرهای انتخاب شده
2.3. معیار تست جهش
2.4. ایجاد آزمایه ها
2.4.1. اجرا نمادی
2.4.2. مسیر عملی و مشکل تغییر پذیر معادل
2.4.3. انتخاب تست هایی که تغییر پذیرها را حذف می کنند (می کشند)
2.5. مشکلات عملی مطرح شده توسط جهش
2.6. آثار تحقیقی مرتبط
3. روش استفاده شده
3.1. روش کوتاه ترین مسیر گسترش یافته
3.2. نمایش تغییر پذیر و انتخاب مسیر
3.3. انتخاب نموی (افزایشی) مسیرها
3.4. کنترل الزامات غیر عملی
3.5. معیار برای انتخاب تغییر پذیرهای پوشش داده نشده
4. یک سیستم تست جهش واحد
4.1. بررسی اجمالی
4.2. شرح مفصل
4.2.1. تجزیه گر
4.2.2. مدل های تست
نمونه چکیده متن اصلی انگلیسی
abstract Context: Generally, mutation analysis has been identified as a powerful testing method. Researchers have shown that its use as a testing criterion exercises quite thoroughly the system under test while it achieves to reveal more faults than standard structural testing criteria. Despite its potential, mutation fails to be adopted in a widespread practical use and its popularity falls significantly short when compared with other structural methods. This can be attributed to the lack of thorough studies dealing with the practical problems introduced by mutation and the assessment of the effort needed when applying it. Such an incident, masks the real cost involved preventing the development of easy and effective to use strategies to circumvent this problem. Objective: In this paper, a path selection strategy for selecting test cases able to effectively kill mutants when performing weak mutation testing is presented and analysed. Method: The testing effort is highly correlated with the number of attempts the tester makes in order to generate adequate test cases. Therefore, a significant influence on the efficiency associated with a test case generation strategy greatly depends on the number of candidate paths selected in order to achieve a predefined coverage goal. The effort can thus be related to the number of infeasible paths encountered during the test case generation process. Results: An experiment, investigating well over 55 million of program paths is conducted based on a strategy that alleviates the effects of infeasible paths. Strategy details, along with a prototype implementation are reported and analysed through the experimental results obtained by its employment to a set of program units. Conclusion: The results obtained suggest that the strategy used can play an important role in making the mutation testing method more appealing and practical.
نمونه چکیده ترجمه متن فارسی
چکیده
متن: به طور کلی، تجزیه و تحلیل جهش به عنوان یک روش تست قدرتمند شناخته شده است. محققان نشان داده اند که کاربرد ان به عنوان یک معیار تست، تمامی سیستم در حال تست را می آزماید درحالیکه آن موفق می شود تا نسبت به معیارهای تست ساختاری استاندارد عیب های بیشتری را آشکار سازد. با وجود این پتانسیل، جهش به صورت عملی به طور گسترده ای استفاده نمی شود و محبوبیتش در مقایسه با روش های ساختاری دیگر بطور چشمگیری کم است. این مسئله می تواند به سبب عدم وجود مطالعات جامعی باشد که به مشکلات عملی مطرح شده توسط جهش و ارزیابی تلاش های مورد نیاز در زمان استفاده از آن می پردازد. چنین اتفاقی، هزینه واقعی مربوط به جلوگیری توسعه آسان و موثر جهت استفاده از استراتژی هایی برای دور زدن این مشکل را پوشش می دهد.
هدف: در این مقاله، یک استراتژی انتخاب مسیر برای آزمایه های انتخاب شده که قادر است تا بطور موثری جهش ها را در زمان اجرای تست جهش ضعیف از بین ببرد، ارائه و تجزیه و تحلیل شده است.
روش: تلاش برای تست با تعداد تلاش هایی که آزماینده صورت می دهد تا آزمایه های بسندگی را ایجاد کند بطور زیادی همبستگی دارد. بنابراین، یک تاثیر معنا داری بر کارآمدی مرتبط با یک استراتژی ایجاد آزمایه، تاحد زیادی بر تعداد مسیرهای کاندید انتخاب شده بستگی دارد تا یک هدف پوششی از پیش تعریف شده بدست اید. بنابراین این تلاش می تواند مربوط به تعداد مسیرهای غیر عملی مواجه شونده در طول فرایند ایجاد آزمایه باشد.
نتایج:یک آزمایش، که به بررسی بیش از 55 میلیون مسیرهای برنامه می پردازد بر اساس یک استراتژی صورت می گیرد که تاثیرات مسیرهای غیر عملی را کاهش می دهد. جرئیات استراتژی، به همراه اجرای یک نمونه گزارش شده است و از طریق نتایج تجربی بدست آمده توسط بکارگیری اش در یک مجموعه ای از واحدهای برنامه تجزیه و تحلیل شده است.
نتیجه گیری: نتایج بدست آمده نشان می دهد که استراتژی استفاده شده نقش مهمی را در تبدیل روش تست جهش به یک روش جذاب تر و عملی تر ایفا می کند.