مرکز خرید پروژه،پایان نامه،تحقیقات

بررسی انواع تست نرم افزار توسط برنامه برش برای تعیین دقیق محل خطاهای معنایی

بخشی از متن:
چکیده:
آزمون نرم ­افزار عبارت است از اجرای نرم ­افزار برای بررسی این­که آیا اهداف مورد نظر برآورده شده است یا خیر. یکی از دلایل برآورده نشدن اهداف مورد نظر در نرم ­افزار وجود خطاهای معنایی پنهان در برنامه­ ها (نرم ­افزارها) است. هدف از ارائه ­ی این مبحث، بررسی روش­های مختلف برش­بندی به هدف یافتن محل خطاهای معنایی موجود در برنامه است. الگوریتم­ های برش­بندی با کوچک­ کردن فضای جستجو، توجه کاربر را متوجه آن­دسته از جملات می­کنند که احتمال دارد در بروز خطا نقش داشته باشند.
واژه­ های کلیدی: وابستگی داده­ای، وابستگی کنترلی، وابستگی مرتبط، گراف وابستگی پویا برش­بندی

فهرست مطالب:
چکیده
1- مقدمه
   1-1- شرح مسئله
   1-2- هدف از برش­بندی در خطایابی نرم­افزار
   1-3- اهمیت موضوع
   1-4- مروری بر مطالب این سمینار
2- مفاهیم اولیه
   2-1- مقدمه
   2-2- برش­بندی داده­ای
   2-3- برش­بندی کامل
   2-4- برش­بندی مرتبط
   2-5- انواع برش­بندی از جهت پیمایش گراف
2-5-1- برش­بندی پس­رو
2-5-2- برش­بندی پیش­رو
2-5-3- برش­بندی دوجهته
   2-6- نتیجه­گیری
3- سیر تکاملی روش­های برش­بندی
   3-1- مقدمه
   3-2- برش­بندی ایستا
   3-3- برش­بندی پویا
   3-4- بسط­های برش­بندی پویا
3-4-1- روش­های برش­بندی پویای دقیق
3-4-2- هرس برش­های پویا بر اساس ضریب اطمینان
3-4-3- برش­بندی پویا براساس چندین نقطه
3-4-4- برش­بندی پویا برای برنامه­های بزرگ درحال اجرا ازطریق اجرای پیش­رو سریع
   3-5- نتیجه­گیری
4- کارهای مشابه
    4-1- مقدمه
    4-2- اشکال­زدایی به روش دلتا
    4-3- قطعه­بندی پویا
    4-4- قطعه­بندی پویای دوجهته
    4-5- اشکال­زدایی دلتا برای خلاصه­سازی ورودی منجربه خطا (1)
    4-6- اشکال­زدایی دلتا برای خلاصه­سازی ورودی منجربه خطا (2)
    4-7- ترکیب برش­بندی و اشکال­زدایی دلتا
    4-8- یافتن محل بروز خطا ازطریق تعویض خودکار گزاره
    4-9- نتیجه­گیری
5- کاربردهای برش­بندی
    5-1- مقدمه
    5-2- کاربرد برش­بندی در اشکال­زدایی
    5-3- کاربرد برش­بندی در نگه­داشت نرم­افزار
    5-4- کاربرد برش­بندی در اندیس­گذاری خطا
    5-5- نتیجه­گیری
6- جمع­بندی و پیشنهادها
فهرست مراجع
پیوست­ها
   پیوست1- مروری بر دیابلو
   پیوست2- مروری بر والگریند
   پیوست3- ابزار توسعه یافته برای روش­های برش­بندی
    پ3-1- ابزار توسعه یافته برای برش­بندی­های پویای دقیق
    پ3-2- ابزار توسعه یافته برای برش­بندی حاصل اجرای پیش­رو سریع
    پ3-3- ابزار توسعه یافته برای برش­بندی بر اساس وابستگی­های داده­ای، کامل و مرتبط
    پ3-4- ابزار توسعه یافته برای برش­بندی پویا براساس چندین نقطه

پرداخت با کلیه کارتهای عضو شتاب امکان پذیر است.