桌前检查包括以下内容:

1.检查变量的交叉引用

2.检查标号的交叉引用

3.检查子程序、宏、函数

4.常量检查

5.标准检查

6.风格检查

7.比较控制流

8.选择、激活路径

9.对照程序的规格说明,详细阅读源代码

10.补充文档