ارائه راهكاري جديد براي توليد خودكار داده‌هاي آزمون با استفاده از اجراي نمادين پويا

كارشناسي ارشد

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

184901

دانشگاه علم و صنعت ايران

كامپيوتر - نرم افزار

دكتر سعيد پارسا