在测试程序时，根据经验或直觉推测程序中可能存在的各种错误，称为（）。