聖塔非研究所

無標度網絡中的同步化轉變

2026-03-12 · 已發表論文 · 更新 2026/03/18 下午12:36

摘要 GenProg 實作了一種自動演化補丁的新方法,以修復遺留 C 程式中的測試套件故障。它結合了遺傳編程和軟體工程的見解。 GenProg 中的許多原始設計決策最終不如其作為存在證明的影響重要。特別是,它證明了可以自動產生針對重要錯誤和程序的有用補丁。自最初發表以來,自動化程序修復的研究已擴展到考慮和評估許多新方法、背景和缺陷。隨著基於機器學習的程式碼合成和調試技術變得流行…

本頁只刊出中文翻譯與中文說明;英文原文請見下方原文連結。

原文連結

論文資訊

  • 類型:已發表論文
  • 日期:2026-03-12

摘要

GenProg 實作了一種自動演化補丁的新方法,以修復遺留 C 程式中的測試套件故障。它結合了遺傳編程和軟體工程的見解。 GenProg 中的許多原始設計決策最終不如其作為存在證明的影響重要。特別是,它證明了可以自動產生針對重要錯誤和程序的有用補丁。自最初發表以來,自動化程序修復的研究已擴展到考慮和評估許多新方法、背景和缺陷。隨著基於機器學習的程式碼合成和調試技術變得流行,考慮一下對程式修復中的長期問題的看法如何隨著時間的推移而改變或保持不變是很有幫助的。本次回顧討論了修復品質問題(包括測試的作用)、自動修復的用例(包括人類的作用)以及這些方法為何有效。