软件工程中，只根据程序的功能说明而不关心程序内部逻辑的测试方法，称为（）测试。