Quick Plan被描述为随Kiro更新推出的简化工作流能力,同样面向更快地从计划走向执行。 它与Requirements Analysis的关系可以这样理解:Requirements Analysis负责检查计划是否站得住脚,Quick Plan和Parallel Task Execution则帮助团队更快进入并推进实现阶段。
AWS文档称,Kiro是一项智能体式编码服务,可以把提示词转成详细规格,再进一步生成可工作的代码、文档和测试。 Kiro自己的规格文档也说明,Specs(规格)是结构化产物,用来把功能和缺陷修复流程正式化,将高层想法变成有跟踪、有责任边界的实施计划。
这些规格可以把需求拆成带验收标准的用户故事,支持设计文档,并按任务跟踪实现进度。 Kiro产品页还称,它会把自然语言提示转成采用 EARS notation 的需求和验收标准,让开发者的意图与约束更加明确。
放在这个背景下,Requirements Analysis并不是一个孤立功能。Kiro原本就试图在“提示词”和“生成代码”之间放入一层规格;新功能则是在这层规格上继续加强检查:先看需求本身有没有缺口或冲突,再进入实现阶段。
目前可以稳妥确认的是高层描述:Kiro使用基于语言模型的开发流程,而Requirements Analysis被报道为把大模型理解能力与额外检查机制结合起来。AWS的Kiro文档称,该服务构建在Amazon Bedrock之上,并使用多个基础模型完成任务。 GeekWire报道称,Requirements Analysis结合了大语言模型和额外的检查机制;另有用户生成的技术分析将这一思路概括为 神经符号AI,也就是把大模型的语言理解能力与形式数学逻辑结合起来。
如果只根据现有资料,较谨慎的流程理解可以拆成五步:
Requirements Analysis是在这个前端阶段增加验证;Parallel Task Execution和Quick Plan则更关注计划形成之后如何更快推进。 换句话说,AWS想让Kiro同时变得更严谨也更快:先检查规格是否自洽,再减少从计划到实现之间的摩擦。
已经比较明确的部分包括:Kiro是一个规格驱动的智能体式编码服务;它能把提示词转成规格和实现相关产物;它使用EARS notation生成需求和验收标准;这次更新新增了Requirements Analysis、Parallel Task Execution和Quick Plan。
仍不清楚的是Requirements Analysis的完整内部架构。现有资料支持高层的神经符号与形式推理叙述,但没有提供一份AWS官方技术规格,把大语言模型、EARS notation、SMT-LIB形式化、语义熵以及某个具体SMT求解器如何逐步串联起来全部说明清楚。
因此,在AWS发布更详细资料之前,最稳妥的理解是:Requirements Analysis是一个以形式推理为目标的需求检查功能;它确实把Kiro的检查环节前移到了写代码之前,但其完整技术机制目前仍只是部分公开。
Comments
0 comments