软 件 测 试 目 的 :(1) 测 试 是 程 序 的 执 行 过 程 ， 目的 在 于 发 现 错 误 ；
（ 2 ） 一 个 好 的 测 试 用 例 在 于 能 发 现 至 今 未 发 现的 错 误 ；
（ 3 ） 一 个 成 功 的 测 试 是 发 现 了 至 今 未 发 现 的 错误 的 测 试
软 件 测试 的 原 则 :1 应 当 把 “ 尽 早 地 和 不 断 地进 行 软 件 测 试 作为软 件 开 发 者 的 座 右 铭 。
2 测 试 用例 应 由 测 试 输 入 数 据 和 对 应 的 预 期 输 出 结 果 这 两部 分 组 成
3. 程 序 员应 避 免 检 查 自 己 的 程 序
4 在 设 计测 试 用 例 时 ， 应 当 包 括 合 理 的 输 入 条 件 和 不 合 理的 输 入 条 件
测 试 信 息 流
软 件 配 置 ：
测 试 配 置 ：
测 试 工 具 ·
测 试 结 果 分 析 ：
排 错 （ 调 试 ） ：
修 正 后 的 文 档 再 测 试 ：
测 试 与 软 件 开 发 各 阶 段 的 关 系 ：软 件 开 发 过 程 是 一 个 自 顶 向 下 ， 逐 步细化 的 过程
测 试 用 例 设 计 ：两 种 常 用 的 测 试 方 法
1.黑 盒 测 试
2.白 盒 测 试
黑 盒 测 试 ：这 种 方 法 是 把 测 试 对 象 看 做 一 个 黑 盒 子 ， 检 查 程 序 的 功 能 是 否 符合 它 的 功 能 说 明
白 盒 测 试 ：此 方 法 把 测 试 对 象 看 做 一 个 透 明 的 盒 子 ， 对 程 序 所 有 逻 辑 路 径 进行 测 试
逻 辑覆盖：逻 辑 覆 盖 是 以 程 序 内 部 的 逻 辑 结 构 为 基 础 的 设 计 测 试 用 例 的 技 术 。 它属 白
盒 测 试 。
语 句 覆盖 ：语句覆盖就是设计若干个测试用例，运行被测程序，使得每一可执行语句至少执行一次
判 定覆盖
条 件 覆盖：设计若干个测试用例，运行被测程序，使得程序中每个判断的每个条件的可能取值至少执行一次。
判 定 一 条 件覆盖：设计足够的测试用例，使得判断中每个条件的所有可能取值至少执行一次，同时每个判断中的每个条件的可能取值至少执行一次。
条件组合覆盖：设计足够的测试用例，运行被测程序，使得每个判断的所有可能的条件取值组合至少执行一次。
路径测试：设计足够的测试用例，覆盖程序中所有可能的路径
条件测试路径选择： 当 程 序 中 判 定 多 于 一 个 时 ， 形 成 的 分 支 结 构 可 以 分 为 两 类 ： 嵌 套型 分 支 结 构 和连 锁 型 分 支 结 构
黑盒测试的测试用例设计：等价类划分，边界值分析，错误推测法，因果图
循环测试路径选择：循环分为4种不同的类型：简单循环，连锁循环，嵌套循环和非结构循环。
等 价 类 划 分 :等 价 类 划 分 方 法 把 所 有 可 能 的 输 入数 据 ， 即 程 序 的 输 入 域 划 分 成 若 干 部 分 ， 然 后 从 每 一 部 分 中 选 取 少 数 有 代 表 性 的 数 据 做 为 测试 用 例 。
等 价 类 的 划 分 有 两 种 不 同 的 情 况 ：
1.有 效 等 价 类 ：
2.无 效 等价 类 ：
划 分 等 价 类 等 价 类 的 原 则 :(l)如 果 输 入 条 件 规 定 了 取 值 范 围 ， 或 值 的 个 数 ， 则 可 以 确 立 一 个 有 效 等 价 类 和 两 个 无 效等 价 类 。
（ 2 ） 如 果 输 入 条 件 规 定 了 输 入 值 的 集 合 ， 或 者是 规定 了 必 须 如 何 的条 件 ， 这 时 可 确 立 一 个 有 效 等 价 类
和 一 个 无 效 等 价 类 。
（ 3 ） 如 果 输 入 条 件 是 一 个 布 尔 量 ， 则 可 以 确 定一 个 有 等 价 类 和 一 个 无 效 等 价 类
（ 4 ） 如 果 规 定 了 输 入 数 据 的 一 组 值 ， 而 且 程 序要 对 每 个 输 入 值 分 别 进 行 处 理
（5）如 果 规 定 了 输 入 数 据 必 须 遵 守 的 规 则 ， 则 可以 确 立 一 个 有 效 等 价 类 （ 符 合 规 则 ） 和 若 干 个 无 效 等 价
类 （ 从 不 同 角 度 违 反 规 则 ） 。
确 立 测 试 用 例 ：在 确 立 了 等 价 类 之 后 ， 建 立 等 价 类 表 ， 列 出 所 有 划 分 出 的 等价 类 输 入 条 件 有 效 等 价 类 无 效 等 价 类
边界值分析
使 用 边 界 值 分 析 方 法 设 计 测 试 用 例 ， 首 先 应 确 定 边 界 情 况 。 应 当 选 取 正 好 等于 ， 刚 刚 大 于 ， 或 刚 刚 小 于 边 界 的 值 做 为 测 试 数 据 。
用边界值分析设计测试用例应该遵循的原则：
1.如果输入条件规定了取值范围，则应对该范围的边界内附近，恰好在边界和在边界外附近（无效等价类中）设计测试用例。例如：规定1-5kg邮件收费2元，应对0.9,1,1.1,4.9,5,5.1kg设计测试用例。
2.如果输入条件规定了数据的个数，则应对最小个数，最大个数，比最少个数少1，比最大个数大1等情况设计测试用例。
例如：输入文件有1-255个记录，则应分别设计0，1,255,256个记录的输入文件的测试用例。
3.针对规格说明中的每个输出条件使用前面的1和2原则。
如：计算折扣量，最低折扣为0元，最高为1000元，则要设计使他们恰好产生0元或1000元的结果，以及负值或稍大于1000元的结果（如果可能的话）。
4.如果程序规格说明中提到的输入或输出域师哥有序的集合（如顺序文件，线性表等）。应选有序集的第一个和最后一个元素作为测试用例。
等 价 类 和 边 界 值 方 法 的 区 别 ： 边 界 值 不 是 从 等 价 类 中 随 便 取 一 个 数 据 作 为 代表 ， 而 是 选 一 个 或 几 个 特 定 值 ， 使 这 个 等 价 类 的 每 个 边 界 都 作 为 测 试 的 目 标 。
边 界 值 分 析 不 仅 要 考 虑 输 入 条 件 ， 而 且 要 考 虑 输 出 条 件 （ 输 出 等 价 类 ） 。
一 般 联 合 使 用 等 价 类 划 分 和 边 界 值 分 析 二 种 方 法 。
错误推测法：基本想法是列举出程序中所有可能有的错误和容易发生错误的特殊情况，根据他们选择测试用例。
因 果 图
因 果 图 的 适 用 范 围 ：如 果 在 测 试 时 必 须 考 虑 输 入条 件 的 各 种 组 合 ， 可 使 用 一 种 适 合 于 描 述 对 于 多 种 条 件 的 组 合 ， 相 应 产 生 多 个 动 作 的 形 式 来设 计 测 试 用 例 ， 这 就 需 要 利 用 因果 图
因 果 图 方 法 最 终 生 成 的 就 是 判 定 表
用 因 果 图 生 成 测 试 用 例 的 基 本 步 骤 ：（1） 分 析 软件 规 格 说 明 描 述 中 ， 哪 些 是 原因 （ 即 输 入 条 件 或 输 入 条 件 的 等 价 类 ） ， 哪 些 是 结 果 （ 即 输 出 条件 ） ， 并 给 每 个 原 因 和 结果 赋 予 一 个 标 识 符 。
（ 2 ） 分 析 软 件 规 格 说 明 描 述 中 的 语 义 ， 找 出 原因 与 结 果 之 间 ， 原 因 与 原 因 之 间 对 应 的 是 什 么 关 系 ？ 根 据 这 些 关 系 ， 画 出 因 果 图
（ 3 ） 由 于 语 法 或 环 境 限 制 ， 有 些 原 因 与 原 因 之间 ， 原 因 与 结 果 之 间 的 组 合 情 况 不 可 能 出 现 。 为 表 明 这 些 特 殊 情 况 ， 在 因 果 图 上 用 一 些 记 号标 明 约 束 或 限 制 条 件
（ 4 ） 把 因 果 图 转换成 判 定 表
（5） 把 判 定 表 的 每 一 列 拿 出 来 作 为 依据 ， 设 计 测试 用 例 。