格式：
——嵌套的IF正确地缩进了吗？
——注释准确并有意义吗？
——使用有意义的标号了吗？
——代码基本上与开始时的模块模式一致吗？
——遵循全套的编程标准吗？
入口和出口的连接：
——初始入口和最终出口正确吗？
——对另一个模块的每一次调用：
全部所需的参数传送给每一个被调用的模块吗？
被传送的参数值正确地设置了吗？
对关键的被调用模块的意外情况（如丢失、混乱）有处理吗？
程序语言的使用：
——使用一个或一组最佳的动词了吗？
——模块中使用完整定义的语言的有限子集吗？
——使用了适当的跳转语句吗？
存贮器使用：
——每一个域在第一次使用前正确地初始化了吗？
——规定的域正确吗？
——每个域有正确的变量类型声明吗？
测试和转移：
——测试正确的条件了吗？
——用于测试的是正确的变量吗？
——每个转移目标正确并至少执行一次吗？
性能：
——逻辑被最佳地编码吗？
——提供正式的错误/例外子程序吗？
可维护性：
——清单格式适于提高可读性吗？
——标号和子程序符合代码的逻辑意义吗？
逻辑：
——全部设计已实现了吗？
——代码做的是设计规定的内容吗？
——每一个循环执行正确的次数吗？
可靠性：
——对从外部接口采集的数据有确认吗？
——遵循可靠性编程要求了吗？
