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

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