软件相关测试语法说明.docx

白盒子测试方法 软件测试方法：分为两类 静态测试：不要求在计算机上实际执行所测程序， 主要以一些人工的模拟技术对软件进 行分析和测试 动态测试：通过输入一组预先按照一定的测试准则构造的实例数据动态运行程序，而达 到发现程序错误的过程，特点如下： I必须生成测试数据来运行被测试程序，取得程序运行的真实情况、动态情况，进而进行分 析 I测试质量依赖于测试数据 I生成测试数据，分析测试结果的工作量大，使开展测试工作费时、费力、费人 I动态测试中涉及多方面工作，人员多，设备多，数据多，要求有较好的管理和工作规程 一?概述 定义 也称结构测试或逻辑驱动测试，按照程序内部的结构对程序进行测试，通过测试来检查产品 内部动作是否按照设计规格说明书的规定正常进行，检查程序中的每条通路是否能按照预定 要求正确工作 测试内容 把测试对象看成是一个打开的盒子，测试人员依据程序内部逻辑结构相关信息，设计或选择 测试用例，对程序的所有逻辑路径进行测试，通过不同点检查程序的状态，确定实际的状态 与预期的状态一致 测试基本技术 词法分析与语法分析 静态错误分析 程序插桩技术 测试方法 代码检查法 (2 )静态结构分析法 (3 )静态质量度量法 逻辑覆盖法 (5 )基本路径测试法 (6)域测试 (7 )符号测试 (8) Z路径覆盖 (8)程序变异 黑盒测试与白盒测试 黑盒测试白盒测试 不涉及程序结构考查程序逻辑结构 用软件规格说明书生成测试用例 用程序结构信息生成测试用例 可适用于从单元测试到系统联调 适用于单元测试和集成测试 某些代码段得不到测试 对所有逻辑路径进行测试 白盒测试基本技术 词法和语法分析 (1 )获取信息 I可以获取软件组成的重要基本因数，如变量标识符、过程标识符、常量等 l组合获取的基本因数，可以得到软件的基本信息，如： v标号交叉引用表：列出各模块中出现的全部标号及标号的属性，模块以外的全局、计算标 号 v变量交叉引用表：列出变量定义及引用信息，变量的属性，变量类型(全局、局部) v子程序、宏和函数表：列出各个子程序、宏及函数的属性，输入、输出参数信息 v等价表：列出在等价语句和等值语句中出现的全部变量和标号 v常数表：列出全部数字常数和字符常数 作用 I直接从表中查出说明/使用错误，如标号交叉引用表、变量交叉引用表 I为用户提供辅助信息，如子程序、宏和函数表、等价表、常数表 I用来做错误预测和程序复杂度计算，如操作符和操作数的统计表 静态错误分析 用于确定在源程序中是否有某类错误或 危险吉构，包括以下几种： 类型和单位分析 对源程序的类型进行检查，为了强化检查效果，扩充一些新的数据类型，进行静态预处理程 序，分析程序中的类型错误 引用分析 I对程序中变量的引用进行检查，发现引用异常错误(如变量在定义前被引用，变量定义后 未被引用)。 I采用深度优选的方法遍历程序流图的每一条路径 I建立引用异常的探测工具，包括变量定义表和变量引用表 表达式分析 对表达式进行分析，以发现和纠正在表达式出现的错误，如： I在表达式中不正确的使用了括号造成错误 I数组下标越界错误 I除数为零 I浮点数计算的误差(最复杂) 接口分析 接口一致性是程序的静态错误分析和设计分析共同研究的题目，接口分析主要对下内容时进 行一致性的分析： I各模块之间接口一致性 I模块与外部数据库的接口一致性 I形参与实参在类型，数量，顺序，维数，使用上的一致性 I全局变量和公共数据区在使用上的一致性 3?程序插桩技术 概述 在动态测试中，是一种基本的测试手段，有广泛的应用 主要借助向程序中插入操作，来实现测试目的的方法(即向源程序中添加一些语句(也称探 测器)，实现对程序语句的执行、变量的变化等情况进行检查) 设计时考虑的问题 I明确要探测哪些信息 I在程序的什么部位设置探测点 I需要设计多少个探测点 探测点设置位置(以 Fortran为例) l程序块的第一个可执行语句之前 I entry语句的前后 I有标号的可执行语句处 I循环语句之后 I条件语句之后 I logical if语句之后 I call语句之后 I go to语句之后 断言语句 在程序中的特定部位插入某些用以判断变量特性的语句， 使得程序执行中这些语句得以证实， 从而使程序的运行特性得到证实，我们把这些插入的语句称为断言语句。 白盒测试方法—静态测试 代码检查法 目的 通过桌面检查，代码审查和走查方式，对以下内容进行检查 I检查代码和设计的一致性 I代码对标准的遵循、可读性 I代码逻辑表达的正确性 I代码结构的合理性 I程序编写与编写标准的符合性 I程序中不安全、不明确和模糊的部分 I编程风格问题等 代码检查方式 方式名称执行人员检查内容检查过程 桌面检查程序员 对源程序代码进行分析、检验，并补充相关的文档，发现程序