程序聚合 软件案例 spec-anchor — 基于AI自动标注的SPEC-Code追溯矩阵生成器

spec-anchor — 基于AI自动标注的SPEC-Code追溯矩阵生成器

2026-06-24 22:27:56
行业:人工智能
载体:爬虫/脚本
技术:Python

业务和功能介绍

在AI辅助开发的SPEC-driven工作流中,开发者通过SPEC.md定义需求条目,并通过CLAUDE.md铁律约束AI在生成代码时自动带上@implements REQ-NNN注释标注。但传统追溯工具(IBM DOORS、Jama Connect等)太重型,需要手动标注,缺少一款轻量级的CLI工具来自动完成需求到代码的关联追溯。spec-anchor填補了这一空白,实现AI自动标注与自动追溯的闭环。

核心功能模块: • trace命令:解析SPEC.md提取需求条目(REQ-NNN格式),递归扫描源代码目录,通过两层匹配策略(Layer 1: @implements精确匹配;Layer 2: 关键词启发式兜底)关联需求与代码实现,生成Markdown/JSON格式的追溯矩阵 • impact命令:支持git提交范围或diff文件的反向影响分析,展示代码变更影响了哪些需求条目及其变更行数 • check命令:缺口检查,列出未实现和仅启发式匹配的需求,提供覆盖率统计 • 支持8种语言(Python/JS/TS/Go/Java/Rust/PHP/Ruby/Elixir)的函数名提取与注释识别,内置中英文关键词映射和同义词扩展 业务流程:开发者在SPEC.md中定义需求→AI生成代码时自动带@implements注释→运行spec-anchor trace生成追溯矩阵→运行spec-anchor impact查看变更影响→在PR中附上矩阵供reviewer审查

项目实现

整体架构和设计思路:项目采用模块化分层架构,Python 3.10+开发,基于Click CLI框架构建命令行接口。核心数据流为:spec_parser.py解析SPEC.md提取需求实体 → scanner.py递归扫描源码执行Layer 1(@implements正则匹配)和Layer 2(函数名提取)→ keywords.py处理中英文关键词映射、同义词扩展和置信度评分 → matrix.py/impact.py生成输出报告。cache.py通过SHA256哈希实现增量扫描缓存,避免大型仓库重复全量扫描。项目严格遵循TDD开发,从SPEC定义→测试先行→实现→代码审查→自动验证,形成了完整的质量闭环。 负责模块和结果:该项目为独立开发的完整CLI工具。截至v0.2版本,完成10个核心模块的实现,通过150+个单元测试(覆盖率86%),覆盖8种编程语言的函数名正则匹配。所有验收标准(9个维度)一次性通过,mypy类型检查通过,ruff lint零错误。 遇到的难点和解决方案: • 中文需求标题匹配:内置2字符滑动窗口+中英文关键词映射表,每个CJK词组(如"注册")映射到对应英文关键词集(register/create/signup),无需外部NLP依赖即可处理中文标题 • Windows平台编码问题:git diff输出GBK乱码,通过设置PYTHONIOENCODING=utf-8环境变量解决,并通过文件读取的errors="replace"容错 • @implements注释距离限制:注解必须紧贴函数定义(不超过5行),否则Layer 1扫描失败。扫描引擎实现了5行内搜索+多语言回退机制,并在文档中明确了此限制 • 跨语言注释格式统一:为8种语言定义了统一的@implements REQ-NNN注释格式,在语言检测模块中通过文件扩展名路由到对应的正则提取器

示例图片视频


易洋
30天前活跃
方向: 人工智能-AI应用开发、后端-Python、
交付率:100.00%
相似推荐
粮食收购点出入口系统-粮食收购点出入口系统
1.为了乡镇粮食收购点的业务功能如:出入库、记录库存、统计查询使用方便 2.满足多个收购点多租户登录使用 3.满足多个品种地磅进行系统适配使用 4.满足多个品牌摄像头接入 5.能够进行实时小票打印,包含销售模块、收购模块,能够根据小票的二维码快速查询信息
江西省人民医院医疗廉洁防控平台
对接医院信息系统,自动归集:处方、医嘱、药品耗材使用、检查检验申请、收费结算、耗材采购、设备采购、患者就诊、医保结算等全量业务数据,形成医疗行为大数据池。 内置风控规则模型,自动筛查异常行为并预警:大处方、重复开药、高频开同类检查、耗材异常使用、同一医生高频开具特定药品 / 耗材、超适应症检查、医保违规结算等;按风险等级分为红 / 黄预警,自动推送至医务、医德医风办、纪检部门。
课表查询(正方教务系统多校适配版)
高校教务系统(正方 jwglxt 等)是学生查询课表、成绩、考试安排的唯一官方入口, 但普遍存在四个现实问题:一是登录需 RSA 加密加密并对接 CSRF 令牌,页面为服务端 渲染的复杂表格,手机浏览器打开体验极差;二是课表的单双周、分段奇偶、调休与临时 停课信息只能靠学生自己推算,极易看错;三是成绩与绩点口径混乱,挂科课程常被错误 计入"已获得学分",导致学生无法与学校数字对账;四是空教室只能逐节次手工查询, 效率极低。学生每周都要反复核对课表与空教室,却缺少一个能在手机上清晰查看、并可 一键导入系统日历的工具。本项目立项,即为解决高校学生在课表、成绩、考试、空教室 四类高频信息上的查询成本问题。
WPF上位机-上位机SCADA/HMI
🌟 核心架构与技术亮点 (Architecture Highlights) 🔄 内存级环形缓冲区 :采用手搓环形队列实现高频采集与消费解耦,极大地降低 C# 垃圾回收 (GC) 压力支撑界面流畅渲染。 ⚡ 自研轻量级数据核心 :轻量级内存数据核心,高性能内存状态机,实时采集点位高速路由,实时状态响应与事件报警分发。 ⏱️ 自适应时间补偿 :基于高精度 Stopwatch 计时,动态修正采集调度周期,抑制高频采集任务的时间漂移与时序抖动 🔒 无饥饿并发控制 :基于轻量级异步锁+线程池隔离策略,PLC通信负载与UI线程解耦。
智能汽车项目
完成汽车某些功能的座仓设计与交付,使座仓具备了高端的应用场景与用户使用感受;汽车座仓的流畅度设计,保障汽车在整体市场的高竞争力;汽车座仓的人因设计效果的落地与实施效果跟踪与改进,保障汽车在整体市场的高竞争力。
帮助文档   Copyright @ 2021-2024 程聚宝 | 浙ICP备2021014372号
人工客服