6785

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

كارشناسي

نرم افزار

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

1399/04/22

كامپيوتر

Implement a heuristic mechanism for automated production of test data using dynamic symbolic execution

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