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

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