填空題變異測試的理論基礎(chǔ)是程序員能力假設(shè)和（）假設(shè)。