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