亚马逊云科技于11月18日正式推出其AI开发环境Kiro，标志着该平台从预览阶段进入全面可用阶段。自今年7月预览版发布以来，Kiro已获得众多开发团队的青睐，他们将Specs视为与AI协同构建的结构化标准。亚马逊云科技开创性地将规范驱动开发理念融入AI编码工具，这一创新方法正逐渐赢得行业认同，规划先行已成为与AI智能体协作的高效模式。

在过去的几个月里，Kiro持续完善其功能生态，陆续引入了远程MCP、全局引导文件、开发服务器支持、自动代理机制以及通过可选任务增强Specs的灵活性。此次正式版发布更带来了多项突破性能力：基于属性的测试、进度检查点机制、全新的Kiro命令行界面以及专为团队设计的订阅方案，这些升级显著提升了用户在AI研发流程中的规划效率、协作体验和交付质量。

核心功能升级一：属性测试确保规范准确性

AI代码生成面临着一个本质挑战：开发者如何确信生成的代码完全符合预期行为？传统单元测试仅能验证特定用例，而无论是人工还是AI编写的测试，都难以避免思维定势的局限。测试设计者必须穷举所有可能的场景，但总会遗漏某些边界情况。AI模型有时会采取"走捷径"的策略——通过修改测试而非修复代码，或陷入无限循环的修复过程。

属性测试（Property-based Testing，PBT）正是为解决这一难题而生。它通过验证代码是否符合规范定义的行为特性来确保质量。与传统测试方法不同，Kiro会深度解析项目规范，提取代表系统预期行为的通用属性，并基于这些属性进行全面验证。

属性本质上是一个普适性声明：对于任意输入组合，只要满足特定前提条件，某个断言就必须成立。例如："任何经过验证的用户都可以查看任何活跃列表。"Kiro支持用户使用EARS格式编写规范，从相关需求中提取可测试属性，然后自动生成数百个随机测试用例来全面检验代码质量。

以开发汽车销售应用为例：

• 传统测试方式：验证用户将编号5的车辆加入收藏后，该车辆是否出现在收藏列表中。
• 属性测试方式：验证任何用户对任何车辆列表执行收藏操作后，系统是否都在该用户的收藏列表中正确显示该车辆。PBT会自动测试包含特殊字符的用户名、多用户并发操作、不同车辆状态等复杂场景，有效捕捉边界案例，真正实现"意图与实现"的精准匹配。

在整个测试过程中，PBT采用"收缩"技术持续寻找反例，如同一个专门挑战代码健壮性的"红队"。当发现违规情况时，Kiro可以自动更新代码实现，或提供调整规范、修改实现、修正测试等多种解决方案。虽然PBT不能绝对证明代码正确性，但它能在海量手动难以覆盖的测试场景中，为代码符合预期行为提供有力证据。

核心功能升级二：检查点机制实现变更回溯

Kiro现在支持用户回溯到智能体执行流程中的任意历史节点。系统会在每次智能体执行变更时自动创建检查点，用户可以回退任意步骤，既不会丢失进度，也无需重复消耗计算资源。这一功能在长时间任务执行过程中特别有价值，当开发者在复杂任务中深入探索时，可以放心地进行各种尝试。

该特性在关键任务执行阶段尤为重要：既能防止操作失误导致的进度损失，又能避免重复完成已进行的工作而浪费资源。

核心功能升级三：多根工作区增强协作能力

Kiro现已支持跨多个项目根目录的协同工作。对于包含多个Git子模块或代码包的项目团队，现在可以在所有项目根目录范围内与AI智能体进行无缝协作。

标准Kiro工作区通常只包含单个根文件夹（如/users/bob/my-project）。启用多工作区支持后，单个工作区可以配置多个顶级目录，例如同时将/users/bob/my-project和/shared/utils/auth设置为根文件夹。

Kiro命令行界面：智能体进驻终端环境

Kiro智能体现已全面支持终端环境。通过CLI，用户可以在数秒内完成功能构建、工作流自动化、错误分析、Bug追踪和修复建议等操作——所有这些都在用户熟悉的终端界面中完成，通过高度交互的循环保持工作流的连贯性。Kiro CLI与Kiro IDE共享引导文件和MCP设置，确保用户和团队在不同环境中都能使用统一的工具配置和偏好设置。

Kiro CLI将平台的完整能力带入了终端环境，包括Claude Sonnet 4.5、Claude Haiku 4.5和自动代理，以及引导文件、高级上下文管理和支持本地文件读写、API调用、Bash命令执行的MCP工具。虽然规范创建功能即将推出，但用户现在就可以在CLI中使用现有规范。

CLI还支持定制化智能体——专为特定任务优化的专业化AI助手。这些智能体使用预先批准的工具权限、上下文文件和自定义提示进行精准调优。例如，用户可以配置专注于API模式和架构的后端专家智能体，或只熟悉特定组件体系的前端智能体。每个智能体都会将上下文窗口聚焦于关键信息，可以将其视为高度精准的专业知识封装方式，让Kiro能够像领域专家一样工作，无需用户重复输入信息或担心上下文衰减。

近期使用CLI进行开发的用户普遍赞赏其响应速度和交互体验。用户可以使用与IDE相同的Kiro订阅账户和登录凭证操作CLI，两个工具共享额度限制和超额使用规则。

企业版Kiro：专为团队协作设计

团队现在可以通过Amazon IAM Identity Center注册Kiro，未来还将支持更多身份提供商。管理员可以在Amazon管理控制台中精细管理访问权限，分配Pro、Pro+或Power等不同级别的订阅方案。他们还可以启用超额计费、监控成本、控制MCP权限，并为整个企业统一管理账单。全新的管理控制台集中提供了管理Kiro所需的所有工具，无论是小型团队、初创公司还是大型企业都能获得完善支持。普通用户只需点击"使用企业身份登录"并按指引操作即可快速接入。

特别值得一提的是，亚马逊云科技为初创企业提供了专属福利：符合条件的初创公司可以获得为期一年的Kiro Pro+订阅。这项优惠面向全球B轮及以前的初创企业开放，有效期至2025年12月31日。现有的Amazon Activate积分也可以用于Kiro服务，且两项优惠可以叠加使用。

如今，Kiro通过在团队协作、工具集成和测试验证等各个环节提供恰当的上下文和结构，更好地支持用户期望的AI驱动开发模式。而这仅仅是个开始。

想获取更多AI最新资讯与智能工具推荐， 欢迎访问 👉 AI Tools Nav ——优质的 AI导航平台 与 AI学习社区

本文来源：机器之心

原文链接：https://www.jiqizhixin.com/articles/50985c20-6941-40e4-beaa-8e1cf3d49ff3