J26-SE-331 团队构建需求可追溯的 BDD 测试 QA 框架，治理 LLM「假可运行测试」问题

斯里兰卡 IT 学院 J26-SE-331 团队提出一个四组件 BDD 测试 QA 框架，针对 LLM 生成「能跑通但未真正验证需求」的 false-runnable test。四个组件 C1-C4 依次做接地需求细化、边界感知 Gherkin 生成、带 mock 理由的测试生成和需求可追溯的变异充分性评估，每个交接点用 JSON 契约并设人工审查决策。团队将通过条件化流水线与独立阶段基线的消融实验，验证端到端可追溯性能否改善测试充分性与缺陷定位。