检验子程序的英文翻译

中文：检验子程序