پایان‌نامه

مکان یابی خطاهای منطقی غیرمهلک با استفاده از تکنیک های داده کاوی

مریم بارانی

چکیده

اشکال زدایی نرم افزار به صورت دستی فرایندی بسیار دشوار و پرهزینه است. مکان یابی و رفع خطاهای پنهان نرم افزار پرهزینه ترین عمل در فرایند اشکال زدایی برنامه است. تاکنون راهکارهای متعددی برای خودکارسازی مکان یابی خطا ارائه شده است. بسیاری ازاین راهکارها مکانیابی خطا را با فرض وجود یک خطا در هر بار اجرای برنامه انجام می دهند و پس از رفع یک خطا در برنامه، عملیات مکانیابی را مجدداً تکرار می کنند. فرض وجود یک خطا در هر بار اجرای برنامه فرضی غیر واقعی است و علاوه بر اینکه تأثیر وقوع چندین خطا را بر نتیجه برنامه در نظر نمی گیرد، به علّت کشف یک خطا در هر بار اجرای عملیات مکانیابی، سربار بالایی ایجاد کرده و این روش ها را ناکارآمد می سازد. در این تحقیق راهکاری جدید برای حل مسئله مکانیابی خطا با فرض وجود چندین خطا در هر بار اجرای برنامه ارائه شده است. روش پیشنهادی، با استفاده از خوشه بندی مبتنی بر چگالی(density based) گزاره های مظنون به خطای موجود در برنامه، خوشه هایی که به علت وجود یک خطا ایجاد می شوند را کشف و سپس با استفاده از الگوریتم liblit05 گزاره های مظنون به خطا در هر خوشه را شناسایی می نماید. نتایج ارزیابی نشان می دهد که در روش پیشنهادی این تحقیق برای مکانیابی خطاهای چندگانه نیاز به بررسی درصد کمتری از کد برنامه می باشد و این امر باعث کاهش هزینه اشکال زدایی برنامه میگردد.

اساتید راهنما و مشاور

بهمن زمانی، احمد براآنی دستجردی

پایان‌نامه‌های مشابه

اسناد مشابه

  • نقشه برداری و مکان یابی هم زمان با استفاده از داده لیزر و روش نقشه برداری سریع بدون ردیابی با انطباق پویشی

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

    مکان یابی و نقشه برداری هم زمان یکی از مسائل بنیادی در رباتیک است و تا کنون الگوریتم های بسیاری ازجمله الگوریتم نقشه برداری سریع که بسیار پرکاربرد است و الگوریتم نقشه برداری سریع بدون ردیابی که جدیدتر است، برای حل این مسئله به کار گرفته شده اند. اگرچه در مقایسه های علمی، عملکرد ا

  • مکان یابی شوری خاک با استفاده از داده های محیطی و نمونه برداری هایپرکیوب در شهرستان میبد

    مقالهخشکبومروح الله تقی زاده، دانشکده کشاورزی و منابع طبیعی، دانشگاه اردکان آرزو غزالی، دانشکده کشاورزی منابع طبیعی، دانشگاه اردکان سعیده کلانتری، دانشکده کشاورزی و منابع طبیعی، دانشگاه اردکان محمد حسن رحیمیان

    نقشه برداری رقومی روشی نوین و جایگزینی مناسب برای روش­های سنتی است. در این روش شوری خاک با یک سری متغیرهای محیطی ارتباط داده شده و سپسشوری خاک در نقاط دیگر پیش­بینی می­شود. در این پژوهش بر اساس روش هایپرکیوپ، مکان جغرافیایی 73 نمونه خاک مشخص و نمونه برداری و هدایت الکتریکی آن­ها

  • مکان یابی کانون صرع با استفاده از داده های همزمان ثبت شده EEG-FMRI

    مقاله۲۰۱۸هوش محاسباتی در مهندسی برقالیاس ابراهیم زاده، حمید سلطانیان زاده، بابک نجار اعرابی

    صرع اختلال سیستم عصبی مرکزی (اختلال نورولوژیکی) است که در آن فعالیت سلول‌های عصبی در مغز، مختل و به تشنج منجر می‌شود. بیشتر افراد مبتلا با استفاده از داروهای مناسب حملات خود را کنترل می‌کنند؛ اما متأسفانه همیشه درمان دارویی پاسخگو نیست و عده‌ای از این افراد به‌ناچار درمان جراحی ر

  • استفاده از تکنیک داده کاوی در بررسی فاکتورهای تاثیرگذار در عدم موفقیت روش درمان ناباروری iui

    مقالهمدیریت سلامتفرانک ابوالمعصوم، f abolmasum k.n.toosi university of technologyدانشگاه صنعتی خواجه نصیرالدین طوسی سمیه علیزاده، s alizadeh k.n.toosi university of technologyدانشگاه صنعتی خواجه نصیرالدین طوسی محسن اصغری، m asghari k.n.toosi university of technologyدانشگاه صنعتی خواجه نصیرالدین طوسی

    مقدمه : ناباروری یکی از مسائلی است که امروزه هزینه­های مادی و معنوی زیادی را بر روی دوش زوجین نابارور قرار داده است. روش انتقال داخل رحمی اسپرم ( iui ) یکی از روش­های درمانی برای این گروه از زوجین می­باشد. غیرقابل پیش­بینی بودن نتیجه این روش ضرورت بررسی و شناسایی عواملی را که بر

  • مدل سازی احتمالاتی عدم اطمینان داده های ورودی در مکان یابی نیروگاه حرارتی با استفاده از روش مونت کارلو

    مقالهسنجش از دور و gis ایرانسارا بهشتی فر، عباس علیمحمدی

    تاثیر مکان نیروگاه ها بر میزان هزینه تولید و انتفال انرژی و تاثیرات زیست محیطی و اقتصادی-احتماعی نیروگاه های حرارتی، انتخاب مکان مناسب برای این تاسیسات را ضروری می نماید. سامانه اطلاعات جغرافیایی (gis) امکان بررسی و تلفیق اطلاعات مورد نیاز برای مکان یابی را به گونه ای موثر فراهم

  • خوشه بندی مددجویان بهزیستی به منظور شناسایی هدفمند خانواده های تحت پوشش با استفاده از تکنیک داده کاوی

    مقالهمطالعات ناتوانیسجاد شکوهیار، sajjad shokohyar management and accounting, shahid beheshti universityگروه مدیریت فناوری اطلاعات، دانشکده مدیریت و حسابداری، دانشگاه شهید بهشتی روح الله تولایی، roohollah tavallaee management and accounting, shahid beheshti universityگروه مدیریت فناوری اطلاعات، دانشکده مدیریت و حسابداری، دانشگاه شهید بهشتی نیلوفر رجا، niloofar raja management and accounting, shahid beheshti universityگروه مدیریت فناوری اطلاعات، دانشکده مدیریت و حسابداری، دانشگاه شهید بهشتی روناک مدرسی

    هدف: امروزه افزایش معضلات اجتماعی و ازدیاد مددجویان بهزیستی باعث شده که تکنیک های سنتی توانایی ترسیم وضعیت مشخصی از گروه های دریافت کننده خدمات را نداشته باشند. نبود یک دسته بندی مناسب از افراد باعث شده بهزیستی نتواند خدمات خود را با نیازهای افراد هم سو کند. تکنیک های خوشه بندی م