# 軟件工程

Kimi-Dev 是一款強大的開源編碼 LLM，旨在解決軟件工程中的問題。它通過大規模強化學習優化，確保在真實開發環境中的正確性和穩健性。Kimi-Dev-72B 在 SWE-bench 驗證中實現了 60.4% 的性能，超越其他開源模型，是目前最先進的編碼 LLM 之一。該模型可在 Hugging Face 和 GitHub 上下載和部署，適合開發者和研究人員使用。

SWE-1 是windsurf_ai首個為整個軟件工程流程優化的模型家族，旨在加速軟件開發 99%。與傳統的僅能編寫代碼的模型相比，SWE-1 不僅能編寫代碼，還能處理終端操作、訪問其他知識和互聯網、測試產品和理解用戶反饋。SWE-1 系列包括 SWE-1、SWE-1-lite 和 SWE-1-mini 三種模型，旨在滿足不同用戶的需求。

SWE-RL 是由 Facebook Research 提出的一種基於強化學習的大型語言模型推理技術，旨在利用開源軟件演變數據提升模型在軟件工程任務中的表現。該技術通過規則驅動的獎勵機制，優化模型的推理能力，使其能夠更好地理解和生成高質量的代碼。SWE-RL 的主要優點在於其創新性的強化學習方法和對開源數據的有效利用，為軟件工程領域帶來了新的可能性。該技術目前處於研究階段，尚未明確商業化定價，但其在提升開發效率和代碼質量方面具有顯著潛力。

SWE-Lancer 是由 OpenAI 推出的一個基準測試，旨在評估前沿語言模型在真實世界中的自由軟件工程任務中的表現。該基準測試涵蓋了從 50 美元的漏洞修復到 32000 美元的功能實現等多種獨立工程任務，以及模型在技術實現方案之間的選擇等管理任務。通過模型將性能映射到貨幣價值，SWE-Lancer 為研究 AI 模型開發的經濟影響提供了新的視角，並推動了相關研究的發展。

Agentless是一種無需代理的自動解決軟件開發問題的方法。它通過定位、修復和補丁驗證三個階段來解決每個問題。Agentless利用分層過程定位故障到特定文件、相關類或函數，以及細粒度的編輯位置。然後，Agentless根據編輯位置採樣多個候選補丁，並選擇迴歸測試來運行，生成額外的復現測試以復現原始錯誤，並使用測試結果重新排名所有剩餘補丁，以選擇一個提交。Agentless是目前在SWE-bench lite上表現最佳的開源方法，具有82個修復（27.3%的解決率），平均每問題成本0.34美元。

Lingma SWE-GPT是一個開源的大型語言模型，專注於軟件工程領域的任務，旨在提供智能化的開發支持。該模型基於Qwen系列基礎模型，經過額外訓練以增強其在複雜軟件工程任務中的能力。它在軟件工程智能代理的權威排行榜上表現出色，適合需要自動化軟件改進的開發團隊和研究人員。

poolside是一個為軟件工程挑戰而構建的先進基礎AI模型，它通過在用戶代碼上進行微調，學習項目的獨特之處，以理解通用模型無法理解的複雜性。它建立在poolside基礎之上，每天都能變得更好。除了先進的代碼編寫模型，poolside還構建了一個直觀的編輯器助手，並提供了一個開發者可以構建的API。poolside由Jason Warner和Eiso Kant於2023年4月創立，他們之前在AI和軟件工程領域有著豐富的經驗。

SWE-bench Verified是OpenAI發佈的一個經過人工驗證的SWE-bench子集，旨在更可靠地評估AI模型解決現實世界軟件問題的能力。它通過提供代碼庫和問題描述，挑戰AI生成解決所描述問題的補丁。這個工具的開發是為了提高模型自主完成軟件工程任務的能力評估的準確性，是OpenAI準備框架中中等風險級別的關鍵組成部分。

Genie是一款AI軟件工程模型，它在SWE-Bench行業標準基準測試中取得了30%的評估分數，遠超其他同類產品。Genie能夠獨立或與用戶協作解決bug、構建功能、重構代碼，就像與同事合作一樣。它通過與GitHub問題跟蹤器的直接集成，簡化了工作流程，確保完全理解特定任務和目標。

SWE-agent是普林斯頓大學推出的首個開源AI程序員，基於GPT-4技術，能夠自動修復GitHub倉庫中的bug。其表現優異，開源性質受到開源社區高度認可。工作原理是通過與終端交互進行代碼編輯、語法檢查、測試編寫和執行。研究人員設計了簡潔的指令和反饋格式，工作流程分為推理和評估兩個階段。定價為免費。

Babel提供了一種新的軟件工程範式，包括AI生成組件、結構化編程、即時編碼、全息觀察和NoOps。Babel的自我驅動代理可以協作處理編碼、調試、測試、部署等問題，同時還能自動維護和操作應用程序。

Cognition Labs是一個應用AI實驗室，專注於推理能力，他們開發的代碼只是開始。該公司旨在通過AI技術提升軟件工程的效率，並且已經推出了Devin的AI軟件工程師。

Cubed是一個AI創建任務的平臺，通過與GitHub代碼庫連接，使用人工智能生成具體可操作、描述性強的卡片。設置同步後，Cubed會智能地利用代碼庫的上下文，改進每個新的工單，為開發人員提供更多指導、加速和專注時間。

TeamStation是一款通過Framework Science獨有的遠程軟件工程團隊增員SaaS平臺，快速構建拉美近海軟件開發團隊，集成AI和Fintech技術，提供人性化的AI和Fintech服務，2022年獲得了美國專利註冊。用戶可以通過簡單的操作，一鍵僱傭頂級的近海軟件工程師人才。