قالب وردپرس

دانلود پایان نامه ارشد فناوری اطلاعات: ارائه یک روش تولید خودکار داده های ورودی برای تست جهش

دانلود پایان نامه

عنوان پایان نامه :

 ارائه یک روش تولید خودکار داده های ورودی برای تست جهش

یک صفحه از متن پایان نامه فقط برای نمونه :

 

 

  • اثر اتصال: داده­ی تستی که قادر است تمام تفاوت­های یک برنامه­ی صحیح را از یک برنامه­­ی نادرست با استفاده از شناسایی خطاهای ساده تشخیص دهد آن­قدر نسبت به وجود خطا حساس است­که می تواند خطاهای پیچیده تر را نیز تشخیص دهد. در حقیقت خطاهای ساده به خطاهای پیچیده متصل هستند[4].

 

Offutt, A Jefferson [6] موضوع اثر اتصال را به طور دقیق­تر، و در تست جهش بررسی کرده است. برای این کار، ابتدا برای تولید جهش­های پیچیده­تر تغییراتی در سیستم مٌدرا ایجاد می­کند سپس با قرار دادن این جهش­ها در برنامه­هایی مانند تشخیص نوع مثلث[1]، جستجو[2]، و یافتن [3]میانه به صورت تجربی نشان می­دهد جهش­های ساده­تر، دشوارتر از جهش­های پیچیده­تر از میان می­روند و تعریفی را برای فرضیه اتصال در تست جهش به این صورت مطرح می­کند: اتصال جهش­های پیچیده به جهش­های ساده­ به گونه­ای است ­که داده­ها­ی تست، درصد بیشتری از جهش­های پیچیده را نسبت به جهش­های ساده شناسایی می­کند. برای اثبات این قضیه در برخی مقالات مانند [4] تنها با استفاده از مشاهدات تجربی بیان شده است اما در این زمینه مقالاتی برای ارائه یک اثبات دقیق و ریاضی نیز یافت می­شود. به عنوان نمونه K. Kapoor [7] نظریه اتصال را برای فرمول­های بولی و نقص­های منطقی به صورت رسمی تحلیل می­کند. یکی از موضوعاتی که با اثر اتصال جهش­ها ارتباط نزدیکی دارد سطح جهش­ها است که به این صورت تعریف می­شود جهش سطح n  ام از ترکیب جهش­های سطح اول، دوم، سوم تا n-1 ام بدست می­آید. جهش­های سطح اول همان نقص­ها هستند که به صورت مصنوعی به کد برنامه تزریق می­شوند و جهش­های سطوح بالاتر هر ترکیبی از جهش­های سطح اول است. Yue Jia *, Mark Harman [8] جهش­های سطح بالاتر را براساس دو پارامتر متصل [4]بودن و شامل [5]بودن به شش دسته، تقسیم می­کنند. متصل بودن بدان معناست که اگر ورودی تستی بتواند تمام جهش­های سطح اولیه که یک جهش سطح بالاتر را  می­سازند از میان ببرد، می­تواند آن جهش سطح بالاتر را نیز از بین ببرد و برعکس آن تعریفی برای عدم اتصال است. شامل بودن جهش­های سطح بالایی است که به نسبت جهش­های سطح اولیه شان سخت­تر از میان می­روند. دسته­ی اول جهش­های متصلِ شامل قوی: اشتراک داده­های استفاده شده برای از میان بردن جهش­های سطح اولیه می­توانند برای از میان بردن جهش­های سطح بالاتر استفاده شوند.

[1] TRITYP

[2] FIND

[3] MID

[4] Coupled

[5] Subsuming

 

دانلود  رایگان فایل دموی این پایان نامه(فقط حاوی ده صفحه از صفحات پایان نامه با فرمت ورد): 

پایان نامه ارائه یک روش تولید خودکار داده های ورودی برای تست جهش

دانلود  رایگان فایل دموی این پایان نامه(فقط حاوی ده صفحه از صفحات پایان نامه با فرمت pdf): 

پایان نامه ارائه یک روش تولید خودکار داده های ورودی برای تست جهش

برای دیدن جزئیات بیشتر ، خرید و دانلود آنی فایل متن کامل با فرمت ورد می توانید به لینک زیر مراجعه نمایید:

 دانلود از لینک زیر

 لینک متن کامل پایان نامه رشته مهندسی فناوری اطلاعات با عنوان ارائه یک روش تولید خودکار داده های ورودی برای تست جهش

Related posts:

برچسب ها

ممکن است به این موارد نیز علاقه مند باشید:

متاسفیم. نظرات بسته است.

قالب وردپرس