سجاد اسفندیاری - دانشجوی دکترا، دانشکده فنی مهندسی، گروه مهندسی کامپیوتر، دانشگاه اراک، اراک، ایران
وحید رافع - دانشیار، دانشکده فنی مهندسی، گروه مهندسی کامپیوتر، دانشگاه اراک، اراک، ایران

آزمون ترکیبی یکی از آزمونهای رایج برای تولید دنباله آزمون کمینه برای کشف خطاهای ناشی از تعاملات بین زیرسیستمها است. یکی از کاربردیترین روشهای آزمون ترکیبی، آرایه پوشش است. تاکنون استراتژیهای زیادی برای تولید آرایه پوشش ارائه شده و توانسته اند بهینه سازی را به حد قابل قبولی برسانند؛ اما چالش مهمی که میتواند آرایه پوشش را برای آزمون سیستمهای مدرن کمک کند، استخراج اطلاعات مربوط به پارامترها، شناسایی محدودیتها و تشخیص تعاملات بین زیرسیستم های است؛ که به نظر میرسد تنها راه نجات آرایه پوشش از این بحران، وارسی مدل است. وارسی مدل روشی است که تمام حالتهای ممکن سیستم را برای شناسایی خطاها پویش میکند. در این مقاله با کمک گرفتن از وارسی مدل کلیه اطلاعات مربوط به سیستم را از روی مدل استخراج و سپس با استفاده از الگوریتم های ژنتیک اقدام به تولید آرایه پوشش می کنیم و درنهایت با بهرهگیری از روشی جدید دنباله آزمون، مینیمایز میشود. برای ارزیابی نتایج، راهکار پیشنهادی را به همراه تعداد دیگری از الگوریتم های فرامکاشفه ای بر روی ابزار GROOVE که یکی از رایج ترین ابزارهای وارسی مدل است پیاده سازی کرده ایم که نتایج نشان میدهد راهکار پیشنهادی نتایج بهتری نسب به سایرین دارد همچنین راهکار پیشنهادی را خارج از محیط GROOVE پیاده سازی و با بهترین استراتژی های موجود مقایسه کرده ایم که نتایج نشان میدهد راهکار پیشنهادی ازنظر بهینه بودن هم نتایج مطلوبی را دارد.

آرایه پوشش، وارسی مدل، الگوریتم توده ذرات بهینه، .GROOVE