西安理工大学《软件测试技术》4 静态测试.pptVIP

静态测试 本章要点 静态测试 静态测试方法 V模型的评审时间点 评审的类型 评审类型的区别在于正式程度 评审越正式，发现的缺陷越多，但评审越正式，花费成本越高。 被评审对象越重要或者风险越高，采用的评审方式越正式 。 评审流程 审查流程 审查中的角色 审查工作流程 审查工作流程 审查工作流程 审查工作流程 审查工作流程 7 因果分析 参与者：质量工程师 在这个阶段，开展如下工作： 分析缺陷原因 度量审查效率和效果 审查规则 审查规则 遵守的原则： 审查专家要努力发现被审查对象中的问题，审查过程中始终保持对问题的敏感性 审查期间要努力发现问题不要试图去解决问题 会议限制在两个小时之内 在会议上，审查团队要保持一个适当的审查速度，每小时150～200行代码或3～4页文档 软件评审指导书 目的：将评审过程和规则以指导书的形式固定下来。 范围 评审角色及职责 过程准则 目标 进入标准 活动 退出标准 度量 相关资料 过程监控 测试规格说明书 具体方法 静态黑盒测试：由于考虑到规格说明书的重要性，很多软件项目选择审查作为评审规格说明书的方式. 在进行规格说明书审查时可以采用如下技术： 对说明书进行概要评审 对说明书进行详细评审 规格说明书的概要评审（1） 规格说明书的概要评审（2） 规格说明书的概要评审（3） 规格说明书的概要评审（4） 规格说明书的概要评审（4） 分析类似软件的时候，应密切关注如下问题并考虑这些是否会影响被测试系统： 特性是否有增删？ 代码变更比例如何？ 软件的复杂度是否有区别？ 可测试性如何？ 性能、安全性和其他一些非功能特性如何？ 最后，不要忘了你可以从公共出版物和网上找到有价值的信息 规格说明书的详细评审（1） 规格说明书的详细评审（1） 4 一致性：特性描述内部和特性之间是否相互矛盾 5 相关性：细分特性是否必须？是否需要去除不必要的信息？特性是否可以跟踪到一个原始用户需求 6 可行性：项目计划和预算都是明确的，在给定的人力、工具和资源条件下，特性能否实现？ 规格说明书的详细评审（2） 规格说明书的详细评审（3） 规格说明书的详细评审（3） 4 一些、有时、经常、通常、大部分、主要的、等等、类似、好、快、便宜、高效、小和稳定：这些词可测试性差，必须进一步定义以给出确切的含义描述 5 有把握的、处理过的、拒绝的、跳过的、去掉的：这些词可能隐藏一些本该详细说明的功能性需求 6 如果..那么：这些描述依赖于其他因素，不可取 评审的类型 代码评审 方法 静态白盒测试：很多软件项目团队选择审查作为评审核心代码的方式，采用走查和桌面检查作为一般代码的评审方式 团队采用如下原则进行代码评审效果更好 评审人员有程序开发语言的专业知识 有程序基线和标准供参考 代码检查表 代码检查表 代码检查表是对应于编码规范中的各个标准与规范开发的检查项，包含容易出错和以往在工作中遇到的典型错误，可以认为是在进行代码评审时用到的测试用例。 在进行代码评审时，评审专家会关注被评审代码是否符合检查表规范，如果不符合则很可能存在缺陷。 2.5静态分析 定义 静态分析是对被测程序进行特性分析的一些方法的总称，一般借助工具进行 可提供的功能包括： 发现代码中的缺陷，包括 用错的局部变量和全程变量 不匹配的参数 不适当的循环嵌套和分支嵌套 静态分析 可提供的功能包括： 发现代码中的缺陷，包括 4 不适当的处理顺序 5 无终止的死循环 6 未定义的变量 7 不允许的递归 8 调用并不存在的子程序 9 遗漏了标号或代码 10 不恰当的连接等 静态分析 可提供的功能 找到潜伏着缺陷的根源。 未使用的变量 不会执行到的代码 未引用过的标号 可疑的计算 潜在的死循环等 静态分析 可提供的功能 提供间接涉及程序缺陷的信息：每一类型语句出现的次数、所用变量和常量的交叉引用表、标识符的使用方式、过程的调用层次、违背编码规则等 为进一步查错作准备。 静态分析工具 说明 静态分析工具是一类实现静态分析方法的软件工具，通过对代码进行扫描并对其进行词法和语法分析，构造与代码结构特征相关的抽象模型以达到对代码进行某些方面分析的目的。 静态分析工具 基于数据流分析方法的静态分析工具，可提供的缺陷信息： 语法错误信息； 各种类型源语句出现的次数； 标识符使用的交叉索引； 标识符在每个语句中使用的各种情况，如数据源点、数据终点、调用参数、哑参数和下标等； 每个程序所调用的子程序和函数； 静态分析工具 可提供的缺陷信息： 6 未经初始化的变量； 7 未曾使用过的变量； 8 任何输入数据都执行不到的孤立代码段； 9 违背编码标准之处，包括背离语言标准以及用户制定的实用标准； 10 错用的全程变量、公用变量及参数表，如参数个数有误、类型不匹