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

اجراي پويانمادين روشي پويا براي آزمون نرم افزار است كه مي تواند به پوشش بالايي از كد دست يابد. مشكل اين روش در برنامه هاي واقعي انفجار مسير در اجرا است. بنابراين اجراي پويا نمادين صرف براي برنامه هاي واقعي كارآمد نيست. از جمله نرم افزارهاي محبوب، برنامك هاي اندرويدي هستند. آزمون برنامك هاي اندرويدي نسبت به برنامه هاي ديگر داراي چالش هاي جديد رخدادمحور بودن و وابستگي زياد به SDK است كه سربار آزمون را بالا مي برد. در اين مقاله ما يك هيوريستيك را ارائه كرده ايم كه اجراي پويا نمادين را به صورت بهينه و هدايت شده روي برنامك هاي اندرويدي اعمال مي كند. همچنين با تحليل ايستا و استخراج گراف فراخواني توابع همراه با پيمايش روبه عقب آن، نقطه شروع برنامك را توليد مي كنيم. با استفاده از گراف كنترل جريان بين تابعي و پيمايش روبه عقب آن نيز، اطلاعات مسيرهاي داراي اولويت را در يك پشته ذخيره مي نماييم. در اين كار با ايده استفاده از كلاس هاي Mock مسئله رخدادمحور بودن را حل كرده ايم. ضمن آنكه اجراي پويا - نمادين را با اطلاعات پشته مسيرهاي مطلوب به صورت هدايت شده انجام مي دهيم تا با محدود كردن فرايند آزمون به نقطه هاي شروع مشخص، سربار بالاي آزمون برنامك ها را كاهش دهيم. براي ارزيابي راه كار ارائه شده، ابتدا 10 برنامك داراي خطا را مطرح و پياده سازي كرديم كه ابزار ما تمامي خطاها را تشخيص داد. همچنين 4 برنامك مورد آزمون در ابزار Sig-Droid را با ابزار خود آزموديم. نتايج نشان مي دهد ابزار ما با سرعت بيشتري مي تواند خطاهاي برنامك را تشخيص دهد.