تولید خودکار و بهینه‌سازی آرایه پوششی با استفاده از ابزارهای وارسی مدل و الگوریتم بهینه‌سازی شاهین‌های هریس

آزمون نرم‌افزار یکی از پرهزینه‌ترین مراحل چرخه‌ حیات توسعه نرم‌افزار محسوب می‌شود و در برخی موارد تا نیمی از هزینه کل تولید را به خود اختصاص می‌دهد. در سیستم‌های بزرگ، به دلیل حجم بالای سناریوهای ممکن، انجام آزمون کامل عملاً امکان‌پذیر نیست. آزمون ترکیبی به‌عنوان روشی موثر برای شناسایی خطاهای ناشی از تعامل بین پارامترها مطرح شده و آرایه پوششی به‌عنوان یکی از مهم‌ترین ابزارهای آن، با رویکرد t-way به تولید مجموعه‌های آزمون کوچک‌تر و کاراتر می‌پردازد. کاهش تعداد نمونه‌های آزمون و کوتاه‌کردن زمان تولید آن‌ها، تاثیر مستقیمی بر بهره‌وری و کارایی این فرآیند دارد. در این پژوهش، رویکردی خودکار برای تولید آرایه پوششی ارائه شده است که از ابزار وارسی مدل groove به‌منظور استخراج خودکار پارامترها و مقادیر آن‌ها بهره می‌گیرد. سپس، مجموعه آزمون بهینه با استفاده از الگوریتم فراابتکاری بهینه‌سازی شاهین‌های هریس (harris hawks optimization) تولید می‌شود. در بخش ارزیابی، عملکرد راهکار پیشنهادی از نظر معیارهای کارایی و بهره‌وری با چندین الگوریتم فراابتکاری مطرح مقایسه شده و نتایج نشان می‌دهد که روش پیشنهادی در مقایسه با رویکردهای مشابه، بهبود قابل‌توجهی در کاهش اندازه مجموعه آزمون و زمان تولید آن فراهم می‌آورد.

automatic generation and optimization of the coverage array using model checking tools and harris hawk optimization algorithm

software testing is one of the most expensive phases of the software development lifecycle, accounting for up to half of the total production cost in some cases. in large systems, full testing is not practically possible due to the large volume of possible scenarios. combined testing has been proposed as an effective method for identifying errors caused by interaction between parameters, and the cover array, as one of its most important tools, uses the t-way approach to produce smaller and more efficient test sets. reducing the number of test samples and shortening their generation time, it has a direct impact on the productivity and efficiency of this process. in this research, an automated approach for generating the covering array is presented that uses the groove model checking tool to automatically extract parameters and their values. then, the optimal test set is generated using the harris hawks optimization meta-heuristic algorithm. in the evaluation section, the performance of the proposed solution in terms of efficiency and productivity metrics is compared with several well-known meta-heuristic algorithms, and the results show that the proposed method provides significant improvements in reducing the size of the test set and its generation time compared to similar approaches.