黑盒测试依据（），检查程序是否满足（）。因此，黑盒测试由称为功能测试或（）测试。