[lecture4静态测试.pptVIP

主要内容 为什么要静态测试？ 什么是静态测试？ 谁测试？ 什么时候测试？ 如何测试？ 缺陷修复成本 静态测试 评审的目的与分类 同行评审 V模型的评审时间点 同行评审的类型 审查 审查流程 审查中的角色 审查工作流程（1） 审查工作流程（2） 审查工作流程（3） 审查工作流程（4） 审查规则 小组评审 其他评审方式 临时评审（例） 软件开发生命周期中常见的同行评审 同行评审中核心参与人员 参见附件 软件评审指导书 内容 目的 范围 评审角色及职责 过程准则 目标 进入标准 活动 退出标准 度量 相关资料 过程监控 DV剧 背景 时间点 评审计划 10月18日-10月19日 活动：完成被评审对象；启动评审电子流；确定主审人，评审专家，评审会议时间；提交被评审对象 评审准备 10月20日 活动：评审专家独立审阅被评审对象，发现问题 评审会议 10月21日晚上 活动：召开评审会议，确认评审问题是否是问题 评审跟踪 10月22日 活动：责任人修改评审问题，主审人提交评审总结报告 DV剧 背景 用到的与评审相关的资料 被评审对象：《BMW2.0计费系统软件需求规格说明书》 《预审意见模版》 《软件需求规格说明书Checklist 》 《软件评审指导书》 《评审过程Checklist 》 《评审总结》 评审电子流 是一个与评审流程处理相关的信息化系统，用于处理评审流程的信息，可提高评审流程处理和管理效率 规格说明书的概要评审（3） 规格说明书的概要评审（4） 规格说明书的详细评审（1） 规格说明书的详细评审（2） 评审案例：保险金问题 评审下列功能说明 一个模拟的保险金计算程序，根据投保人和驾驶历史纪录两个因素计算半年的保险金，具体方法如下：保险金 = 基本保险费率*年龄系数-安全驾驶折扣，当前的基本保险费率为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 说明：吊销驾驶人执照本功能不做处理。 代码检查 编码规范和代码检查表 静态分析源程序的方法 通过各种引用表 直接从表中查出说明/使用错误等，如循环层次表、变量交叉引用表、标号交叉引用表等。 为用户提供辅助信息，如子程序(宏、函数)引用表、等价(变量、标号)表、常数表等。 用来做错误预测和程序复杂度计算，如，操作符和操作数的统计表等。 静态错误分析： 类型分析：强化对源程序中数据类型的检查，发现在数据类型上的错误 引用分析：最广泛使用方法。如果沿着程序的控制路径，变量在赋值以前被引用，或变量在赋值以后未被引用，这时就发生了引用异常。通过检查程序的每一条路径。 表达式分析：发现和纠正在表达式中出现的错误，包括在表达式中不正确地使用了括号造成错误、数组下标越界造成错误、除式为零造成错误、对负数开平方、或对π求正切值造成错误、以及对浮点数计算的误差进行检查。 接口分析：主要检查过程、函数过程之间接口的一致性，因此要检查形参与实参在类型、数量、维数、顺序、使用上的一致性; 检查全局变量和公共数据区在使用上的一致性 静态分析工具 静态分析工具根据被测代码的结构特性进行分析， 代码审查 一致性检查 交叉引用 接口分析 输入输出规格说明分析 数据流分析 错误检查 类型分析 单元分析 小结 静态测试的对象集中在需求文档、设计文档以及程序代码上