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

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

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

180983

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

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

دكتر پارسا