میلاد شجاعی - دانشجوی ارشد شبکه های کامپیوتری، دانشگاه جامع امام حسین (ع)
سعید پارسا - دانشیار گروه مهندسی کامپیوتر، دانشگاه علم و صنعت ایران
علی کریمی - استادیار گروه مهندسی کامپیوتر، دانشگاه جامع امام حسین (ع)

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

داده آزمون، تولید دامنه داده آزمون، پوشش مسیر، الگوریتم ژنتیک، الگوریتم های فرااکتشافی