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