黑盒测试是一种从用户观点（依需求确定）出发的测试，其基本思想是：任何程序都可看作是从输入定义域映射到输出值域的函数过程。（　）