检查程序语法和逻辑

1