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