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