مکانیابی خطاهای پنهان نرم افزار با استفاده از آنتروپی متقاطع و مدلهای n-گرام

هدف، ارایه راه کاری برای تعیین خودکار محدوده خطاهای پنهان در متن برنامه ها می باشد. می توان محدوده علت خطا را براساس مقایسه مسیرهای اجرایی صحیح و غلط به دست آورد. براساس شباهت مسیرهای اجرایی می توان آنها را دسته بندی نمود. جهت به دست آوردن شباهت مسیرها، مدل های N-گرام اجراها را به دست آورده و سپس با استفاده از آنتروپی متقاطع شباهت بین این مدل ها را محاسبه می کنیم. برای به دست آوردن مدل های N-گرام که در دسته مدل های مارکوف قرار می گیرند از تخمین حداکثر احتمال توسط شمارش کلمات یا به عبارتی N-گرام ها استفاده می شود. سپس با تحلیل هر دسته، با کمک آنتروپی متقاطع، یک سری مکان های مشکوک به خطا شناسایی می شوند و در نهایت با استفاده از رای اکثریت بین دسته ها، مکان های مشکوک به خطا به صورت بخش هایی از یک زیرمسیر به برنامه نویس معرفی می شود. راه کار ارائه شده در این مقاله، با دقت بالا محدوده خطا را نشان می دهد و نتایج به دست آمده از اعمال این راه کار به مجموعه محک زیمنس، گویای آن می باشد.