检验程序的英文翻译

中文:检验程序

英文翻译:【计】 checker; test program; trace routine