程序测试是为了发现程序错误而执行程序的过程。