تولید داده آزمون مبتنی بر جستجوی مقید جهت پوشش مسیرهای اولیه در آزمون ساختاری

الموضوعات : سامانه‌های پردازشی و ارتباطی چندرسانه‌ای هوشمند

ابراهیم فضلی ¹ , مجتبی اعجمی ²

1 - استادیار، دانشکده مهندسی برق و کامپیوتر، واحد زنجان، دانشگاه آزاد اسلامی، زنجان، ایران.
2 - استادیار، دانشکده مهندسی برق و کامپیوتر، واحد زنجان، دانشگاه آزاد اسلامی، زنجان، ایران.

تاريخ الإرسال : 12 الثلاثاء , جمادى الأولى, 1444 تاريخ التأكيد : 02 الثلاثاء , ذو الحجة, 1444 تاريخ الإصدار : 29 الثلاثاء , شعبان, 1444

الکلمات المفتاحية: مسیر اولیه, آزمون ساختاری, جستجوی مقید, داده آزمون,

ملخص المقالة :

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

المصادر:

• [1] Fazli and M. Afsharchi, "A Time and Space-Efficient Compositional Method for Prime and Test Paths Generation," in IEEE Access, vol. 7, pp. 134399-134410, 2019, doi: 10.1109/ACCESS.2019.2941429.


• [2] M. S. Bueno and M. Jino. Automatic test data generation for program paths using genetic algorithms. International Journal of Software Engineering and Knowledge Engineering, 12(06):691–

709, 2002.

• [3] Jussien, N., Rochart, G., & Lorca, X. (2008). Choco: an open source java constraint programming library. In CPAIOR'08 Workshop on Open-Source Software for Integer and Contraint Programming (OSSICP'08) (pp. 1-10).


• [4] Dwarakanath and A. Jankiti. Minimum number of test paths forprime path and other structural coverage criteria. In IFIP International Conference on Testing Software and Systems, pages 63–79. Springer, 2014.


• [5] C. Ntafos and S. L. Hakimi. On path cover problems in digraphs
  and applications to program testing. IEEE Transactions on Software
  Engineering, (5):520–529, 1979.


• [6] A. Nejmeh. Npath: a measure of execution path complexity and its applications. Communications of the ACM, 31(2):188–200, 1988.