مشخصات پژوهش

عنوان	مطالعه مروری بر تولید نمونهآزمون کمینه در آزمون تعاملی
نوع پژوهش	مقاله چاپ‌شده
کلیدواژه‌ها	آزمون نرم افزار، پوشش آرایه، آزمون تعاملی.
چکیده	آزمون نرمافزار یک فاز حیاتی درتوسعه نرمافزار است. اغلب، تعداد نمونههای آزمون بسیار زیاد است که بررسی تمامی آنها زمانبر میباشد. با حذف نمونههای آزمون افزونه میتوان به زیر مجموعهای از دنبالههای آزمون رسید که پوشش کامل را در بر بگیرد. آزمونگر به مجموعهای از، نمونه آزمون نیاز دارد که اهداف آزمون را ارضاء کند. این مجموعه از نمونههای آزمون به عنوان دنباله آزمون شناخته میشود. در هنگام تولید نمونه آزمون ممکن است نمونه آزمونی حذف شود که باعث ارضاء نشدن هدف آزمون گردد. بنابراین دنباله آزمون باید زیرمجموعهای از دنبالههای آزمون اصلی باشد که هدف آزمون را ارضاء کند. آزمون تعاملی معیارهای مختلفی برای تعیین هدف آزمون دارد که اصلیترین آن آرایه پوشش است تکنیکهای مختلفی برای تولید آرایه پوشش وجود دارد که بهطور کلی به دو دسته روشهای ریاضی و محاسباتی تقسیم میشوند روشهای محاسباتی عمدتاً از استراتژیهای محاسبات محض یا مبتنی بر هوش مصنوعی برای تولید آرایه پوشش کمینه در فضای جستجو استفاده میکنند. اهمیت آزمون تعاملی ما را برآن داشت که یک مطالعه مروری از کارهای صورت گرفته در این حوزه ارائه دهیم. یافتههای حاصل از این مرور نشان میدهد استراتژیهای مبتنی بر هوش مصنوعی قویتر از استراتژیهای مبتنی بر محاسبات عمل میکنند اما سرعت مناسبی ندارند.
پژوهشگران	وحید رافع (نفر دوم)، سجاد اسفندیاری (نفر اول)