变异测试的理论基础是程序员能力假设和()假设。