软件测试是一个有程序的过程，包括（）、测试执行以及测试结果比较等。