Sharif Digital Repository / Sharif University of Technology
    • [Zoom In]
    • [Zoom Out]
  • Page 
     of  0
  • [Previous Page]
  • [Next Page]
  • [Fullscreen view]
  • [Close]
 
تولید نسخ جهش‌یافته برای بهبود مجموعه‌ی آزمون با استفاده از روش‌های مبتنی بر جستجو
براتی، بابک Barati, Babak

Cataloging brief

تولید نسخ جهش‌یافته برای بهبود مجموعه‌ی آزمون با استفاده از روش‌های مبتنی بر جستجو
پدیدآور اصلی :   براتی، بابک Barati, Babak
ناشر :   صنعتی شریف
سال انتشار  :   1397
موضوع ها :   آزمایش نرم افزاری Software Testing آزمون نسخ جهش یافته Mutation Testing الگوریتم ژنتیک...
شماره راهنما :   ‭19-51214

Find in content

sort by

Bookmark

  • چکیده (4)
  • فهرست مطالب (5)
  • فهرست جدول ها (9)
  • فهرست شکل‌ها (10)
  • فهرست علائم (11)
  • فصل1 مقدمه و معرفی پژوهش (13)
    • 1-1 مقدمه (13)
    • 1-2 تعریف مسأله (14)
      • 1-2-1 اهداف پژوهش (14)
      • 1-2-2 مراحل انجام پژوهش (15)
      • 1-2-3 ساختار پایان‌نامه (15)
  • فصل2 پیش‌زمینه (17)
    • 2-1 مفاهیم مرتبط با آزمون با کمک نسخ جهش‌یافته (17)
      • 2-1-1 آزمون (17)
      • 2-1-2 آزمون جهش (18)
      • 2-1-3 مراحل آزمون جهش (20)
    • 2-2 مفاهیم مرتبط با مهندسی نرم‌افزار مبتنی بر جستجو (23)
      • 2-2-1 آزمون نرم‌افزار مبتنی بر جستجو (23)
      • 2-2-2 الگوریتم ژنتیک (24)
    • 2-3 خلاصه‌ی فصل (27)
  • فصل3 مروری بر مطالعات و پژوهش‌های مرتبط پیشین (29)
    • 3-1 چالش‌های استفاده از آزمون جهش (29)
    • 3-2 روش‌های کاهش هزینه‌ی آزمون جهش (30)
      • 3-2-1 روش‌های هوشمندانه (30)
      • 3-2-2 روش‌های سریع (31)
      • 3-2-3 روش‌های کاهش تعداد جهش (32)
    • 3-3 بررسی و مقایسه‌ی روش‌های کاهش تعداد جهش (34)
      • 3-3-1 سرعت (36)
      • 3-3-2 پیچیدگی فرآیند و نیاز به ابزار (37)
      • 3-3-3 ایستایی یا پویایی (38)
      • 3-3-4 برخورد با جهش‌های معادل (40)
      • 3-3-5 توجه به مجموعه‌ی آزمون (41)
      • 3-3-6 قابلیت تکرار نتیجه (42)
    • 3-4 خلاصه‌ی فصل و نتیجه‏گیری (43)
  • فصل4 فرآیند روش آزمون-محور (45)
    • 4-1 تطبیق مسأله‌ی انتخاب جهش به یک مسأله‌ی بهینه‌سازی (46)
    • 4-2 برنامه‌ی نمونه: محاسبه‌ی شاخص‌های آماری یک آرایه (46)
    • 4-3 مراحل فرآیند روش آزمون-محور (49)
      • 4-3-1 یافتن نقاط قابل جهش در کد (53)
      • 4-3-2 تزریق کد به منظور تحلیل (56)
      • 4-3-3 اجرای مجموعه‌ی آزمون (59)
      • 4-3-4 تحلیل اجرای آزمون‌ها (61)
      • 4-3-5 جستجوی جهش‌ها با استفاده از الگوریتم ژنتیک (63)
    • 4-4 خلاصه‌ی فصل (69)
  • فصل5 مطالعه‌ی موردی و تولید نسخ جهش‌یافته (71)
    • 5-1 گزینش برنامه و مجموعه‌ی آزمون مطالعه‌ی موردی (71)
    • 5-2 مرحله‌ی اول: یافتن نقاط قابل جهش (72)
    • 5-3 مرحله‌ی دوم: تزریق کد به منظور تحلیل (72)
    • 5-4 مرحله‌ی سوم: اجرای مجموعه‌ی آزمون (73)
    • 5-5 مرحله‌ی چهارم: تحلیل اجرای آزمون‌ها (76)
    • 5-6 مرحله‌ی پنجم: جستجوی جهش‌ها با استفاده از الگوریتم‌های ژنتیک (76)
    • 5-7 خلاصه‌ی فصل (77)
  • فصل6 ارزیابی فرآیند تولید نسخ جهش‌یافته‌ی آزمون-محور (79)
    • 6-1 معرفی معیارهای ارزیابی (79)
    • 6-2 اجرای روش تصادفی (79)
    • 6-3 بررسی آماری جهش‌های تولید شده (80)
    • 6-4 جهش‌های معادل موجود (82)
    • 6-5 جهش‌های نجات‌یافته‌ی غیرمعادل (83)
    • 6-6 میانگین کشته شدن جهش‌ها در آزمون‌ها (84)
    • 6-7 سایر ویژگی‌های روش پیشنهادی (85)
      • 6-7-1 سرعت (85)
      • 6-7-2 پیچیدگی و نیاز به ابزار (85)
      • 6-7-3 ایستایی و پویایی (86)
      • 6-7-4 برخورد با جهش‌های معادل (86)
      • 6-7-5 توجه به مجموعه‌ی آزمون (86)
      • 6-7-6 قابلیت تکرار نتیجه (86)
    • 6-8 محدودیت‌های روش پیشنهادی (87)
    • 6-9 خلاصه‌ی فصل (87)
  • فصل7 نتیجه‌گیری و کارهای آتی (89)
    • 7-1 نتیجه‌گیری (89)
    • 7-2 کارهای آتی (90)
  • مراجع (93)
  • واژه‌نامه (96)
  • پیوست1 خروجی فهرست جهش‌های میجر (99)
  • پیوست2 کد مربوط به کلاس SpyNode به زبان جاوا (101)
  • پیوست3 نتیجه‌ی مطالعه‌ی موردی روش پیشنهادی (102)
    • پ3-1 اجرا با جمعیت اولیه‌ی ۵۰ نفر و آستانه‌ي توقف ۵۰۰ نسل (102)
    • پ3-2 اجرا با جمعیت اولیه‌ی ۱۰۰ نفر و آستانه‌ی توقف ۵۰۰ نسل (103)
    • پ3-3 اجرا با جمعیت اولیه‌ي ۵۰ نفر و آستانه‌ی توقف تابع برازش ۵/۴ (104)
    • پ3-4 اجرا با جمعیت اولیه‌ي ۱۰۰ نفر و آستانه‌ی توقف تابع برازش ۵/۴ (105)
Loading...