G·J·Myers提出：软件测试是为了发现（）而执行程序的过程。