Amazon Web Services(AWS)标识

据SiliconANGLE 12日(当地时间)报道,Amazon Web Services(AWS)已对AI软件开发工具Kiro进行更新,新增并行执行、需求分析引擎,并推出Quick Plan功能。

在此次更新前,Kiro即使面对彼此独立的任务,也需要按顺序逐一处理。引入并行执行(Parallel Task Execution)后,Kiro会分析任务依赖关系图,将不共享状态、接口和文件资源的任务并发处理。AWS表示,这一能力可将大规模规格处理时间从1小时以上缩短至15分钟。

需求分析引擎(Requirements Analysis Engine)主要用于在编码前发现需求中的逻辑冲突。其首先借助大语言模型(LLM)将模糊需求改写为可验证标准,再转换为形式逻辑,随后通过SMT(Satisfiability Modulo Theories)求解器检查其中是否存在矛盾。

例如,如果第1页写明“完全删除”,而第10页又基于“软删除”设定相关规则,系统就会识别出两者在逻辑上无法同时满足,并以更便于开发者理解的方式提示问题所在。

Quick Plan则面向范围和条件已明确的项目,不再按步骤逐项提问,而是在初期集中提出所需问题,并一次生成完整技术方案,以提升项目推进速度。

关键词

#AWS #Kiro #并行执行 #需求分析引擎 #Quick Plan #LLM #SMT(Satisfiability Modulo Theories)求解器 #AI软件开发工具
版权所有 © DigitalToday。未经授权禁止转载或传播。