软件测试技术PPT第2章 静态测试技术.pptxVIP

第2章 静态测试技术;2.1 静态测试技术概要 ;评审 由软件工作产品生产者的同行遵循已定义的规程对软件工作产品所做的审查，目的在与识别工作产品的错误或缺陷及需要改进之处。 ; 评审过程 一般包括计划阶段、准备阶段、自评审阶段、评审会阶段、重新修改阶段和分析总结阶段。 责任和角色 在正式的评审中一般包括如下角色：协调负责人、作者、记录员、评审者。他们在正式的评审中承担不同的责任。不同的评审形式所包含的角色及评审人员数量可能不同。 ;包括桌面检查、代码审查和走查等 主要检查代码和设计的一致性，代码对标准的遵循、可读性，代码逻辑表达的正确性，代码结构的合理性等方面。 目的是发现违背程序编写标准的问题，程序中不安全、不明确和模糊的部分，找出程序中不可移植部分、违背程序编程风格的问题，包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查、程序结构检查等内容。 ; 桌面检查 程序员在程序通过编译之后，对源程序代码进行分析、检验，并补充相关的文档，目的是发现程序中的错误或缺陷。 代码审查 由若干程序员和测试员组成审查小组，通过阅读、讨论和争议，对程序进行静态分析的过程。 ;检查表：一份常见错误或缺陷的清单。它把程序中可能发生的各种错误或缺陷进行分类，对每一类列举出尽可能多的典型错误或缺陷，然后把它们制成表格，供再审查时使用。 ;具体的走查应当遵循以下过程： (1) 计划走查会议 (2) 走查产品 (3) 走查会议 (4) 解决问题 (5) 记录走查 (6) 返工产品;检查变量的交叉引用表 重点是检查未说明的变量和违反了类型规定的变量 检查标号的交叉引用表 验证所有标号的正确性，检查所有标号的命名是否正确， 转向指定位置的标号是否正确。 检查子程序、宏、函数 验证每次调用与所调用位置是否正确 等价性检查 检查全部等价变量的类型的一致性，解释所包含的类型差异。 常量检查 确认常量的取值和数制、数据类型，检查常量每次引用及它的取值、数制和类型的一致性。;标准检查 用标准检查工具软件或手工检查程序中违反标准的问题。 ? 风格检查 检查发现程序在设计风格方面的问题。 比较控制流 比较由程序员设计的控制流图和由实际程序生成的控制流图。 选择、激活路径 在程序员设计的控制流图上选择路径，再到实际的控制流图上激活这条路径。 ? 对照程序的规格说明，比较实际的代码和期望的代码，从差异中发现程序的问题和错误 补充文档。;总体规范 封装规范 多态和继承的使用规范 重载规范;2.4 正规技术评审 ;2.4 正规技术评审 ;2.4 正规技术评审 ;2.4 正规技术评审 ;2.5 面向对象分析和设计的静态测试 ;2.5 面向对象分析和设计的静态测试 ;2.5 面向对象分析和设计的静态测试 ;2.5 面向对象分析和设计的静态测试 ;2.5 面向对象分析和设计的静态测试 ;2.5 面向对象分析和设计的静态测试