第二章—静态测试.pptVIP

第二章 静态测试 本章要点 静态测试 缺陷发现越早修复成本越低 评审 同行评审 V模型的评审时间点 同行评审的类型 审查 审查流程 审查中的角色 审查工作流程 审查工作流程 审查工作流程 审查工作流程 审查规则 小组评审 走读和同级桌查 临时评审 软件评审指导书 内容 目的 范围 评审角色及职责 过程准则 目标 进入标准 活动 退出标准 度量 相关资料 过程监控 DV剧 背景 时间点 评审计划 10月18日-10月19日 活动：完成被评审对象；启动评审电子流；确定主审人，评审专家，评审会议时间；提交被评审对象 评审准备 10月20日 活动：评审专家独立审阅被评审对象，发现问题 评审会议 10月21日晚上 活动：召开评审会议，确认评审问题是否是问题 评审跟踪 10月22日 活动：责任人修改评审问题，主审人提交评审总结报告 DV剧 背景 用到的与评审相关的资料 被评审对象：《BMW2.0计费系统软件需求规格说明书》 《预审意见模版》 《软件需求规格说明书Checklist 》 《软件评审指导书》 《评审过程Checklist 》 《评审总结》 评审电子流 是一个与评审流程处理相关的信息化系统，用于处理评审流程的信息，可提高评审流程处理和管理效率 规格说明书的概要评审（1） 规格说明书的概要评审（2） 规格说明书的概要评审（3） 规格说明书的概要评审（4） 规格说明书的详细评审（1） 规格说明书的详细评审（2） 规格说明书的详细评审（3） 保险金问题 评审下列功能说明 [保险金问题]一个模拟的保险金计算程序，根据投保人和驾驶历史纪录两个因素计算半年的保险金，具体方法如下：保险金 = 基本保险费率*年龄系数-安全驾驶折扣，当前的基本保险费率为500美元，年龄系数是投保人年龄的函数. 如果投保人驾驶执照上的当前点数低于与年龄有关的门限，则给与安全驾驶折扣，如果投保人有12点，则驾驶人的执照就会被吊销，不再需要保险。书面保险策略的驾驶人年龄范围为16-100，年龄、年龄系数、门限点数和安全驾驶折扣的关系如下所示： 修改的功能说明 保险金问题 本功能根据投保人年龄和驾驶执照上当前的点数，按照下表中提供的规则计算投保人半年的保险金。 输入： 投保人年龄: 整数 [16,100) 驾驶执照上的当前点数：整数[0，12] 输出：半年保险金 修改的功能说明 保险金问题 处理： 计算年龄系数。根据输入的投保人年龄按照表1中提供的年龄与年龄系数对照关系获得相应的年龄系数，转2。如果输入的投保人年龄不满足区间要求，则系统在显示信息“Warning:Age should between 16 and 100.(including 16 but not 100)”后，结束处理。 算安全驾驶折扣。根据输入的驾驶执照上的当前点数按照表1中提供的年龄与门限点数对照关系获得相应的安全驾驶折扣。如果投保人驾驶执照上的当前点数低于与年龄有关的门限，则给与安全驾驶折扣，转3处理；如果等于或者高于门限但是低于12点，则安全驾驶折扣为0，转3处理；如果驾驶执照上的当前点数为12点，则系统在显示信息“Your total premium is $0”后结束处理。 按照规则保险金 = 基本保险费率*年龄系数-安全驾驶折扣计算保险金。其中基本保险费率为500 说明：吊销驾驶人执照本功能不做处理。 静态分析 定义 静态分析是对被测程序进行特性分析的一些方法的总称，一般借助工具进行 可提供的功能包括： 发现代码中的缺陷，包括 用错的局部变量和全程变量 不匹配的参数 不适当的循环嵌套和分支嵌套 不适当的处理顺序 无终止的死循环 未定义的变量 不允许的递归 调用并不存在的子程序 遗漏了标号或代码 不恰当的连接等 静态分析 可提供的功能 找到潜伏着缺陷的根源。 未使用的变量 不会执行到的代码 未引用过的标号 可疑的计算 潜在的死循环等 提供间接涉及程序缺陷的信息：每一类型语句出现的次数、所用变量和常量的交叉引用表、标识符的使用方式、过程的调用层次、违背编码规则等 为进一步查错作准备。 静态分析工具 说明 静态分析工具是一类实现静态分析方法的软件工具，通过对代码进行扫描并对其进行词法和语法分析，构造与代码结构特征相关的抽象模型以达到对代码进行某些方面分析的目的。 分类 按照功能，例如 代码审查 一致性检查 交叉索引 接口分析 输入输出规格说明分析 数据流分析 错误检查 类型分析 单元分析 静态分析工具 基于数据流分析方法的静态分析工具，可提供的缺陷信息： 语法错误信息； 各种类型源语句出现的次数； 标识符使用的交叉索引； 标识符在每个语句中使用的各种情况，如数据源点、数据终点、调用参数、哑参数和下标等； 每个程序所调用的子程序和函数； 未经初始化的变量