G.Myers提出的程序测试规则认为，测试是为了发现程序中的______而执行程序的过程。