代码检查,是以组为单位阅读代码,进行一系列规程和错误检查技术的集合,通常由代码检查小组负责。代码的错误列表如下:
一、数据引用错误
1.是否有引用的变量未赋值或未初始化?
2.对于数组引用,是否每个下标的值都在相应维规定的界限之内?
3.对于数组应用,是否每个下标的值都是整数?
4.指针或引用变量的引用,当前引用的内存单元是否分配?
5.如果一个内存区域具有不同属性的别名,内存区域中的别名引用是否有正确属性
6.变量值的类型或者属性是否与编译器一致
7.当内存分配单元小于内存可寻址的单元大小时,是否存在直接或间接的寻址错误?
8.当使用指针或引用变量时,被应用的内存属性是否与编译器所预期的一致?
9.假如一个数据结构或多个过程或自程序中被引用,那么每个过程或自程序对该结构的定义是否都相同?
二、数据声明错误
1.是否每个变量都被赋予了正确的长度和数据类型
三、运算错误
1.是否存在不一致的数据类型运算
2.是否有相同数据类型,不同字长变量间的运算
3.除法运算中的除数是否可能为0?
四、比较错误
1.是否有不同数据类型的变量之间的比较运算
2.是否有不同长度的变量间的比较运算
3.比较运算符是否正确
五、控制流程错误
1.是否所有的循环最终都终止了
2.程序、模块、子程序是否最终终止了
六、接口错误
1.被调用模块接收的行参数量是否等于调用模块发送的实参数量
2.实参的属性是否与相应形参的属性想匹配
3.实参量纲是否与对应行参的量纲匹配
4.词模块传递给彼模块的实参数量是否等于此模块期望的形参数量
5.如果调用内置函数,实参的数量、属性、顺序是否正确
七、输入/输出错误
1.文件明确声明过,属性是否正确
2.打开文件语句中各项属性是否正确
3.是否所有的文件在使用之前都打开了
4.是否所有文件在使用之后都关闭了
5.I/O出错情况处理是否正确
6.是否程序正确处理了“File Not Found”这样的错误
八、其他检查
1.程序警告 检查
2.程序是否遗漏功能