待验证50% 置信事件精确时间
AG-047漏洞（3.0.6修复）：门禁仅凭路径判断什么是测试，命名像测试但被被测代码导入的模块会被排除在覆盖率和变异之外；修复后此类模块被当作源码处理，但通过importlib或__import__动态导入的模块仍无法检测。
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/10/15
首次发现
有效期至：2027/1/13
来源
涉及实体
相关事实
待验证突变测试通过对源代码进行小规模随机修改后运行现有测试套件，若测试未检测到突变体则说明测试覆盖存在盲区，主流工具包括 Java 的 PIT、Python 的 mutmut、JavaScript 的 Stryker62% 相似待验证氛围编程生成的样板代码可能隐藏安全漏洞、错误的依赖版本或不符合生产标准的错误处理逻辑，更适合探索与原型阶段62% 相似待验证自动程序修复（APR）研究表明，即使是基于测试套件指导的补丁生成，也常出现过拟合测试用例的问题，即补丁通过现有测试但在未覆盖路径上引入新错误62% 相似待验证nightly 构建验证的是端到端的产物形态，而单元测试跑的是源码或 mock；像插件依赖没被打进去这类问题，测试里模块解析路径往往还连着 node_modules，不会失败61% 相似待验证早期归纳程序合成系统因在有限示例集上通过验证便宣称找到正确程序，后被发现在边界输入上系统性失败61% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1033571API
curl https://kongchang.com/api/v1/knowledge/claims/1033571MCP
get_claim(id=1033571)