待验证50% 置信事实精确时间
本文提出的“变异态”是变异测试的一种轻量特例：不是注入随机变异，而是直接回退整个修复（src/ 回到基线），保留测试不变，构造一个已知存在 bug 的变异体。
1
来源数
50%
置信度
长期有效
时效性
2026/10/19
首次发现
来源
用三个Git Worktree揪出被弱化的测试
rss2026/10/19
涉及实体
相关事实
待验证变异测试通过程序自动向源代码注入微小的语义变更（变异体，如将 > 改为 >=、+ 改为 -），运行测试套件并统计有多少变异体被'杀死'；存活的变异体说明测试套件存在覆盖盲区。72% 相似待验证突变测试通过对源代码进行小规模随机修改后运行现有测试套件，若测试未检测到突变体则说明测试覆盖存在盲区，主流工具包括 Java 的 PIT、Python 的 mutmut、JavaScript 的 Stryker71% 相似已验证回归测试指在修改代码后重新运行已有的测试用例，确保新改动没有引入新Bug或破坏原有功能71% 相似待验证自动程序修复（APR）研究表明，即使是基于测试套件指导的补丁生成，也常出现过拟合测试用例的问题，即补丁通过现有测试但在未覆盖路径上引入新错误69% 相似待验证模糊测试是一种通过向目标程序输入大量随机、异常或半结构化数据来触发潜在崩溃、内存越界或逻辑异常的自动化安全测试方法68% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1066817API
curl https://kongchang.com/api/v1/knowledge/claims/1066817MCP
get_claim(id=1066817)