一、数据引用错误
- 是否有引用的变量未赋值或未初始化
- 下标的值是否在范围内
- 是否存在非整数下标
- 是否存在虚调用
- 当使用别名时属性是否正确
- 记录和结构的属性是否匹配
- 是否计算位串的地址，是否传递位串参数
- 基础的存储属性是否正确
- 跨过程的结构定义是否匹配
- 索引或下标操作是否有“仅差一个”的错误
- 继承需求是否得到满足
二、数据声明错误
- 是否所有的变量都已声明
- 默认的属性是否被正确理解
- 数组和字符串的初始化是否正确
- 变量是否赋予了正确的长度、类型和存储类
- 初始化是否与存储类相一致
- 是否有相似的变量名
三、运算错误
- 是否存在非算数变量间的运算
- 是否存在混合模式的运算
- 是否存在不同字长变量间的运算
- 目标变量的大小是否小于赋值大小
- 中间结果是否上溢或下溢
- 是否存在被0除
- 是否存在二进制的不精确度
- 变量的值是否超过了有意义的范围
- 操作符的优先顺序是否被正确理解
- 整数除法是否正确
四、比较错误
- 是否存在不同类型变量间的比较
- 是否存在混合模式的比较运算
- 比较运算符是否正确
- 布尔表达式是否正确
- 比较运算是否与布尔表达式相混合
- 是否存在二进制小数的比较
- 操作符的优先顺序是否被正确理解
- 编译器对布尔表达式的计算方式是否被正确理解
五、控制流程错误
- 是否超出了多条分支路径
- 是否每个循环都终止了
- 是否每个程序都终止
- 是否存在由于入口 条件不满足而跳过循环体
- 可能的循环越界是否正确
- 是否存在“仅差一个”的迭代错误
- DO/END语句是否匹配
- 是否存在不能穷尽的判断
- 输出信息是否有文字或语法错误
六、接口错误
- 形参的数量是否等于实参的数量
- 形参的属性是否与实参属性相匹配
- 形参的量纲是否与实参的量纲相匹配
- 传递给被调用模块的实参个数是否等于其形参个数
- 传递给被调用模块的实参属性是否与其形参属性匹配
- 传递给被调用模块的实参量纲是否与其形参量纲匹配
- 调用内部函数的实参的数量、属性、顺序是否正确
- 是否引用与当前入口点无关的形参
- 是否改变某个原本仅输入值的形参
- 全局变量的定义在模块间是否一致
- 常数是否以实参形式传递过
七、输入/输出错误
- 文件属性是否正确
- open语句是否正确
- I/O语句是否符合格式规范
- 缓冲大小与记录大小是否匹配
- 文件在使用前是否打开
- 文件在使用后是否关闭
- 文件结束条件是否被正确处理
- 是否处理了I/O错误
八、其他检查
- 在交叉引用列表中是否存在未引用过的变量
- 属性列表是否与预期的相一致
- 是否存在“警告”或“提示”信息
- 是否对输入的合法性进行了检查
- 是否遗漏了某个功能
声明：本站部分文章及图片源自用户投稿，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！