تولید مورد آزمون مبتنی بر مدل از توصیفات تبدیل گراف با استفاده از الگوریتم جستجوی پرتو
Publish place: Tabriz Journal of Electrical Engineering، Vol: 49، Issue: 1
Publish Year: 1398
نوع سند: مقاله ژورنالی
زبان: Persian
View: 434
This Paper With 14 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_TJEE-49-1_031
تاریخ نمایه سازی: 17 تیر 1398
Abstract:
آزمون نرم افزار یکی از فعالیت های اساسی در چرخه حیات توسعه نرم افزار است که نقش مهمی در کیفیت نرم افزار دارد. اغلب بیش از نیمی از هزینه و زمان توسعه نرم افزار، صرف آزمون آن می شود. بدیهی است که خودکارسازی آزمون و به طور ویژه تولید مورد آزمون که از کلیدی ترین فعالیت های این فرآیند است کمک شایانی در کاهش این هزینه خواهد داشت. آزمون مبتنی بر مدل، از جمله روش های موفق خودکارسازی آزمون است که از ابزارهای وارسی مدل نیز برای استخراج موارد آزمون بهره می برد. ازآنجاکه این ابزارها در اصل برای وارسی مدل طراحی شده اند نه برای تولید آزمون، پژوهش های ارائه شده در این زمینه با چالش هایی اساسی مانند انفجار فضای حالت و تکراری بودن بخش اعظمی از موارد آزمون روبرو هستند. در پژوهش جاری، راهکاری مبتنی بر الگوریتم جستجوی پرتو ارائه می کنیم که از روی توصیفات تبدیل گراف مسئله مجموعه آزمون تولید می کند. راهکار پیشنهادی نه تنها چالش های ذکر شده را بهبود می بخشد، بلکه مجموعه آزمونی با پوشش بالا و اندازه کم با صرف بودجه زمانی مطلوب تولید می کند. ما آن را در ابزار وارسی مدل GROOVE پیاده سازی کرده ایم. به منظور ارزیابی راهکار پیشنهادی، ما آن را با آزمون مبتنی بر وارسی مدل، راهبردهای مبتنی بر جستجو و آزمون تصادفی مقایسه کرده ایم. نتایج آزمایش ها روی چندین مطالعه موردی در حوزه سیستم های سرویس گرا، موید برتری روش پیشنهادی از نظر میزان پوشش، اندازه مجموعه آزمون و سرعت است.
Keywords:
Authors
مریم عسگری عراقی
دانشکده فنی مهندسی - دانشگاه اراک
وحید رافع
دانشکده فنی مهندسی - دانشگاه اراک
اکرم کلائی
دانشکده فنی مهندسی - دانشگاه اراک
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :