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