软件自动化测试软件质量保障课(编辑修改稿)

软件自动化测试软件质量保障课(编辑修改稿)内容摘要：

程序的调用关系图； 程序的数据流图； 程序的控制流图 质量度量 主要是指对被测程序的各种质量度量量元的测量，如测量程序的复杂度、模块的扇入和扇出、调用层次深度、 goto语句的使用情况等。 规则检查 在一些可靠性和安全性要求比较高的软件开发中，编程时必须要遵循一些特殊的标准和规范，规则检查就是检查被测程序是否符合有关的编码规则，包括那些满足了编程语言语法和语义的规定，可以通过编译系统的代码。 规则检查的内容 书写规则检查：命名规则、书写格式、语法限制等 接口检查：参数数量和类型、出入栈顺序、输出参数赋值情况、是否存在多余参数 数据类型检查 数据变量检查：是否重复赋值、重复释放、未赋值就使用等 控制流规则检查：未使用的子程序、 switch中无 default、 if后无 else、存在死循环、 goto语句检查 特殊检查 为避免程序运行时出现的严重错误造成的损失，可以使用静态测试工具发现某些运行时出现的错误。 特殊检查的功能 使用未初始化的变量 多线程中未保护数据的访问冲突 对空指针和越界指针的引用 对越界数组的访问 非法类型转换 非法算数运算 整数和浮点数的上溢出或下溢出 选择静态测试工具的原则 功能是否丰富、全面 是否支持被测的编程语言 是否具有良好的开放性和可扩展性 典型静态测试工具  QAC：针对 C语言，寻找语法使用中的问题  McCabe：包括 McCabe Test、 McCabe QA、 McCabe Reengineering等组件。  PolySpace：是一种非侵入式的和基于源程序代码的静态测试工具，可以发现软件运行时的错误。 软件动态测试工具 测试准备 测试执行 测试评价 测试准备 主要是支持用户开展测试计划、测试设计和测试开发等阶段的工作。 目前，大部分动态测试工具中的测试准备功能都是由各类测试数据生成器和测试脚本解释器配合实现的。 测试数据生成器 是指在程序或模块测试中辅助生成测试数据的工具。 应用测试数据生成器，一方面提高生产效率，另一方面避免了测试人员在构造测试数据时的片面性。 人工编写 测试数据生成器 测试脚本 测试脚本解释器 测试数据生成器 基于数据流的测试数据生成器 基于控制流的测试数据生成器 基于操作捕捉和描述的测试数据生成器 基于模型的测试数据生成器 随机测试数据生成器 基于数据流的测试数据生成器 通过对被测程序的数据流自动进行分析，利用分析结果自动生成测试数据。 主要获取程序所用到的全局。