软件测试基础理论整理（一）