8497

8497

ارائه راهكاري جهت توليد داده هاي آزمون به منظور كشف خطاهاي معنايي موجود در برنامه

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

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

تير 1390

تير 1390

دكتر پارسا

هدف در اين پايان نامه، ارائه روشي جهت توليد داده هاي آزمون مي باشد. روش پيشنهادي مي بايست حداقل تعداد داده هاي آزمون با حداكثر قابليت كشف خطا را ايجاد نمايد. براي اين منظور در آغاز با ايجاد تصادفي مجموعه اي از ورودي ها، سعي به يافتن مسيرهاي اجرايي صحيح و غلط مي گردد. بر اساس مقايسه مسيرهاي اجرايي صحيح و غلط، ميزان تاثيرگذاري عبارات موثر در تعيين مسير اجرايي بر اجراهاي خطادار مشخص مي شود. بر اين اساس مي توان متغيرهاي غير موثر بر مسيرهاي اجرايي را حذف نمود. بعد از حذف متغيرهاي غير موثر بر مسير اجرايي، با استفاده از روشي موسوم به كاهش دامنه، دامنه ي ورودي ها تا حد امكان كوچك شده و ورودي ها به گونه اي توليد مي شوند كه منجر به پيمايش مسير خطادار برنامه شوند. واژههاي كليدي: اشكال زدايي نرم افزار، توليد داده آزمون، مدل رفتاري، تست مبتني بر مدل