亚马逊云科技宣布Kiro正式可用
在IDE与终端中与团队一起构建更强大的AI研发工作流 北京 2025年11月18日 /美通社/ -- 亚马逊云科技宣布Kiro现已正式可用,助力用户在IDE与终端中与团队一起构建更强大的AI研发工作流。自今年7月Kiro发布预览版以来,越来越多团队将Specs作为与AI协同构建的结构化方式;亚马逊云科技率先将规范驱动开发(spec-driven development)引入AI编码工具,这一方法已逐步获得行业认可,规划先行正成为与AI Agent协作的有效路径。过去数月,Kiro持续引入远程MCP、全局steering文件、开发服务器支持、Auto agent以及通过可选任务提升Specs灵活性。此次正式可用,Kiro进一步带来基于属性的测试、进度检查点、全新的Kiro CLI和团队版订阅等多项能力,为用户在AI研发工作流中的规划、协作与交付提供更强支持。 Kiro正式版发布带来了一系列全新的核心功能升级: 1 :借助属性测试( PBT )度量"规范正确性" AI代码生成存在一个根本性的问题:用户如何知道生成的代码真的是按其所指定的方式运行?传统的单元测试仅验证特定例子。更棘手的是,无论测试编写者是人还是AI,都受限于自身思维定势。他们必须考虑所有不同、具体的场景去测试代码,而他们会遗漏那些没想到的边缘情况。AI模型常常"钻空子"——通过修改测试而不是修复代码,或者陷入无尽循环修复问题。 基于属性的测试(Property-based testing,PBT)则正为解决这一挑战而生,它能够通过检测代码是否符合规范定义的行为来解决上述问题。与测试具体示例不同,Kiro会深入分析项目规范,提取出代表系统应有行为的通用属性,并据此进行验证。 这里所说的属性(Property)是一个普适性声明:对于任何一组输入,只要某些先决条件成立,某个断言(预期行为)就应为真。例如:"对于任何已验证用户和任何活跃列表,该用户可以查看该列表。"Kiro能够协助用户使用EARS格式撰写规范。Kiro会从相关需求中提取属性,确定哪些可以进行逻辑测试,然后生成成百上千个随机测试用例来检查用户代码。 以构建一个汽车销售应用为例: ...







