软件测试是为了发现程序中的而执行程序的。