为了发现错误而执行程序的过程是（ ）。