دانلود پایان نامه فناوری اطلاعات: ارائه یک روش تولید خودکار داده های ورودی برای تست جهش

دانلود پایان نامه

عنوان پایان نامه :

 ارائه یک روش تولید خودکار داده های ورودی برای تست جهش

یک صفحه از متن پایان نامه فقط برای نمونه :

 

1-1-1-1     روش تولید محدودیت

تحقیقات  R. DeMilli و A. J. Offutt [29] منجر به تولید ابزاری برای خودکار سازی به نام Godzilla شد این ابزار با استفاده از روش CBT* و عملگرهای موجود، برای برنامه­هایی با زبان­هایی مانند Berkeley، UNIX و … به طور خودکار جهش ایجاد می­کند.

1-1-1-2     روش اجرای سمبلیک برای پوشش ساختار برنامه

این روش یک تکنیک برای تحلیل کد برنامه است(پس یک روش تست جعبه سفید است) در این روش به جای استفاده از داده­های واقعی برای تست برنامه از سمبل­ها استفاده می­شود. ایده­ی اصلی روش اجرای سمبلیک اولین بار در ابزاری به نام DART [1]مطرح شد [35]. به طور خلاصه DART از سه تکنیک که در زیر عنوان شده است برای انجام خودکار تست واحد [2]بهره می­برد:

  1. استخراج واسط برنامه
  2. ایجاد خودکار یک درایور برای واسط استخراج شده به جهت انجام تست خودکار
  3. تحلیل روند اجرای برنامه با تست­های تصادفی برای تولید ورودی­های جدید و تست مسیرهای مختلف برنامه با آن­ها

در حقیقت DART از ترکیبی از دو روش تست تصادفی و تولید تست پویا با استفاده از سمبل­ها بهره می­برد. DART با استفاده از روش تست پویا برخلاف روش­های تست تصادفی ساده در هر بار اجرای کد برنامه شرط­هایی از آن­را که می­تواند ارضاء کند را به محدودیت­های مسیر یا همان PC عطف می­کند و برای ارضاء سایر شرط­ها نیز بردارهای ورودی جدید تولید می­کند تا زمانیکه به یک خطا در برنامه برخورد کند. یکی از اشکالات عمده­ی روش DART این است که با برخی از ورودی­هایی که برای پوشش مسیرها تولید شده­اند در حلقه­ی بی­نهایت قرار گیرد. در حقیقت در پایان اجرای DART در سه حالت می­تواند اتفاق بیافتد: 1- پوشش تمام مسیرها 2- برخورد به خطا 3- قرار گرفتن در حلقه­ی بی­نهایت. نزدیک­ترین روش اجرای سمبلیک به DART، CUTE [3][36] است، این روش برخلاف DART علاوه بر پشتیبانی از داده­های صحیح از اشاره­گرها نیز پشتیبانی می­کند، همچنین می­تواند برای عبارت­های شرطی درون توابع ورودی تولید کند. CUTE توانایی استخراج واسط را به طور خودکار ندارد و آن­را به کاربر محول کرده است یکی دیگر از مزیت­های مهم آن استفاده از دو روش: تولید ورودی به ترتیب فراخوانی [4]و حل ساختارهای داده­ای ثابت [5] است که مشکل قرار گیری DART در حلقه­ی بی­نهایت را حل می­کند.

[1] Directed Automated Random Testing

[2] Unit

[3] Concolic Unit Testing Engine

[4] Generating inputs with call sequence

[5] Solving data structure invariants

 

 

دانلود  رایگان فایل دموی این پایان نامه(فقط حاوی ده صفحه از صفحات پایان نامه با فرمت ورد): 

پایان نامه ارائه یک روش تولید خودکار داده های ورودی برای تست جهش

دانلود  رایگان فایل دموی این پایان نامه(فقط حاوی ده صفحه از صفحات پایان نامه با فرمت pdf): 

پایان نامه ارائه یک روش تولید خودکار داده های ورودی برای تست جهش

برای دیدن جزئیات بیشتر ، خرید و دانلود آنی فایل متن کامل با فرمت ورد می توانید به لینک زیر مراجعه نمایید:

 دانلود از لینک زیر

 لینک متن کامل پایان نامه رشته مهندسی فناوری اطلاعات با عنوان ارائه یک روش تولید خودکار داده های ورودی برای تست جهش