、( ) 程序的检查内容有指令检查.梯形图检查.软元件检查等。