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

24

25

. 28

41

… 47

… 54

.. 72

. 88

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

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

1-1-1 مقدمه