软件测试是为了发现错误而执行程序的过程。黑盒测试法主要根据______来设计测试用例。