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