白盒测试——代码检查法

代码检查法是静态的,不用生成测试用例并驱动被测程序运行来发现错误。

代码检查法分为三种：

一、代码审查：

代码审查被认为是软件业最佳的实践，人们可以审查任何一种软件工作产品，包括需求和设计文档、源代码、测试文档及项目计划等。

1. 代码审查角色：

①主持人：

        主持人负责保证审查速度的进行，保证效率，发现更多问题。

        主持人在技术上能够胜任。不一定是专家，但一定能理解有关细节。

主持人还负责其他方面。例如分派审查代码的任务、分发核对表等。

②作者：

        直接参与代码设计编写的人，该角色在代码审查中扮演相对次要的角色。

        作者作用就是让代码能够表达自己，更加清晰。

        解释看似不合理，实际合理的地方。

        陈述项目概况，让不了解项目的人有一定了解。

③评论员：

        评论员是和代码有直接关系但是不是作者的人。

        作用是找出缺陷。

④记录员：

        记录会议中发现的错误。

2. 步骤：

                ​​​​​​​        

 二、桌面检查：

        桌面检查是一种人工检查程序的方法，通过对源程序代码的分析、检验来发现程序中的错误。

        桌面检查关注的是变量的值和程序逻辑，所以执行桌面检查要求严格按照程序中的逻辑顺序。

        桌面检查可以由程序作者本人执行，但是效率很低。

        最好是两个程序员互相检查。

        桌面检查不如审查或者走查有效。但是比什么都不做好。

三、代码走查

        代码走查与代码审查很多步骤相同。但是在查找错误的方法上有一些小小的不同。

        会议进程不再像代码审查一样读程序和对照核对表进行检查，而是让参会者充当计算机，测试者选择一些有代表性的测试用例，交给走查小组。然后参会者充当计算机将测试用例的逻辑运行一遍。找到错误。