تولید مورد آزمون مبتنی بر مدل از توصیفات تبدیل گراف با استفاده از الگوریتم جستجوی پرتو

Abstract

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