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

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

 دکتر سعید پارسا

هیات داوران:
دکتر محمد عبداللهی ازگمی ، دکتر حمیدرضا شهریاری

زمان:
دوشنبه ۱۳۹۹/۰۳/۲۶

ساعت ۱۰:۰۰
 
 

خانم زهرا حیاتی دانشجوی کارشناسی ارشد آقای دکتر سعید پارسا دوشنبه  ۲۶ خردادماه ساعت  ۱۰:۰۰  از پروژه کارشناسی ارشد خود  تحت عنوان "راهکاری جدید جهت تولید خودکار مجموعه آزمون با هدف بهبود مکان­یابی آماری خطا مبتنی بر تحلیل علّی-آماری " دفاع خواهند نمود.

چکیده پایان نامه:
در مسئله مکان­یابی خطا، ممکن است حضور یک جمله در اجراهای خطادار کاملاً متأثر از اشکال موجود در جمله دیگر باشد. همبستگی آماری میان یک جمله و خروجی برنامه بیانگر رابطه علّی-معلولی میان آن­ها است. بنابراین، می­توان به مسئله مکان‌یابی خطا از دیدگاه علّی-معلولی نگاه کرد. پژوهش­های پیشین در زمینه تحلیل علّی-آماری در محاسبه امتیاز مظنون به خطایی، یک مدل رگرسیون خطی به ازای هر دستورالعمل از برنامه ایجاد می­کنند، این روش­ها سربار محاسباتی و حافظه­ بالایی دارند که باعث عدم مقیاس­پذیری آن­ها می­گردد. به منظور کاهش این هزینه­ها، می­توان استنتاج علّی-آماری را صرفاً روی زیرمجموعه کوچکی از جملات برنامه انجام داد.
  در روشTD-CSFL، در این پایان­نامه، ابتدا محدوده جملات مظنون به خطا را در قالب یک شاخه اجرایی مشخص می­نمایم. برای این منظور در مسیر اجرایی خطادار از انتها به ابتدا شرط­ها را نقیض کرده، و با استفاده از حل­کننده Z۳ داده­ آزمون را برای مسیر تولید می­­کنیم. سپس برنامه را مجدداً به­صورت اجرای نمادین پویا، با داده آزمون به دست آمده اجرا می­کنیم. بدین ترتیب با توجه به نتیجه موفّق و یا ناموفّق بودن اجرا، مشخص می­کنیم که کدام شاخه مظنون به خطا است. بنابراین، محدوده جملات برای اعمال روش علّی-آماری را به حداقل ممکن تقلیل نموده­ایم. در واقع برای اولین بار مسئله تعیین خودکار مکان خطا را به سه زیر مرحله، یافتن مسیر اجرایی خطادار، شاخه مظنون به خطا و بلاخره یافتن جملات مظنون به خطا در شاخه خطادار تبدیل نموده­ایم. داده­های آزمون در این روش به صورت هدفمند و با حداقلِ ممکن جهت تعیین شاخه خطادار و پس از آن جملات مظنون به خطای درون شاخه مشخص شده، تولید می­گردد. از این طریق مشکل روش­های آماری که تحت تأثیر داده­های آزمون هستند را توانسته­ایم برای اولین بار از میان برداریم.
روش ارائه شده، TD-CAFL، بر روی مجموعه­ آزمون­ Defects۴j مورد آزمایش قرار گرفت. برای ارزیابی میزان بهبود روش، از معیارهای رایجی همچون تعداد جملات مورد بررسی و دقّت مکان­یابی خطا استفاده کرده­ایم. نتایج به دست آمده نشان می­دهد که روش پیشنهادی از نظر معیارهای ارزیابی منتخب در مقایسه با سایر راهکارهای مرتبط عملکرد بهتری دارد. در نهایت نشان دادیم که استفاده از تحلیل علّی- آماری در کنار روش ارائه شده سبب افزایش دقّت در مکان­یابی خطا خواهد شد.

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