7-软件静态测试.ppt

功能测试及工具静态的和动态的动态测试静态测试的特点：静态测试的主要内容：一、评审同行评审同行评审评审过程计划阶段预备会阶段（Kickoff）个人准备阶段评审会议阶段返工阶段跟踪结果阶段典型的正式评审主要有下面几种角色：评审类型审查场景描述二、需求规格说明书的测试需求规格说明书的测试规格说明书的概要评审
对规格说明书进行概要评审所要达到的目的是
发现特定的缺陷，比如大的原理性问题，遗漏或过度复杂的描述等
评审时，测试人员要站在用户的角度
确保作为第一质量要素的用户要求得到满足
研究现有标准和基线
对类似的软件系统进行评审和测试
规格说明书的详细评审
对规格说明书进行详细评审，可从有关属性方面着手，一个好的规格说明书应具有如下属性：
完整性、精确性、准确性、一致性、无二义性、相关性、可行性以及代码无关性和可测试性等
检查规格说明书的同时，要关注评审的文字和图片是否具有这样的属性问题词语列表
测试规格说明书的时候应密切关注下面的一些词汇以及这些词汇的上下文含义是否清晰。因为这些词汇常常会带来缺陷
总是、每个、所有、没有一个、从来不等
这些词表示肯定和确定的含义,必须确认该用这些词语,或找出不该使用的理由
当然、所以、明显地、无疑、显然等
这些词有劝说人接受的意思,规格书中尽量避免
一些、有时、经常、通常、大部分、主要的、等等、类似、好、快、便宜、高效、小和稳定等
这些词可测试性差，必须进一步定义以给出确切的含义描述
有把握的、处理过的、拒绝的、跳过的、去掉的等
这些词可能隐藏一些本该详细说明的功能性需求
如果..那么等
这些描述依赖于其他因素，不可取代码检查每1000行代码各阶段发现错误的个数统计表：编码规范又称代码规则、编码规则
是对程序代码的格式、注释、标识符命名、语句使用、函数、类、程序组织、公共变量等方面的要求
开发人员书写的代码更健壮、更安全、更可靠
提高代码的可读性，使代码易于查看、理解和维护
提高代码质量最有效、最直接的手段
规范分为两个级别——规则和建议
规则级的规范要求开发人员必须要遵守
建议级的规范开发人员应尽量遵守格式代码的自动分析需要用到代码分析工具
代码自动分析的结果可以对照着需求和设计文档以及编码进行检查，主要进行
程序逻辑和编码检查
一致性检查
接口分析
I/O规格说明分析
数据流
变量类型检查
模块分析等
分析的结果可以作为动态测试和其他测试的必要准备代码自动分析的主要内容
生成引用表
标号交叉引用表、变量交叉引用表、子程序、宏和函数表、等价表、常数表等
进行程序错误分析
变量类型和单位分析、引用分析以及表达式分析
接口分析
检查形参与实参在类型、数量、维数、顺序、使用上的一致性
检查全局变量和公共数据区在使用上的一致性代码结构分析代码结构分析函数调用关系图代码结构分析模块控制流图代码结构分析代码结构分析代码安全性检查代码安全性检查（续）代码安全性检查（续）