摘要： 代码检查代码检查是通过桌面检查、走查方式和代码审查进行的检查：包括：★ 检查代码和设计是否一致；★ 代码是否对遵循标准、是否可读；★ 代码逻辑表达是否正确；★ 代码结构是否合理；★ 程序编写与编写标准是否符 ...
1、代码检查
代码检查是通过桌面检查、走查方式和代码审查进行的检查：
包括：
★ 检查代码和设计是否一致；
★ 代码是否对遵循标准、是否可读；
★ 代码逻辑表达是否正确；
★ 代码结构是否合理；
★ 程序编写与编写标准是否符合；
★ 程序中是否有不安全、不明确和模糊的部分；
★ 编程风格是否符合要求。
★ 检查变量的交叉引用表：是否有未说明的变量和违反了类型规定的变量。
★ 检查标号的交叉引用表：验证所有标号是否有正确。
★ 检查子程序、宏、函数：验证每次调用与所调用位置是否正确，调用的子程序、宏、函数是否存在，参数是否一致。
★ 检查全部等价变量的类型的一致性。
★ 确认常量的取值和数制、数据类型。
★ 选择、激活路径：在设计控制流图中选择某条路径，到实际的程序中激活这条路径，如果不能激活，则程序可能有错。
★ 对照程序的规格说明，详细阅读源代码，比较实际的代码，从差异中发现程序的问题和错误。
2、代码检查方式
桌面检查
对源程序代码进行分析、检验，根据相关的文档，检验程序中是否有错误的过程。
3、静态结构分析
★ 可以检查函数的调用关系是否正确；
★ 是否存在孤立的函数而没有被调用；
★ 编码的规范性；
★ 资源是否释放；
★ 数据结构是否完整和正确；
★ 是否有死代码和死循环；
★ 代码本身是否存在明显的效率和性能问题；
★ 代码本身方法，类和函数的划分是否清晰，易理解；
★ 代码本身是否健壮，是否有完善的异常处理和错误处理。
