فهرست نشریات علمی دسترسی آزاد ایران

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