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