سایت مرجع دانلود پایان نامه -پشتیبانی 09361998026

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

ارسال شده در سایت پایان نامه

وزارت علوم و تحقیقات و فناوری

دانشگاه علوم فنون مازندران

موضوع : ارائه یک روش تولید خودکار داده های ورودی برای تست جهش

رشته : مهندسی فناوری اطلاعات

استاد راهنما : دکتر بابک شیرازی

زمستان 92

برای رعایت حریم خصوصی نام نگارنده پایان نامه درج نمی شود

(در فایل دانلودی نام نویسنده موجود است)

تکه هایی از متن پایان نامه به عنوان نمونه :

(ممکن است هنگام انتقال از فایل اصلی به داخل سایت بعضی متون به هم بریزد یا بعضی نمادها و اشکال درج نشود ولی در فایل دانلودی همه چیز مرتب و کامل است)

چکیده

ایده ی اصلی تست جهش بر­اساس  استفاده از نقص­ها (faults) برای شبیه سازی خطاهایی است که برنامه نویسان انجام می­دهند. بروز نقص­ها ممکن است در دو سطح یکپارچگی و در سطح واحد اتفاق بیافتد که در بعضی موارد ممکن است جستجو و یافتن محل نقص دشوار باشد با تزریق نقص­ها به صورت مجازی می­توان داده­ها ورودی مناسب که می­تواند وجود آن­ها را آشکار کند پیدا کرد.

انجام فرآیند تست جهش هزینه بر است این هزینه­ها به طور کلی از چهار منبع نشات می­گیرند که عبارتند از :1- تولید ورودی­های تست 2- زمان کامپایل کد جهش یافته و کد اصلی 3- اجرا کد جهش یافته و اصلی 4- مقایسه­ی نتایج خروجی برنامه­ی اصلی با برنامه­ی جهش یافته. در این پایان­نامه برای کاهش هزینه­ی اول با استفاده از الگوریتم کلونی زنبور تولید داده­های تست را به صورت خودکار انجام دادیم از طرف دیگر از طریق تکنیک­های تزریق بایت کد جاوا هزینه کامپایل را نیز به صفر رساندیم و برای بالا بردن عملکرد سیستم اجرای تست را به صورت موازی انجام داده­ایم.

کلید واژه: تست ­جهش، خودکارسازی، ورودی­های تست، موارد تست، الگوریتم کلونی زنبور.

فهرست مطالب

عنوان                                                                                                                  صفحه

1                 فصل اول      مقدمه و کلیات تحقیق.. 1

1-1           مروری بر دغدغه­های تست نرم­افزار.. 2

1-1-1     مقدمه.. 2

1-1-2     بهره گیری از طبیعت….. 4

1-1-3     هدف از انجام.. 6

2                 فصل دوم     ادبیات و پیشینه تحقیق.. 8

2-1           تست جهش…… 9

2-1-1     تئوری و نظریات….. 9

2-1-2     متدلوژی…. 12

2-1-3     عملگرها. 14

2-1-4     تکینکهای کاهش هزینه.. 20

2-1-5      تولید جهش کمتر  21

2-1-6     تکنیک­های کاهش هزینه در زمان اجرای برنامه.. 29

2-1-7     جهشهای برابر.. 38

2-1-8     خودکار سازی تست….. 43

2-2            نتیجه­گیری…. 47

3                 فصل سوم     روش تحقیق.. 50

3-1           شرح روش­های مشابه.. 51

3-1-1      روش مبتنی بر CBT  51

3-1-2     روش اجرای سمبلیک…… 52

3-1-3     ترکیب روش اجرای پویای سمبلیک (DSE) با اسکیما. 57

3-1-4     روشهای مبتنی بر جستجو.. 59

3-2           شرح ابزار ارائه شده. 60

3-2-1     ابزارهای ارائه شدهی مبتنی بر جاوا 60

3-2-2     تولید کنندهی جهش­ها. 63

3-2-3     تولید کنندهی ورودیهای تست….. 66

3-2-4     الگوریتم کلونی زنبور.. 67

3-2-5     کلاس تولید کننده­ی موارد تست….. 69

3-2-6     اجرا کننده­ی تست….. 77

3-2-7     دستیاران… 78

3-3           نتیجه­گیری…. 82

4                 فصل چهارم. 84

محاسبات و یافته های تحقیق.. 84

4-1           تاثیر تعداد نخها در از بین رفتن جهشها. 85

4-2           بررسی اثر تعداد نخها در معیار پوشش…… 86

4-3           نتایج بدست آمده از تست سه برنامه.. 88

5                 فصل پنجم     نتیجه گیری و پیشنهادات… 91

6                 پیوست… 94

6-1           الگوریتم کلونی مورچه.. 94

6-2           K-means.. 98

6-3           Agglomerative.. 98

6-4           منابع… 99

فهرست جداول

جدول(‏2‑1): 22 عملگر مُدرا [9] 14

جدول(‏2‑2): عملگرهای جهش ارائه شده در سطح بین کلاس [10] 18

جدول(‏2‑3): سه جهش  و  [15] 24

جدول (‏2‑4): : فاصلهی همینگ سه جهش  و  [15] 24

جدول(‏2‑5): خلاصهی نتایج بدست آمده حاصل از اجرای روش دستهبندی بر روی پنج برنامه [15] 25

جدول(‏2‑6): تاثیر حاصل ترکیب جهش های برابر و نابرابر با یکدیگر. 28

جدول(‏2‑7): محدودیتهای تولید شدهی متناظر با جهشها  [29] 41

جدول(‏2‑8): مقایسه بین روشهای مختلف… 47

جدول(‏3‑1): نمونهای از مسیرها و محدودیتهای انها در اجرای سمبلیک… 54

جدول(‏3‑2): بررسی حالات مختلف برای محاسبهی شایستگی.. 72

جدول(4‑1): نتایج بدست آمده از تست سه برنامه. 88

جدول(‏4‑2):مقایسهی روش ارائه شده با سایر ابزارها 89

 

فهرست تصاویر و نمودارها

شکل(‏2‑1): چارت فرآیند تست جهش… 13

شکل(‏2‑2): درصد استفاده­ی مقالات از تکنیکهای کاهش هزینه [2] 21

شکل(‏2‑3): چهار متغییر مقایسهی جهش ضعیف [23] 32

شکل (‏2‑4):گراف کنترل جریان برنامه­ی MID [30] 36

شکل (‏2‑5): نمایش دامنه قبل و بعد از تقسیم [30] 36

شکل (‏2‑6): فرآیند MSG [31] 38

شکل (‏2‑7): ارتباط دامنه­ی ورودی سه شرط کفایت، ضرورت و دسترسی [29] [34] 43

شکل (‏3‑1): ساختار Godzilla. 51

شکل(‏3‑2): نمونهای از اجرای سمبلیک… 54

شکل(‏3‑3): چهارچوب ارائه شده در مقاله­ی [40] 58

شکل(‏3‑4): کلونی مورچه و تست جهش… 59

شکل(‏3‑5): ماژول تولید کننده­ی جهش… 66

شکل (‏3‑6): ماژول تولید کننده­ی ورودی­های تست… 76

شکل(‏3‑7): گراف کنترل جریان برنامه تشخیص نوع مثلث… 81

شکل(‏3‑8): مدل روش ارائه شده 83

شکل(4‑1): اثر تعداد نخها در از بین بردن جهش… 86

شکل (4‑2) پوشش مسیرهای تست در گراف CFG. 87

شکل(4‑3): اثر تعداد نخها بر پوشش مسیرهای تست در گراف CFG. 87

شکل(‏6‑1):  شیوه حرکت مورچهگان در هنگام برخورد با مانع. 95

شکل (‏6‑2) : گراف شهرها و مسیرها 96

برای دانلود متن کامل پایان نامه اینجا کلیک کنید

 

مطالب مشابه را هم ببینید

141985615752731

فایل مورد نظر خودتان را پیدا نکردید ؟ نگران نباشید . این صفحه را نبندید ! سایت ما حاوی حجم عظیمی از پایان نامه ، تحقیق ، پروژه و مقالات دانشگاهی در رشته های مختلف است. مطالب مشابه را هم ببینید یا اینکه برای یافتن فایل مورد نظر کافیست از قسمت جستجو استفاده کنید. یا از منوی بالای سایت رشته مورد نظر خود را انتخاب کنید و همه فایل های رشته خودتان را ببینید فروش آرشیو پایان نامه روی دی وی دی

aca@

academicbooks@

پایان نامه انسجام مبانی نظری در زمینه ساختار سازمانی و مفاهیم مدیریت دانش در سازمان
پایان نامه تغییر انتظارات مشتریان سیستمهای کامپیوتری جدید برای ارائه خدمات
پایان نامه بررسی مقایسه ویژگی شخصیتی توافق پذیری دانش آموزان عادی و ناتوان یادگیری
پایان نامه رشته روانشناسی نقش واسطه گری تاب آوری در رابطه بین تنظیم شناختی هیجان و تکانشگری در زنان ...
دانلود پایان نامه ارشد :بررسی رابطه بین هوش هیجانی و مهارت های ارتباطی با عملکرد شغلی