软件测试是为了（ ）而执行程序的过程。