ارائه­ دهنده:

  استاد راهنما:

دکتر احمد اکبری
 
استاد مشاور: دکتر بابک ناصرشریف
  استاد ممتحن خارجی :  دکتر احسان ملکیان
استاد ممتحن داخلی: دکتر  ناصر مزنین

  زمان :  یکشنبه  10 شهریورماه 1398

ساعت 14:00
 
مکان: دانشکده مهندسی کامپیوتر- طبقه سوم- اتاق 304

خانم نازنین بیاتی چالشتری دانشجوی کارشناسی ارشد آقای دکتر سعید پارسا سه شنبه  26 شهریور ماه ساعت   08:00 در اتاق 304 واقع در طبقه سوم دانشکده کامپیوتر از پروژه کارشناسی ارشد خود تحت عنوان "ارائه یک راهکار مبتنی بر جهش در راستای بهبود فرآیند مکان‌یابی خطا" دفاع خواهند نمود.

چکیده پایان نامه:

یافتن محل خطا در برنامه‌­ها به عنوان یکی از کارهای مهم و دشوار در فرآیند اشکال‌زدایی نرم­‌افزار شناخته می­‌شود. از همین رو، راهکارهای متعددی جهت خودکارسازی و بهبود این فرآیند ارائه شده است. روش­‌های مکان­یابی خطا مبتنی بر جهش یکی از به روز ترین روش­‌هایی است که با اجرای جهش‌­های مختلفی از برنامه سعی به یافتن محل خطا می­‌کند. این دسته از روش‌­ها در کنار دقّت بالا در یافتن محل خطا به دلیل اجرای نسخه­‌های مختلف جهش هزینه اجرای بالایی را به همراه دارند. روش‌­های متعددی در راستای کاهش هزینه­‌های اجرا روش­‌های مکان­یابی خطا مبتنی بر جهش ارائه شده ­اند اما در بیش‌تر مواقع سبب کاهش دقّت در تعیین محل خطا می­‌شوند.
در این پایان نامه روشی با هدف کاهش هزینه­‌های اجرای روش‌­های مکان­یابی خطا مبتنی بر جهش در عین حفظ یا بهبود دقّت مکان­یابی خطا ارائه شده است. در صورتی که بتوان جمله­‌هایی از برنامه که در تعیین محل خطا اثرگذاری کم‌تری دارند را شناسایی و سپس حذف نمود، با مجموعه کوچک‌تری از جمله‌­ها و به تبع آن تعداد نسخه­‌های جهش کم‌تری مواجه خواهیم بود. هرچه تعداد نسخه­‌های جهش کم‌تری تولید شود، کاهش بیش‌تری در زمان اجرای فرآیند مکان­یابی خطا حاصل می‌­گردد. در روش ارائه شده در این پایان­‌نامه، SMBFL، تنها جمله‌­های موجود در برش پویا اجرای خطادار برنامه مورد بررسی قرار می­‌گیرند. جمله­‌هایی که در برش پویا حضور داشته باشند، به صورت مستقیم در اجرای برنامه با داده آزمون مشخص تاثیر دارند. پس از اجرای نسخه­‌های جهش تولید شده بر اساس جمله­‌های موجود در برش برنامه، امتیاز مظنون به خطایی هر جمله محاسبه می‌­گردد. در روش SMBFL، میزان مظنون به خطایی جمله­‌های برنامه بر اساس معیار بی­‌نظمی نسخه­‌های جهش آن‌ها سنجیده می­‌شود. معیار ارائه شده، MuEn، بر اساس نتیجه اجرای نسخه­‌های جهش هر جمله از برنامه امتیاز مظنون به خطایی آن خط برنامه­ را تعیین می‌­نماید. در نهایت یک لیست مرتب شده بر اساس امتیاز مظنون به خطایی جمله­‌های برنامه بدست می­‌آید.
روش ارائه شده، SMBFL، طی مجموعه‌­ای از آزمون­‌ها مورد آزمایش قرار گرفت. از نظر تعداد نسخه­‌های جهش و زمان لازم جهت مکان­‌یابی خطا با روش پایه مکان­یابی خطا مبتنی بر جهش مقایسه شد. هم‌چنین دقّت مکان­یابی خطا آن را با سه روش مطرح این حوزه مقایسه نمودیم. با توجه به نتایج حاصل شاهد افزایش نسبی دقّت مکان­یابی خطا، به طور میانگین 14.2%، و هم‌چنین کاهش زمان اجرای فرآیند مکان­یابی خطا، به طور میانگین 24.3%، بودیم. در نهایت نشان داده شد که فرمول MuEn، کم‌ترین سربار اجرایی را به فرآیند مکان­یابی خطا اعمال می­‌کند.
واژه‌های کلیدی: اشکال­‌زدایی، مکان­یابی خطا، روش­‌های مبتنی بر جهش، برش­‌بندی.
 

  از اساتید بزرگوار، دانشجویان گرامی و دیگر متخصصان و علاقه مندان به موضوع دفاعیه دعوت
می شود با حضور خود موجبات غنای علمی و ارتقای کیفی را فراهم سازند.

  دانشکده مهندسی کامپیوتر مدیریت تحصیلات تکمیلی