在IDE與終端中與團(tuán)隊(duì)一起構(gòu)建更強(qiáng)大的AI研發(fā)工作流

北京2025年11月18日 /美通社/ -- 亞馬遜云科技宣布Kiro現(xiàn)已正式可用，助力用戶在IDE與終端中與團(tuán)隊(duì)一起構(gòu)建更強(qiáng)大的AI研發(fā)工作流。自今年7月Kiro發(fā)布預(yù)覽版以來(lái)，越來(lái)越多團(tuán)隊(duì)將Specs作為與AI協(xié)同構(gòu)建的結(jié)構(gòu)化方式；亞馬遜云科技率先將規(guī)范驅(qū)動(dòng)開(kāi)發(fā)(spec-driven development)引入AI編碼工具，這一方法已逐步獲得行業(yè)認(rèn)可，規(guī)劃先行正成為與AI Agent協(xié)作的有效路徑。過(guò)去數(shù)月，Kiro持續(xù)引入遠(yuǎn)程MCP、全局steering文件、開(kāi)發(fā)服務(wù)器支持、Auto agent以及通過(guò)可選任務(wù)提升Specs靈活性。此次正式可用，Kiro進(jìn)一步帶來(lái)基于屬性的測(cè)試、進(jìn)度檢查點(diǎn)、全新的Kiro CLI和團(tuán)隊(duì)版訂閱等多項(xiàng)能力，為用戶在AI研發(fā)工作流中的規(guī)劃、協(xié)作與交付提供更強(qiáng)支持。

Kiro正式版發(fā)布帶來(lái)了一系列全新的核心功能升級(jí)：

1：借助屬性測(cè)試(PBT)度量"規(guī)范正確性"

AI代碼生成存在一個(gè)根本性的問(wèn)題：用戶如何知道生成的代碼真的是按其所指定的方式運(yùn)行？傳統(tǒng)的單元測(cè)試僅驗(yàn)證特定例子。更棘手的是，無(wú)論測(cè)試編寫者是人還是AI，都受限于自身思維定勢(shì)。他們必須考慮所有不同、具體的場(chǎng)景去測(cè)試代碼，而他們會(huì)遺漏那些沒(méi)想到的邊緣情況。AI模型常常"鉆空子"——通過(guò)修改測(cè)試而不是修復(fù)代碼，或者陷入無(wú)盡循環(huán)修復(fù)問(wèn)題。

基于屬性的測(cè)試(Property-based testing，PBT)則正為解決這一挑戰(zhàn)而生，它能夠通過(guò)檢測(cè)代碼是否符合規(guī)范定義的行為來(lái)解決上述問(wèn)題。與測(cè)試具體示例不同，Kiro會(huì)深入分析項(xiàng)目規(guī)范，提取出代表系統(tǒng)應(yīng)有行為的通用屬性，并據(jù)此進(jìn)行驗(yàn)證。

這里所說(shuō)的屬性(Property)是一個(gè)普適性聲明：對(duì)于任何一組輸入，只要某些先決條件成立，某個(gè)斷言(預(yù)期行為)就應(yīng)為真。例如："對(duì)于任何已驗(yàn)證用戶和任何活躍列表，該用戶可以查看該列表。"Kiro能夠協(xié)助用戶使用EARS格式撰寫規(guī)范。Kiro會(huì)從相關(guān)需求中提取屬性，確定哪些可以進(jìn)行邏輯測(cè)試，然后生成成百上千個(gè)隨機(jī)測(cè)試用例來(lái)檢查用戶代碼。

以構(gòu)建一個(gè)汽車銷售應(yīng)用為例：

• 傳統(tǒng)單元測(cè)試方法：用戶將第5號(hào)車加入收藏，結(jié)果第5號(hào)車出現(xiàn)在其列表中。
• 屬性測(cè)試方法：對(duì)于任何用戶和任何汽車列表，當(dāng)用戶將其添加到收藏夾時(shí)，系統(tǒng)應(yīng)在該用戶的收藏夾列表中顯示該汽車。PBT隨后會(huì)自動(dòng)測(cè)試用戶昵稱中包含特殊字符、多用戶同時(shí)添加、不同汽車狀態(tài)等數(shù)百種組合，捕獲邊緣案例，真正驗(yàn)證"實(shí)現(xiàn)是否匹配意圖"。

在整個(gè)過(guò)程中，PBT通過(guò)一種被稱為"收縮"(shrinking)的技術(shù)不斷尋找反例，幾乎就像一支試圖破壞用戶代碼的"紅隊(duì)"。當(dāng)發(fā)現(xiàn)違規(guī)或反例時(shí)，Kiro可以自動(dòng)更新用戶的實(shí)現(xiàn)，或提供選項(xiàng)以調(diào)整規(guī)范、修改實(shí)現(xiàn)，或修正相應(yīng)的PBT測(cè)試。這樣做的重要性在于，雖然PBT不能完全證明代碼的正確性，但它能夠在大量無(wú)法通過(guò)手動(dòng)方式逐一編寫的測(cè)試場(chǎng)景下提供實(shí)現(xiàn)正確性的依據(jù)，從而展示實(shí)現(xiàn)是否真正符合預(yù)先定義的行為。

2：借助檢查點(diǎn)(Checkpointing)回溯變更

用戶現(xiàn)在可以回溯到Agent執(zhí)行流中的任何一個(gè)歷史變更點(diǎn)。Kiro會(huì)在Agent每次執(zhí)行變更或操作時(shí)生成一個(gè)檢查點(diǎn)。用戶可以回滾任意步，而不會(huì)丟失進(jìn)度或重復(fù)消耗算力。當(dāng)在任務(wù)實(shí)現(xiàn)中走了很遠(yuǎn)，但不想丟失進(jìn)度時(shí)，這非常有用。

這一功能在任務(wù)執(zhí)行至關(guān)鍵階段時(shí)尤為實(shí)用：既可避免因操作失誤導(dǎo)致的進(jìn)度丟失，也無(wú)需消耗額外額度重復(fù)完成已開(kāi)展的工作。

3：Multi-root工作區(qū)支持

Kiro現(xiàn)已支持同時(shí)跨多個(gè)項(xiàng)目根目錄進(jìn)行協(xié)作。對(duì)于單個(gè)項(xiàng)目包含多個(gè)Git子模塊或多個(gè)代碼包的團(tuán)隊(duì)而言，如今都可以跨所有項(xiàng)目根目錄與AI Agent協(xié)作。

常規(guī)的Kiro工作區(qū)僅包含一個(gè)單獨(dú)的"root"文件夾(例如/users/bob/my-project)。啟用多工作區(qū)支持后，單個(gè)Kiro工作區(qū)可設(shè)置多個(gè)根目錄，例如一個(gè)工作區(qū)中可同時(shí)將/users/bob/my-project和/shared/utils/auth設(shè)為頂級(jí)文件夾。

Kiro CLI 正式發(fā)布：Agent入駐終端

Kiro Agent現(xiàn)在可以在用戶的終端中使用。借助CLI，用戶可以在數(shù)秒內(nèi)構(gòu)建功能、自動(dòng)化工作流、分析錯(cuò)誤、追蹤bug并提出修復(fù)建議——所有操作都在用戶所選擇的終端中進(jìn)行，以高度交互的循環(huán)保持工作流。Kiro CLI與Kiro IDE中的steering文件和MCP設(shè)置共享，使用戶和團(tuán)隊(duì)在兩個(gè)環(huán)境中都可使用相同的工具和偏好。

Kiro CLI將Kiro的全部強(qiáng)大能力帶到了終端——包括Claude Sonnet 4.5、Claude Haiku 4.5 和 Auto Agent，以及引導(dǎo)文件、高級(jí)上下文管理和用于本地讀寫文件、調(diào)用API、運(yùn)行Bash命令的MCP工具。規(guī)范創(chuàng)建支持即將推出，但用戶已經(jīng)可以在CLI中使用現(xiàn)有規(guī)范。

CLI還支持定制Agent，即用戶為特定任務(wù)打造的專業(yè)化AI助手——使用預(yù)批準(zhǔn)的工具權(quán)限、上下文文件以及自定義prompt進(jìn)行優(yōu)化。例如，用戶可以有一個(gè)后端專家Agent專注于API模式和schema；或者一個(gè)前端Agent只了解用戶組件體系。每個(gè)Agent都會(huì)將上下文窗口專注于關(guān)鍵內(nèi)容?？梢詫⒍ㄖ艫gent視為一種高度精確封裝專業(yè)知識(shí)的方式，使Kiro能夠作為該領(lǐng)域?qū)＜野l(fā)揮作用，而無(wú)需用戶重復(fù)輸入信息或擔(dān)心上下文衰退。

過(guò)去幾周中使用CLI構(gòu)建的用戶表示非常喜歡CLI的速度和交互體驗(yàn)。用戶可使用與IDE中相同的Kiro訂閱賬戶和登錄憑證來(lái)操作CLI，兩款工具共享額度限制與超額使用規(guī)則。欲了解更多關(guān)于Kiro CLI和定制Agent的內(nèi)容，請(qǐng)點(diǎn)擊https://kiro.dev/blog/introducing-kiro-cli/

Kiro for Organizations：為團(tuán)隊(duì)協(xié)作而生

團(tuán)隊(duì)現(xiàn)在可以通過(guò)Amazon IAM Identity Center注冊(cè)Kiro，未來(lái)還將支持更多身份提供商。管理員可以在Amazon Management Console中管理訪問(wèn)權(quán)限，并分配Pro、Pro+或Power訂閱。他們還可以開(kāi)啟超額計(jì)費(fèi)、監(jiān)控成本、控制MCP權(quán)限，并為整個(gè)企業(yè)統(tǒng)一管理賬單。全新的管理控制臺(tái)集中提供了管理Kiro所需的一切工具，無(wú)論是團(tuán)隊(duì)、初創(chuàng)公司還是大型企業(yè)用戶。作為用戶，只需點(diǎn)擊"使用企業(yè)身份登錄"并按照提示完成操作即可。

另外，亞馬遜云科技還為初創(chuàng)企業(yè)推出專屬福利：符合條件的初創(chuàng)企業(yè)可獲得一年期的Kiro Pro+訂閱。該優(yōu)惠面向全球最高至B輪階段的初創(chuàng)企業(yè)開(kāi)放，截止日期為2025年12月31日。已有的Amazon Activate積分也可用于Kiro，并且兩項(xiàng)優(yōu)惠可以疊加使用。

現(xiàn)在，Kiro能夠在在團(tuán)隊(duì)、工具和測(cè)試各個(gè)環(huán)節(jié)中，通過(guò)提供恰當(dāng)?shù)纳舷挛暮徒Y(jié)構(gòu)，更好地支持用戶所期望的AI驅(qū)動(dòng)開(kāi)發(fā)方式。而這一切僅僅是開(kāi)始。

【免責(zé)聲明】本文僅代表作者個(gè)人觀點(diǎn)，與云財(cái)經(jīng)無(wú)關(guān)。其原創(chuàng)性以及文中陳述文字和內(nèi)容未經(jīng)本站證實(shí)，云財(cái)經(jīng)對(duì)本文以及其中全部或者部分內(nèi)容、文字的真實(shí)性、完整性、及時(shí)性本站不作任何保證或承諾，請(qǐng)讀者僅作參考，并請(qǐng)自行核實(shí)相關(guān)內(nèi)容。