变异测试通过程序自动向源代码注入微小的语义变更（变异体，如将 > 改为 >=、+ 改为 -），运行测试套件并统计有多少变异体被'杀死'；存活的变异体说明测试套件存在覆盖盲区。