软件测试基础—测试方法

6）验证和确认（V & V）
Verification：Are we building the product right？ 是否正确地构造了软件？即是否正确地做事，验证开发过程
是否遵守已定义好的内容。验证产品满足规格设计说明书的
一致性
Validation： Are we building the right product? 是否构造
2
1)软件测试方法分类
根据测试对象在测试过程中是否发生状态变化：
动态测试和静态测试
根据对测试对象了解的程度（按哲学观点）：
黑盒测试和白盒测试
3
测试方法
黑盒子和白盒子 静态的和动态的
文档、代码审查
数据输入边界条件法 等价划分、数据流程图 状态变换图 逻辑路径法
4
动态测试
概念：动态测试是通过观察代码运行时的动作来
提供执行跟踪、时间分析，以及测试覆盖度方面 的信息。它通过实际运行程序发现错误。
测试范围：通过有效的测试用例，对应的输入/输
出关系来分析被测程序的运行情况。
12
5）自动测试和随机测试
手工模拟用户 操作
自动测试：通过工具自动执行软件的测试。 随机测试：完全模拟客户进行 13 随意的操作。
用途：主要用于软件确认测试。
方法：等价类划分、边界值分析、错误推测法、因果图。
6
发现问题类型
是否有不正确或遗漏了的功能； 在接口上，能否正确地接受输入数据，能否产
生正确的输出信息； 访问外部信息是否满足要求； 性能上是否满足要求； 界面是否错误，是否不美观； 初始化和终止错误。
7
3)白盒测试法（white-box testing)
方法：人工检测和计算机辅助静态分析手段进行检测。只 进行特性分析。 人工检测：人工审查或评审软件。偏重于编码风格、质 量的检验。可有效发现逻辑设计和编码错误。 计算机辅助静态分析：利用静态分析工具对被测程序进 行特性分析，从程序中提取一些信息，以便检查程序逻辑 的各种缺陷和可疑的程序构造。 11
18
编码的标准和规范
标准：建立起来必须遵守的规则。
规范：建议最佳做法，推荐更好方式。
实施标准和规范的原因： 可靠性。 可读性和可维护性。 可移植性。
19
（一）代码检查法
代码检查法主要是通过桌面检查、代码审查 和走查方式，对以下内容进行检查： 检查代码和设计的一致性 代码的可读性以及对软件设计标准的遵循情况 代码逻辑表达的正确性
第三章 软件测试基本技术
1 软件测试技术概述
2 白盒测试技术
3 黑盒测试技术
1
１软件测试技术概述
根据G.J. Myers观点--软件测试的目的:
软件测试是为了发现错误而执行程序的过程 一个好的测试能够在第一时间发现程序中存在的错误 一个好的测试是发现了至今尚未发现的错误的测试。
软件测试是质量控制的重要手段，保证客 户拿到或用户使用高质量的软件产品
黑盒子和白盒子
客户需求
结构测试 逻辑驱动测试
输出
输入
事件驱动
功能测试 数据驱动测试
5
2)黑盒测试法（black-box testing)
概念：也称功能测试或数据驱动测试。不关心程序内部 结构，用于验证产品所应具有的功能是否实现，每个功 能是否都能正常使用，是否满足用户的要求。 测试范围：针对程序接口和用户界面进行测试，只检查 程序功能是否按照需求规格说明书的规定正常使用，程 序是否能适当地接收输入数据而产生正确的输出信息， 并且保持外部信息的完整性。
了正是用户所需要的软件？即是否正在做正确的事。验证产
品所实现的功能是否满足用户的需求
14
2 白盒测试技术
概念： 白盒测试也称为结构测试或逻辑驱动测试，把程序看 作一个透明的盒子，测试程序的代码书写结构和逻辑问题。 测试对象：源程序。 检查内容：
对程序模块的所有独立的执行路径至少要测试一次
对所有逻辑判断，取真或假的两种情况至少要测试一次
对程序进行边界检查 检验内部数据结构的有效性。
15
白盒测试用例的设计方法
逻辑覆盖：以程序的内部逻辑结构为基础，分为 语句覆盖、判定覆盖、判定-条件覆盖、条件组 合覆盖等 基本路径测试：在程序控制流程的基础上，分析 控制构造的环路复杂性，导出基本可执行路径集 合，从而设计测试用例。 白盒测试分类：静态测试和动态测试。
概念：也称结构测试或逻辑驱动测试。已知产品内部工作 流程,清楚软件程序的结构和语句，按照程序内部的结构 测试程序。要求对程序的结构特性做到一定程度的覆盖， 对所有逻辑路径进行测试，并检验内部控制结构和数据结 构是否有错。
测试范围：测试程序内部的变量状态、逻辑结构、运行路 径等，检验程序中的每条通路是否能按预定要求正确工作， 检查程序内部动作或运行是否符合设计规格要求，所有内 部成分是否按规定正常进行。
9
4）静态的和动态的测试
主持人 内审员 作者 列席人员 技术专业人员 记录员
用户代表
不正式 互审 走读 正式 审查会议
10
运行程序
静态测试
概念：静态测试就是静态分析，对模块的源代码进行研读， 查找错误或收集一些度量数据，不需要对代码进行编译和 仿真运行。 测试范围：软件产品的设计规格说明书的审查，程序代码 的阅读、审查等。
16
白盒测试用例注意事项
由于测试路径可能非常多，以及时间和资源问
题，选出足够多的路径测试
由于深入到程序编码，通常开发人员协助测试
百度文库
人员书写白盒测试用例
17
1）静态测试
静态测试技术： 不运行被测试程序，对代码通 过检查、阅读进行分析。 三步曲： 走查 （Walk Through） 审查 （Inspection） 评审 （Review） 最常见的静态测试是找出源代码的语法错误。
用途：主要用于软件验证测试。 方法：逻辑覆盖、循环覆盖和基本路径测试。
8
白盒测试原则和说明
原则： 保证每个模块中所有独立路径至少被使用一次； 对所有逻辑值均测试为真值和假值； 在上下边界及可操作范围内运行所有循环； 检查内部数据结构以确保其有效性。 说明： 穷举路径测试绝不能查出程序违反了设计规范，即程序 在实现一个不是用户需要的功能； 穷举路径测试不可能查出程序中因遗漏路径而出错； 穷举路径测试可能发现不了一些与数据相关的错误。