代码审查的检查点

关于代码审查的检查点

数据引用错误

1.是否有引用的变量未赋值或者未初始化

2.下标的值是否在范围内

3.是否存在非整数下标

4.是否存在虚调用

5.当使用别名时属性是否正确

6.记录和结构的属性是否匹配

7.基础的存储属性是否正确

8.索引或下标的操作是否有“仅差一个”的错误

9.继承需求是否得到满足

运算错误

1.是否存在非算术变量之间的运算

2.是否存在混合模式的运算

3.是否存在不同字长变量间的运算

4.目标变量的大小是否小于赋值大小

5.中间结果是否上溢或下溢

6.是否存在被0除

7.变量的值是否超过了有意义的范围

8.操作符的优先顺序是否被正确理解

9.整数除法是否正确

10.是否存在二进制的不精确度

数据声明错误

1.是否所有变量都已声明

2.默认的属性是否被正确理解

3.数组和字符串的初始化是否正确

4.变量是否赋予了正确的长度，类型和存储类

5.初始化是否与存储类相一致

6.是否有相似的变量名

比较错误

1.是否存在不同类型变量间的比较

2.是否存在混合模式变量间的比较

3.比较运算是否正确

4.布尔表达式是否正确

控制流程错误

1.是否超出了多条分支路径

2.是否每个循环都终止啦

3.是否每个程序都终止啦

4.是否存在由于入口条件不满足而跳过循环体

5.可能的循环越界是否正确

6.是否存在不能穷尽的判断

7.输出的信息中是否有文字或语法错误

接口错误

1.形参的数量是否等于实参的数量

2.形参的属性是否与实参的属性相匹配

3.形参的量纲是否与实参的量纲相匹配

4.传递给被调用模块的实参个数是否等于其形参个数

5.是否考虑容错

6.传递给被调用模块的实参属性是否与其形参属性匹配

7.是否引用了与当前入口点无关的形参

8.全局变量的定义在模块间是否一致

9.常熟是否以实参形式传递过

其他检查

1.在交叉引用列表中是否存在未引用过的变量

2.属性列表是否与预期的相一致

3.是否对输入的合法性做过检查