محققان در مقالهای جدید به سراغ چالش بزرگِ «تعمیر خودکار برنامهها» (APR) رفتهاند. مدلهای زبانی در حال حاضر میتوانند باگها را شناسایی و رفع کنند، اما گاهی اوقات کدهای اصلاحی آنها با وجود اینکه به ظاهر درست عمل میکنند، هنوز دارای نقصهای پنهان هستند.
تکنیک جدیدی به نام «CoHarden» معرفی شده که با تولید یک “تستِ سختگیرانه” قبل از اعمال اصلاحات، جلوی خطاهای احتمالی را میگیرد. این سیستم به طور مداوم تستها و کدهای پیشنهادی را در برابر باگهای احتمالی (Mutation patches) بررسی میکند تا مطمئن شود که اصلاحات انجام شده واقعاً دقیق و قابل اطمینان هستند. این گام بزرگی برای افزایش دقت مدلهای برنامهنویسی است! 🛠️💻
نویسی افزار
منبع: arXiv AI