ارائه یک روش تولید خودکار داده های ورودی برای تست جهش-پایان نامه
عنوان پایان نامه :
ارائه یک روش تولید خودکار داده های ورودی برای تست جهش
یک صفحه از متن پایان نامه فقط برای نمونه :
1-1-1-1 شیوهی اجرای کد جهش یافته
به طور کلی کد جهش یافته را به سه صورت میتوان اجرا کرد که در اصلاح به آن، جهش قوی[1]، جهش ضعیف [2]و جهش محکم [3]میگویند :
جهش قوی: این روش برای اولین بار توسط R. A. DeMillo [4] مطرح شد. دو برنامه (جهش یافته و نیافته) به طور مجزا در این روش اجرا میشوند و خروجی حاصل از اجرای آنها تنها پس از اجرای کامل خطوط هر دو برنامه (جهت مشاهدهی تغییر) با یکدیگر مقایسه خواهد شد که این روش از نظر هزینه به صرفه نیست.
جهش ضعیف: در روش اجرای ضعیف جهش فرض میشود که برنامه از یک مجموعهی n مؤلفه مانند تشکیل شده است که در هر مؤلفه میتوانیم به طور مجزا جهش ایجاد کرده وآنرا با نشان میدهیم سپس برای از بین بردن جهشهای برای مولفهی جهش یافته، دادههای تست مناسب تولید میکنیم و خروجی حاصل از اجرای همان مؤلفه را با خروجیهای مولفهی نظیر در برنامه اصلی، مقایسه میکنیم در صورت مشاهدهی تغییر، جهش از میان رفته است. مولفههای هر برنامه را به پنج دستهی منبع متغییرها، متغییرهای تخصیص یافته، عبارت محاسباتی، عبارت ارتباطی و عبارت منطقی تقسیم میشود. A. J. Offutt [22] این ایده را گسترش داده و چهار متغییر برحسب نقطه از کد که خروجی برنامهی جهش یافتهی آن با خروجی برنامهی اصلی مقایسه میشود تعیین میگردد این چهار متغییر عبارتند از:
- (Expression-weak/1)EX-weak/1: نقطهی پایان اجرا و مقایسه خروجی در عبارتهای داخلی کد برنامه بعد از اولین اجرا و پیرامون عبارت جهش یافته در برنامه است.
[1] Strong mutation
[2] Weak mutation
[3] Firm mutation
دانلود رایگان فایل دموی این پایان نامه(فقط حاوی ده صفحه از صفحات پایان نامه با فرمت ورد):
پایان نامه ارائه یک روش تولید خودکار داده های ورودی برای تست جهش
دانلود رایگان فایل دموی این پایان نامه(فقط حاوی ده صفحه از صفحات پایان نامه با فرمت pdf):
پایان نامه ارائه یک روش تولید خودکار داده های ورودی برای تست جهش
