第三章 静态技术
1. 静态测试技术：
通过手工检查（评审）或自动化分析（静态分析）的方式对代码或者其他的项目文档进行检查而不需要执行代码。
2. 评审：
更容易发现：与标准之间的偏差、需求内的错误（需求遗漏）、设计错误、可维护性不足和错误的接口规格说明等等。
3. 评审过程：
评审过程的正式性和以下因素有关：开发过程的成熟度、法律法规方面的要求或审核跟踪的需要。
评审的目标：发现缺陷、增加理解、培训测试员和团队新成员或对讨论和决定达成共识等。
4. 正式评审的阶段：
1）计划阶段：
定义评审标准，
选择人员，
分配角色，
为更加正式的评审类型（比如审查）制定入口和出口准则，
选择需要进行评审的文档内容，
核对入口准则（针对更正式的评审类型）。
2）预备会阶段：
分发文档，
向评审参与者解释评审的目标、过程和文档。
3）个人准备阶段：
先行评审文档，为评审会议做准备；
标注可能的缺陷、问题和建议。
4）检查/评价/记录结果（评审会议阶段）：
讨论和记录，并留下文档化的结果或会议纪要（针对更正式的评审类型）；
标注缺陷、提出处理缺陷的建议、对缺陷做出决策；
在任何形式的会议期间或跟踪任何类型的电子通信期间检查/评价和记录问题。
5）返工阶段：
修改发现的缺陷（通常由作者进行）；
记录缺陷跟踪的状态（在正式评审中）；
6）跟踪结果阶段：
检查缺陷是否已得到解决；
收集度量数据；
核对出口准则（针对更正式的评审类型）。
5. 角色和职责
经理（管理者）；
主持人；
作者；
评审员；
记录员。
从不同的角度评审软件和其相关工作产品并使用检查表可以提高评审的效果和效率。
6. 评审类型：
非正式评审；informal review；
走查；walkthrough；
技术评审；technical review;
审查；inspection；通常是同行检查：peer review；
7. 静态分析的工具支持
静态分析通常发现的是缺陷而不是失效，静态分析工具分析程序代码（控制流和数据流），以及产生如HTML和XML的输出。
8. 通过静态分析发现的典型缺陷如下：
引用一个没有定义值的变量；
模块和组件之间接口不一致；
从未使用的变量；
不可达代码或死代码；
逻辑上的遗漏与错误（潜在的无限循环）；
过于复杂的结构；
违背编程规则；
安全漏洞；
代码和软件模型的语法错误。
|
