9. 程序中是否引用了未初始化变量
10. 数组和字符串的下标是否为整数
11. 数组和字符串的下标是否在范围内(不“越界”)
12. 进行数组的检索及其它操作中，是否会出现“漏掉一个这种情况”
13. 是否在应该使用常量的地方使用了变量(例：数组范围检查)
14. 是否为变量赋予不同类型的值
15. ( 14 )的情况下，赋值是否符合数据类型的转换规则
16. 变量的命名是否相似
17. 是否存在声明过，但从未引用或者只引用过一次的变量
18. 在特定模块中所有的变量是否都显式声明过
19. 非( 18 )的情况下，是否可以理解为该变量具有更高的共享级别
20. 是否为引用的指针分配内存
21. 数据结构在函数和子程序中的引用是否明确定义了其结构
22. 计算中是否使用了不同数据类型的变量
23. 计算中是否使用了不同的数据类型相同但长度不同的变量
24. 赋值的目的变量是否小于赋值表达式的值
25. 数值计算是否会出现溢出(向上)的情况
26. 数值计算是否会出现溢出(向下)的情况
27. 除数是否可能为零
28. 某些计算是否会丢失计算精度
29. 变量的值是否超过有意义的值
延伸阅读
文章来源于领测软件测试网 https://www.ltesting.net/
