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