检验程序

checking program一种专门的计算机程序，用来检查其他计算机程序或数据的语法错误。