代码检查单

格式：

——嵌套的IF正确地缩进了吗？

——注释准确并有意义吗？

——使用有意义的标号了吗？

——代码基本上与开始时的模块模式一致吗？

——遵循全套的编程标准吗？

入口和出口的连接：

——初始入口和最终出口正确吗？

——对另一个模块的每一次调用：

全部所需的参数传送给每一个被调用的模块吗？

被传送的参数值正确地设置了吗？

对关键的被调用模块的意外情况（如丢失、混乱）有处理吗？

程序语言的使用：

——使用一个或一组最佳的动词了吗？

——模块中使用完整定义的语言的有限子集吗？

——使用了适当的跳转语句吗？

存贮器使用：

——每一个域在第一次使用前正确地初始化了吗？

——规定的域正确吗？

——每个域有正确的变量类型声明吗？

测试和转移：

——测试正确的条件了吗？

——用于测试的是正确的变量吗？

——每个转移目标正确并至少执行一次吗？

性能：

——逻辑被最佳地编码吗？

——提供正式的错误/例外子程序吗？

可维护性：

——清单格式适于提高可读性吗？

——标号和子程序符合代码的逻辑意义吗？

逻辑：

——全部设计已实现了吗？

——代码做的是设计规定的内容吗？

——每一个循环执行正确的次数吗？

可靠性：

——对从外部接口采集的数据有确认吗？

——遵循可靠性编程要求了吗？