我想过成功，我想过失败，但是，我从来没有想过放弃。。。

代码检查、走查、审查

上一篇 / 下一篇  2012-04-19 16:15:01 / 个人分类：测试过程

查看( 988 ) / 评论( 0 ) / 评分( 0 / 0 )

代码检查

（code inspections）

利用错误列表进行错误检查

数据引用错误

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

这是最常见的编程错误，在各种环境中引发。在每个引用数据项（如变量、数据元素、结构中的域）时，应试图非正式地“证明”该数据项在当前的位置具有确定的值。

2、小标的值是否在范围内？

 

3、是否存在非整数小标？

 

4、是否存在虚调用？

 

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

 

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

 

7、是否计算位串的地址？是否传递位串参数？

 

8、基础的存储属性是否正确？

 

9、跨过程的结果定义是否匹配？

 

10、索引或小标操作是否有“仅差一个”的错误？

 

11、继承需求是否得到满足？

 

运算错误

1、是否存在非算数变量间的运算？

 

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

 

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

 

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

 

5、中间结果是否上溢或者下溢？

 

6、是否存在被0除？

 

7、是否存在二进制的不精确度？

 

8、变量的值是否超过了有意义的范围？

 

9、操作符的优先顺序是够被正确理解？

 

10、整数除法是否正确？

 

数据声明错误

1、是否所有的变量都已声明？

 

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

 

3、数组和字符的初始化是够正确？

 

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

 

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

 

6、是否有相似的变量名？

 

比较错误

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

 

2、是否存在混合模式的比较运算？

 

3、比较运算符是否正确？

 

4、布尔表达式是否正确？

 

5、比较运算符是否与布尔表达式相混合？

 

6、是否存在二进制小数的比较？

 

7、运算符的优先顺序是够被正确理解？

 

8、编译器对布尔表达式的计算方式是否被正确理解？

 

控制流程错误

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

 

2、是否每个循环都终止了？

 

3、是否每个&

收藏 举报

TAG:

 

评分：0

我来说两句