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