软件测试(代码走查、检查与审查)

软件测试(代码走查、检查与

审查)

-CAL-FENGHAI-(2020YEAR-YICAI)_JINGBIAN

代码走查、审查与检查

代码检查

（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、是否每个程序都终止了

误

4、是否存在由于入口条件不足而

跳过循环体

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

6、是否存在“仅差一个”的迭代洗衣机的英语

错误

7、do/end语句是够匹配

8、是否存在不能穷举的判断

9、输出信息中是否有文字或语法

错误

输

入

/

输

出

错

误

1、文件的属性是否正确

2、open语句是否正确

3、I/O语句是否符合格式规范

4、缓冲大小与记录大小是否匹

配

5、文件使用前是否打开

6、文件在使用后是够关闭

7、文件结束条件是否被正确处

理

8、是否处理了I/O错误

接

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

口

量

错

误

2、形参的量纲是否与实参的量纲

相匹配

3、传递给被调用模块的实参的个

数是否等于其形参的个数

4、传递给被调用模块的实参属性

是否与其形参属性匹配

5、传递给被调用模块的实参量纲

是否与其形参量纲匹配

6、调用内部函数的实参的数量、

属性、顺序是否正确

7、是否引用了与当前入口点无关

的形参

8、是否改变了某个原来仅为输入

值的形参

9、全局变量的定义在模块间是否

一致

10、常数是否以实参形式传递过

小组代码走查 1、代码走查的概念：

以小组为单位进行代码阅读，是一系列规程和错误检查技术的集合。

2、代码走查的实施：

代码走查小组由三至五人组成，其中一个人扮演雷系代码检查过程中“协调人”的角

色，一个人担任秘书（负责记录所有查出的错误）的角色，还有一个人担任测试人

员。建议另外的参与者包括：（1）以为极富经验的程序员；（2）一位程序设计语言

专家；（3）一位程序员新手（可以给出新颖，不带偏见的观点）；（4）最终将维护

程序的人员；（5）一位来自其他不同项目的人员；（6）一位来自该软件编程小组的

程序员。

3、代码走查的意义：

提出的建议应针对程序本身，而不是针对程序员。换句话说，软件中存在的错误不应

该被视为编写程序人员自身的弱点。相反，这些错误应被看作是伴随着软件的艰难性

所固有的。

桌面检查 1、桌面检查可视为由单人进行代码检查或孤独的图片 者代码走查：由一个人阅读程序，对照错

(desk checking)

误列表检查程序，对程序推演测试测试数据。

2、桌面检查胜过没有极限嘻哈，但其效果远远逊色于代码检查和代码走查。

同行评审 1、同行评审的概念

（peer rating） 同行评分是一种依据程序整体质量，可维护性、可扩展性、易用性和清晰性对匿名的

程序进行技术评价的技术。改技术的目的是为程序员提供自我评价的手段。

2、实施过程：

选出一名程序员来担任这个评分过程的管理员，管理员又会挑选出大约2~20名参与

者，保持匿名，这些参与者否应具有相似的背景要求每名参与者都挑选出两个由自己

编写的程序以供评审。其中的一个程序应是参与者自认为能代表其自身能力的最好的

作品，而了另一个则是参与者自认为质量较差的作品。

当所有程序都收集完毕后，就将这些程序随即分发给参与者。没名参与者拿到4个程

序进行评审，其中的两个是“最好”的程序，另外两个则是相对“较差”的程序，单

评审人自己并不知道。每名参与者没评审一个程序得花费30分钟，评审完后填写一

张评价表。所有4个程序都评审完后，参与者对4个程序的相对质量进行分级。评价

表要求评审人用从1~7的分值对诸如下面的问题进行回答：

1）程序是够易于理解

2）高层次的设计是够可见且合理

3）低层次的设计是否可见且合理

4）修改此程序对评审者而言是否容易

5）评审者是否会以编写出该程序而骄傲

还要要求评审人给出总的评价和建保险心得 议的改进意见。

评审结束后，参与者会收到自己的那两个程序的匿名评价爱表，此外还会收到一个带

统计的总结，说明在所有的程序中其程序的整体和具体得分情况，以及他对其他程序

的评价爱与其他评审人同意程序打分的比较分析情况。

3、评审目的：

让程序员对自身的编程技术进行自我评价。