论文

通过 Jira 集成的待办事项编排进行闭环自主软件开发:确定性控制和安全约束自动化的案例研究

Closed-Loop Autonomous Software Development via Jira-Integrated Backlog Orchestration: A Case Study in Deterministic Control and Safety-Constrained Automation

摘要

本文提出了一种软件生命周期管理的闭环系统,该系统被框架为控制架构而不是代码生成工具。该系统管理七个任务系列中约 1,602 行的积压工作,摄取 13 个结构化源文档,并执行作为七个预定自动化通道实施的确定性七阶段管道。自动化堆栈由跨 23 个脚本的约 12,661 行 Python 组成,加上 6,907 行版本化提示规范,以及基于检查点的时间预算、101 个异常处理程序和通过四个核心函数和八个可重用模式实现的 12 个集中式锁定机制。 Jira 状态合约提供外部可观察的冲突锁定,降级模式协议支持在 Jira 不可用时继续本地操作。人工智能辅助受到结构化上下文包、配置的资源上限、输出重新验证和人工审查门的限制。对初始 152 次运行窗口的正式评估产生了 100% 的最终状态成功,95% Clopper-Pearson 区间为 [97.6%, 100%];此后,该系统在连续运行中已积累了超过 795 个运行工件。三轮对抗性代码审查确定了 51 个发现,全部在研究范围内关闭(48 个完全修复,3 个通过延迟强化关闭),注入组内的假阴性为零。在由 10 个项目组成的自主安全票据系列中,有 6 项通过管道自主调度和验证完成,两项需要手动修复,两项通过政策决定关闭。结果表明,当自主性嵌入到显式控制、恢复和审计机制中时,有界、可追踪的生命周期自动化是实用的。