خانم طیبه محمود آبادی دانشجوی کارشناسی ارشد جناب آقای دکتر سعیدپارسا روز دوشنبه 27/4/90 ساعت 16 در اتاق 304 واقع در طبقه سوم دانشکده کامپیوتر ازپروژه کارشناسی ارشد خود تحت عنوان ارائه راهکاری جهت تولید داده آزمون به منظور کشف خطاهای معنایی موجود در برنامه دفاع خواهند نمود.

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

  هدف در این پایان نامه، ارائه روشی جهت تولید داده های آزمون می باشد. روش پیشنهادی می بایست حداقل تعداد داده های آزمون با حداکثر قابلیت کشف خطا را ایجاد نماید. برای این منظور در آغاز با ایجاد تصادفی مجموعه ای از ورودی ها، سعی به یافتن مسیرهای اجرایی صحیح و غلط می گردد. بر اساس مقایسه مسیرهای اجرایی صحیح و غلط، میزان تاثیرگذاری عبارات موثر در تعیین مسیر اجرایی بر اجراهای خطادار مشخص می شود. بر این اساس می توان متغیرهای غیر موثر بر مسیرهای اجرایی را حذف نمود. بعد از حذف متغیرهای غیر موثر بر مسیر اجرایی، با استفاده از روشی موسوم به کاهش دامنه، دامنه ی ورودی ها تا حد امکان کوچک شده و ورودی ها به گونه ای تولید می شوند که منجر به پیمایش مسیر خطادار برنامه شوند.

  واژه‌های کلیدی: اشکال زدایی نرم افزار، تولید داده آزمون، مدل رفتاری، تست مبتنی بر مدل

  Abstract :

  The purpose of this thesis is to provide a method to produce test data. The proposed method should create a minimum number of test data with maximum bug detection capability. For this purpose, beginning with a random set of inputs, it attempts to find right and wrong executable paths. Based on the comparison of right and wrong paths, the effectiveness of influencing phrases in the determination of the executable paths in faulty executions are recognized. Accordingly, the irrelevant variables with respect to executable paths can be eliminated. After the elimination of irrelevant variables, using a method called 'domain reduction’, the domain of inputs is reduced as much as possible and the inputs are produced in a way that leads to trace of the faulty path of the program.

 Keywords: Software Debugging, Test Data Generation, Behavioral Model, Model-based Testing

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

طیبه محمودآبادی

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

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

  استاد ممتحن داخلی : دکتر محمدرضا کنگاوری

  استاد ممتحن خارجی :دکتر محمدابراهیم شیری احمدآبادی

 زمان : دوشنبه 27 تیرماه ماه 1390

  ساعت 16

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

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

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