فهرست مقالات coverage criterion

• دسترسی آزاد مقاله
  • صفحه چکیده
  • متن کامل
  
  1 - تولید داده آزمون مبتنی بر جستجوی مقید جهت پوشش مسیرهای اولیه در آزمون ساختاری
  ابراهیم فضلی مجتبی اعجمی
  این مقاله به مسئله تولید داده آزمون جهت پوشش مسیرهای آزمون پوشش دهنده مسیرهای اولیه می‌‌پردازد. روش ارائه شده جهت حل معادله مسیر ترکیبی از روش مبتنی بر جستجو و مبتنی بر قید می‌‌باشد. در بخش مبتنی بر قید از حل کننده ای بنام choco جهت حل قیدهای مبتنی بر تساوی استفاده شده چکیده کامل

  این مقاله به مسئله تولید داده آزمون جهت پوشش مسیرهای آزمون پوشش دهنده مسیرهای اولیه می‌‌پردازد. روش ارائه شده جهت حل معادله مسیر ترکیبی از روش مبتنی بر جستجو و مبتنی بر قید می‌‌باشد. در بخش مبتنی بر قید از حل کننده ای بنام choco جهت حل قیدهای مبتنی بر تساوی استفاده شده است. در بخش مبتنی بر جستجو یک روش فرا‌‌ ابتکاری مبتنی بر الگوریتم بهینه سازی گرگ خاکستری[1] استفاده شده است. این روش صرفا با مقداردهی دو پارامتر، عمل جستجوی مقادیر را آغاز می‌کند. این روش قابلیت ارتقا به فضای چند بعدی بدون نیاز به پارامترهای اضافی را دارد. استفاده از برنامه نویسی مقید با استفاده از حل کننده می‌‌تواند یکی از نقاط ضعف اساسی روشهای مبتنی بر جستجو که حل شرط‌های تساوی می‌‌باشد را برطرف کند. نقطه قوت دیگر الگوریتم جستجو به روش گرگ خاکستری، استفاده از عامل‌های جستجوی مختلف و راه‌حل‌های چندگانه می‌‌باشد که از به دام افتادن فرآیند جستجو در بهینه‌های محلی جلوگیری می‌‌کند. نتایج اجرای روش پیشنهادی بر روی دسته ای محدود از برنامه‌های محک حاکی از بهبود سرعت و همچنین درصد موفقیت بالا در تولید داده آزمون نسبت به دیگر الگوریتم‌های جستجوی فرا ابتکاری مانند الگوریتم ژنتیک، می‌‌باشد. پرونده مقاله