• شماره ركورد
    12483
  • شماره راهنما(اين فيلد مربوط به كارشناس ميباشد لطفا آن را خالي بگذاريد)
    12483
  • پديد آورنده

    مرتضي قاسمي

  • عنوان
    ارائه راهكاري جديد براي توليد خودكار داده‌هاي آزمون با استفاده از اجراي نمادين پويا
  • مقطع تحصيلي
    كارشناسي ارشد
  • رشته تحصيلي
    كامپيوتر - نرم افزار
  • سال تحصيل
    شهريور 1392
  • تاريخ دفاع
    شهريور 1392
  • استاد راهنما
    دكتر سعيد پارسا
  • چكيده
    چكيده هدف، توليد ابزاري براي توليد خودكار داده‌هاي آزمون براي آزمون واحد برنامه‌هاي دات‌نت مي‌باشد. براي رسيدن به اين هدف، ابزار حل كننده محدوديت زد-3 براي حل محدوديت‌هاي مسيري كه با اجراي كانكاليك برنامه به دست مي‌آيند، استفاده شده است. انفجار مسير چالش اصلي براي استفاده از اجراي كانكاليك در برنامه‌هاي بزرگ با تعداد مسيرهاي بالا مي‌باشد. نوآوري راهكار ارائه شده، ارائه روشي براي مقابله با اين مشكل مي‌باشد. راهكار پيشنهادي در ابزار پكس، ابزار اجراي نمادين پوياي برنامه‌هاي دات‌نت، پياده سازي شده است. نتايج ارزيابي‌ها نشان مي‌دهند راهكار پيشنهادي در مقايسه با راهكارهاي اوليه جستجو، در زمان كمتري به پوشش بالاي كد خواهد رسيد. واژه‌هاي كليدي: آزمون واحد، اجراي نمادين، اجراي كانكاليك، انفجار مسير، حل كننده محدوديت