测试技术基础



Similar documents
___证券投资基金招募说明书1

___证券投资基金招募说明书1

目 录 第 一 部 分 前 言... 1 第 二 部 分 释 义... 3 第 三 部 分 基 金 的 基 本 情 况... 7 第 四 部 分 基 金 份 额 的 发 售... 8 第 五 部 分 基 金 备 案 第 六 部 分 基 金 份 额 的 申 购 与 赎 回 第


水 平 考 试 管 理 部 门 办 理 报 名 登 记 手 续, 由 县 ( 市 区 ) 学 业 水 平 考 试 管 理 部 门 建 立 学 业 水 平 考 试 考 籍 ( 三 ) 在 云 南 省 借 考 的 外 省 户 籍 考 生, 经 本 人 申 请, 持 户 籍 等 相 关 材 料, 到 借


Microsoft Word - 103鐵路佐級-國文(二)

背 景 资 料 水 浒 传 写 的 是 北 宋 宣 和 年 间 (1119~1121 前 后 ) 宋 江 等 聚 众 起 义 的 故 事 全 书 描 写 北 宋 末 年 以 宋 江 为 首 的 一 百 零 八 人 在 山 东 梁 山 泊 聚 义 的 故 事 故 事 在 宋 史 和 宋 人 笔 记 里

产 品 出 口 企 业 当 年 减 半 缴 纳 企 业 所 得 税 的 核 准 外 商 投 资 企 业 财 产 转 让 收 益 分 期 计 入 应 纳 税 所 得 额 的 核 准 外 商 投 资 企 业 技 术 开 发 费 加 计 扣 除 的 核 准 财 政

学 习 贯 彻 中 央 尧 省 尧 市 纪 委 全 会 精 神 专 栏 中 国 共 产 党 第 十 八 届 中 央 纪 律 检 查 委 员 会 第 六 次 全 体 会 议 公 报 渊 2016 年 1 月 14 日 中 国 共 产 党 第 十 八 届 中 央 纪 律 检 查 委 员 会 第 六 次

Microsoft Word - 临政办发12.doc

中共山东省委高校工委

标题

目 录 第 一 部 分 国 家 知 识 产 权 局 概 况 一 主 要 职 能 二 部 门 预 算 单 位 构 成 第 二 部 分 国 家 知 识 产 权 局 2016 年 部 门 预 算 表 一 财 政 拨 款 收 支 总 表 二 一 般 公 共 预 算 支 出 表 三 一 般 公 共 预 算 基

ᄐ↓ᅯᄎ2015ᅣ↑ᄇ﾿ᅢᅤᅯ녜 ̄

科学技术部2013年度部门预算

一、二○○二年学校工作的简要回顾

Microsoft Word - 白俄罗斯公司法汉语译文2015年7月15日修改版.docx

第 一 部 分 中 国 气 象 局 职 责 及 概 况 一 主 要 职 责 ( 一 ) 拟 定 气 象 工 作 的 方 针 政 策 法 律 法 规 发 展 战 略 和 长 远 规 划 ; 制 定 发 布 气 象 工 作 的 规 章 制 度 技 术 标 准 和 规 范 并 监 督 实 施 ; 承 担

数学与统计学院教师支部“两学一做”学习教育实施计划

无 锡 职 业 技 术 学 院 国 有 资 产 管 理 办 法 第 一 章 总 则 第 一 条 为 加 强 学 校 国 有 资 产 管 理, 合 理 配 置 和 有 效 使 用 国 有 资 产, 确 保 国 有 资 产 安 全 与 完 整, 保 障 和 促 进 学 校 各 项 事 业 发 展, 根

省安委会2015冬防工作方案.doc

南 昌 大 学 人 力 资 源 工 作 简 讯 2015 年 第 2 期 ( 总 第 27 期 ) 目 录 1 人 力 资 源 综 合 信 息 2 人 员 调 配 及 机 构 编 制 管 理 信 息 3 劳 资 工 作 信 息 4 师 资 管 理 信 息 5 高 层 次 人 才 及 队 伍 建 设

国家邮政局2010年部门预算

国家邮政局2010年部门预算

11韶关市人力资源和社会保障局权责清单

三亚市政府投资建设项目代建制管理工作介绍

<4D F736F F D20C9FABBB7B9FAD6D CBB6CABFB8B4CAD4B7BDB0B8312E646F63>

目 录 一 部 门 职 责... 1 二 预 算 编 报 范 围... 3 三 2013 年 部 门 预 算 报 表 及 情 况 说 明... 5 收 支 预 算 总 表 及 情 况 说 明... 5 收 入 预 算 表 及 情 况 说 明... 7 支 出 预 算 表 及 情 况 说 明... 1

标题

目 录 一 重 要 提 示... 3 二 公 司 主 要 财 务 数 据 和 股 东 变 化... 3 三 重 要 事 项... 6 四 附 录 / 22

目 录 引 言... 3 第 一 部 分 电 价 水 平 基 本 情 况...4 一 上 网 电 价...4 二 输 配 电 价...6 三 销 售 电 价...9 四 政 府 性 基 金 和 附 加...12 第 二 部 分 电 价 政 策 执 行 情 况...13 一 电 价 水 平 调 整 情

西安邮电学院本科教学工作简报

密 级:

市六届人大--次

目 录 前 言 第 一 章 近 年 来 合 同 行 政 监 管 及 相 关 工 作 改 革 创 新 情 况 第 二 章 2014 年 合 同 行 政 监 管 及 相 关 工 作 情 况 第 一 节 合 同 格 式 条 款 监 管 一 银 行 业 电 信 业 合 同 格 式 条 款 专 项 整 治 二

中国文联部门预算


( 十 ) 其 他 会 计 工 作 第 四 条 单 位 不 得 任 用 ( 聘 用 ) 不 具 备 会 计 从 业 资 格 的 人 员 从 事 会 计 工 作 不 具 备 会 计 从 业 资 格 的 人 员, 不 得 从 事 会 计 工 作, 不 得 参 加 会 计 专 业 技 术 资 格 考 试

附 件 : 顺 德 区 2015 年 高 中 阶 段 学 校 招 生 考 试 工 作 意 见 根 据 佛 山 市 顺 德 区 教 育 事 业 发 展 十 二 五 规 划 2015 年 顺 德 区 教 育 工 作 意 见 的 文 件 精 神 和 上 级 教 育 主 管 部 门 工 作 要 求, 结 合

<C1ACD6DDCAD0CAD0B3A1BCE0B6BDB9DCC0EDBED6C8A8D4F0C7E5B5A5A3A8B9ABCABEA3A92E786C73>

Microsoft Word - Future CEDAW C CHN 7-8.doc


国家发展改革委法治机关建设规划( 年)

烟台经济技术开发区政府采购竞争性磋商文件

<4D F736F F D20342E31332D C4EACCECBDF2CAD0C6D5CDA8B8DFB5C8D1A7D0A3D5D0C9FABFBCCAD4B9A4D7F7B9E6B6A82DCEC4BCFEB8E52E646F63>

2014 年 12 月 16 日 广 西 春 茂 投 资 股 份 有 限 公 司 ( 原 名 广 西 汽 牛 农 业 机 械 股 份 有 限 公 司, 以 下 简 称 春 茂 股 份 挂 牌 公 司 公 司 ) 召 开 2014 年 第 五 次 临 时 股 东 大 会, 通 过 向 特 定 对 象

四、实施步骤

Microsoft Word - 面向合格投资者公开发行公司债券上市预审核反馈意见公告(截至2015年10月8日)

律 师 执 业 必 须 以 事 实 为 根 据, 以 法 律 为 准 绳 律 师 执 业 应 当 接 受 国 家 社 会 和 当 事 人 的 监 督 律 师 依 法 执 业 受 法 律 保 护, 任 何 组 织 和 个 人 不 得 侵 害 律 师 的 合 法 权 益 第 四 条 司 法 行 政 部

(Microsoft Word - \270t\270g\254\354\305\252\270g\274\372\300y\255p\271\ docx)

自 觉 实 践 科 学 发 展 观, 扎 实 推 进 管 理 服 务 工 作 四 川 大 学 档 案 馆 ( 校 史 办 公 室 )2007 年 上 半 年 工 作 总 结 2007 年 上 半 年, 四 川 大 学 档 案 馆 ( 校 史 办 公 室 ) 在 学 校 党 委 行 政 领 导 和 上

2014


第 一 部 分 广 州 市 广 播 电 视 大 学 概 况 一 学 校 的 主 要 任 务 和 业 务 范 围 根 据 市 编 委 的 批 复, 广 州 市 广 播 电 视 大 学 为 市 局 级 事 业 单 位, 归 口 市 教 育 局 管 理 主 要 承 担 以 下 任 务 : ( 一 ) 承

Microsoft Word - 关于印发《云南保险业高级管理人员任职资格考试办法》的通知

<4D F736F F D20CBD5D6DDBFC6BCBCD1A7D4BAB8DFB5C8D1A7D0A3BDCCCAA6D7CAB8F1C8CFB6A8B9A4D7F7CAB5CAA9D2E2BCFB2E646F63>

自评报告合成.doc

第一部分 界定和测量歧视


一 前 言 2 作 為 我 國 儒 家 經 典 及 十 三 經 之 一, 孟 子 流 傳 千 年 不 輟, 足 以 證 明 其 對 中 華 文 化 的 重 要 性 與 影 響 力, 除 了 道 德 文 化 意 識 的 開 發, 也 弘 揚 仁 政 王 道 的 政 治 觀, 大 多 數 人 都 肯 定

法 工 作 计 划 滨 州 市 安 全 生 产 监 督 管 理 局 2016 年 2 月 4 日 ( 此 件 主 动 公 开 ) 2


附件3

关于印发西北政法大学“十二五”

君泰所 稿纸

的 权 利 义 务, 依 照 本 法 在 基 金 合 同 中 约 定 基 金 管 理 人 基 金 托 管 人 依 照 本 法 和 基 金 合 同 的 约 定, 履 行 受 托 职 责 通 过 公 开 募 集 方 式 设 立 的 基 金 ( 以 下 简 称 公 开 募 集 基 金 ) 的 基 金 份

关 于 建 立 失 联 ( 异 常 ) 私 募 机 构 公 示 制 度 的 通 知 私 募 基 金 登 记 备 案 相 关 问 题 解 答

000545C.DOC

世界上最伟大的推销员.doc

第 一 编 国 家 法 律 法 规 - 1 -

隐公(元年~十一年)

目 1 录 第 一 部 分 国 家 省 相 关 法 律 法 规 中 华 人 民 共 和 国 教 育 法 中 华 人 民 共 和 国 高 等 教 育 法 中 华 人 民 共 和 国 学 位 条 例 中 华 人 民 共 和 国 学 位 条 例

<4D F736F F F696E74202D20A5ACB355C0B8B0D1A6D2B8EAAEC6205BB0DFC5AA5D>

E /...ec6

(一)收入支出预算总表及情况说明

五 增 加 一 条 作 为 第 三 十 五 条, 内 容 为 : 按 照 消 防 技 术 标 准 不 需 要 设 置 火 灾 自 动 报 警 系 统 的 养 老 院 福 利 院 寄 宿 制 学 校 幼 儿 园 学 生 校 外 托 管 机 构 小 旅 店 小 型 娱 乐 场 所 以 及 生 产 存 储

民 政 部 废 止 的 政 策 性 文 件 目 录 序 号 标 题 文 号 社 会 组 织 管 理 1 民 政 部 关 于 转 发 民 政 部 财 政 部 关 于 进 一 步 明 确 社 会 团 体 会 费 政 策 的 通 知 的 函 民 函 2006) 240 号 2 民 政 部 关 于 进 一

国家信访局部门预算公开信息说明

目 录 第 一 部 分 国 家 能 源 局 概 况 一 主 要 职 能 二 基 本 情 况 说 明 三 部 门 决 算 单 位 构 成 第 二 部 分 国 家 能 源 局 2015 年 度 部 门 决 算 表 一 收 入 支 出 决 算 总 表 二 收 入 决 算 表 三 支 出 决 算 表 四 财

证券代码: 股票简称:滨化股份 公告编号:

证券代码: 证券简称:岳阳林纸 公告编号:

17 省 物 价 委 员 会 关 于 甘 肃 省 档 案 馆 实 行 利 用 档 案 收 费 的 批 复 甘 价 综 号 1988 年 5 月 30 日 省 物 价 委 18 省 物 价 委 员 会 广 播 电 视 厅 文 化 厅 关 于 制 定 我 省 电 影 电 视 录 像 带

宜 都 改 革 开 放 30 年 宜 都 年 鉴 编 纂 委 员 会 主 任 院 陈 行 甲 副 主 任 院 张 白 华 宋 化 力 胡 卫 东 委 员 院 陈 微 向 家 金 沈 绪 文 王 德 清 郑 蕾 艳 ( 女 ) 张 红 桥 ( 女 ) 张 鸿 庞 友 春 夏 友 生 史 玉 英 ( 女

中共中央党校2011年部门决算

<B8DFC8FDD3EFCEC4A3A838D4C2D4C2BFBCCAD4CCE2A3A9>


Microsoft Word - 诸教〔2016〕97号.doc

鬼 與 亡 魂 的 故 事 事 (3) 亡 魂 返 回 與 人 贈 物 三 類 (1) 亡 魂 返 回 家 人 身 邊 : 最 難 以 割 捨 的 情 感 便 是 親 情 了, 因 此 許 多 亡 魂 返 回 都 是 為 了 關 心 親 人 過 的 是 否 平 安 例 如 探 視 母 親 是 否 於

关 于 在 全 省 县 处 级 以 上 领 导 干 部 中 开 展 三 严 三 实 专 题 教 育 实 施 方 案 根 据 中 共 中 央 办 公 厅 印 发 < 关 于 在 县 处 级 以 上 领 导 干 部 中 开 展 三 严 三 实 专 题 教 育 方 案 > 的 通 知 ( 中 办 发 20

Microsoft Word 中的文档

目 录 第 一 部 分 中 国 科 协 概 况 一 主 要 职 能 二 部 门 决 算 单 位 构 成 第 二 部 分 中 国 科 协 2015 年 度 部 门 决 算 表 一 收 入 支 出 决 算 总 表 二 收 入 决 算 表 三 支 出 决 算 表 四 财 政 拨 款 收 入 支 出 决 算

圍 很 廣, 不 能 僅 局 限 於 漢 族 與 少 數 民 族 之 間, 少 數 民 與 少 數 民 族 之 間 同 一 種 族 的 兩 個 不 同 政 權 之 間, 也 有 比 較 豐 富 的 和 親 內 容 和 親 的 多 種 多 樣, 無 論 目 的 為 何, 最 終 都 是 出 於 為 我

《聊齋志異》 <蓮香> 蒲松齡


川人发〔2008〕74号

Microsoft Word - 926ABED3A03F13D5F E.doc

User

目 录 安 徽 公 证 目 录 争 鸣 34 夫 妻 野 忠 实 协 议 冶 公 证 的 可 行 性 分 析 / 卓 礼 刚 39 对 野 侵 害 他 人 合 法 权 益 或 者 违 反 法 律 禁 止 性 规 定 的 方 法 冶 的 一 点 理 解 / 张 孝 稳 41 关 于 申 请 出 具 执

人身保险公司管理人员法律法规指引手册(最终版).doc

Transcription:

软 件 测 试 综 述 1

软 件 测 试 综 述 软 件 测 试 是 一 个 必 不 可 少 的 活 动, 是 对 软 件 需 求 分 析 设 计 规 约 和 编 码 的 最 终 复 审 ; 是 软 件 质 量 保 证 的 关 键 步 骤 软 件 测 试 是 根 据 软 件 开 发 各 阶 段 的 规 约 和 软 件 的 内 部 结 构, 精 心 设 计 一 批 测 试 用 例 ( 包 括 输 入 数 据 及 其 预 期 的 输 出 结 果 ), 并 利 用 这 些 测 试 用 例 去 运 行 程 序, 以 发 现 软 件 中 不 符 合 质 量 特 性 要 求 ( 即 缺 陷 或 错 误 ) 的 过 程 2

软 件 测 试 综 述 软 件 测 试 的 背 景 软 件 测 试 概 述 软 件 测 试 的 模 型 3

软 件 测 试 的 背 景 软 件 错 误 和 软 件 失 效 的 案 例 软 件 缺 陷 是 什 么 软 件 缺 陷 分 类 软 件 缺 陷 的 产 生 软 件 缺 陷 修 复 的 代 价 软 件 可 靠 性 问 题 软 件 错 误 数 估 算 4

软 件 错 误 和 软 件 失 效 的 案 例 火 星 登 陆 事 故 1999 年 12 月 3 日, 缺 少 集 成 测 试 爱 国 者 导 弹 防 御 系 统, 1991, 多 哈, 死 亡 28 人, 缺 少 稳 定 性 测 试 英 特 尔 奔 腾 芯 片 缺 陷,1994, 对 待 缺 陷 的 态 度 (4195835/3145727) 3145727 4195835 美 迪 斯 尼 公 司 的 狮 子 王 游 戏 软 件 bug 1994 年 圣 诞 节 前, 缺 少 兼 容 性 测 试 记 事 本 联 通 Word 文 件 保 护 破 解 ( 插 入 )(2003 以 前 版 本 ) 软 件 错 误 概 述 5

软 件 错 误 和 软 件 失 效 错 误 术 语 错 误 这 一 术 语 在 没 有 特 别 加 以 说 明 的 情 况 下, 这 是 一 个 泛 用 的 模 糊 的 概 念 它 指 的 可 能 是 bug( 差 错 ) fault( 故 障 ) error( 错 误 ) failure( 失 效 ) crash( 重 大 事 故 ) problem( 疑 问 ) 等 在 汉 译 中, 这 些 术 语 的 使 用 更 加 混 乱

软 件 缺 陷 是 什 么? 软 件 出 错 机 理 可 描 述 为 : 软 件 错 误, 软 件 缺 陷, 软 件 故 障, 软 件 失 效 软 件 错 误 (error) : 是 指 在 软 件 生 存 期 内 的 不 希 望 或 不 可 接 受 的 人 为 错 误, 其 结 果 是 导 致 软 件 缺 陷 的 产 生 软 件 缺 陷 (bug) : 是 存 在 于 软 件 ( 文 档 数 据 程 序 ) 之 中 的 那 些 不 希 望 或 不 可 接 受 的 偏 差 其 结 果 是 软 件 运 行 于 某 一 特 定 条 件 时 出 现 软 件 故 障, 这 时 称 软 件 缺 陷 被 激 活 软 件 故 障 (fault) : 是 指 软 件 运 行 过 程 中 出 现 的 一 种 不 希 望 或 不 可 接 受 的 内 部 状 态 此 时 若 无 适 当 措 施 ( 容 错 ) 加 以 及 时 处 理, 便 产 生 软 件 失 效 软 件 失 效 (failure) : 是 指 软 件 运 行 时 产 生 的 一 种 不 希 望 或 不 可 接 受 的 外 部 行 为 结 果 软 件 错 误 概 述 7

软 件 缺 陷 激 活 条 件 符 合 下 列 五 种 情 况 之 一 就 可 认 为 是 软 件 缺 陷 ( 出 错 ): 1) 软 件 未 达 到 软 件 产 品 需 求 说 明 书 指 明 的 要 求 2) 软 件 出 现 了 软 件 产 品 需 求 说 明 书 指 明 不 会 出 现 的 错 误 3) 软 件 功 能 超 出 软 件 产 品 需 求 说 明 书 指 明 的 范 围 4) 软 件 未 达 到 软 件 产 品 需 求 说 明 书 虽 未 指 明 但 应 达 到 的 要 求 5) 软 件 测 试 人 员 认 为 难 以 理 解 不 易 使 用 运 行 速 度 缓 慢 或 者 最 终 用 户 认 为 不 好 的 问 题 软 件 缺 陷 的 特 征 看 不 到 软 件 的 特 殊 性 决 定 了 缺 陷 不 易 看 到 看 到 但 是 抓 不 到 发 现 了 缺 陷, 但 不 易 找 到 问 题 发 生 的 原 因 所 在 软 件 错 误 概 述 8

软 件 缺 陷 分 类 可 从 不 同 角 度 对 软 件 缺 陷 进 行 分 类 : 按 错 误 的 影 响 和 后 果 分 类 按 错 误 的 性 质 和 范 围 分 类 按 软 件 生 存 期 阶 段 分 类 软 件 错 误 概 述 9

软 件 错 误 分 类 - 按 错 误 的 影 响 和 后 果 分 类 按 错 误 的 影 响 和 后 果 分 类 1. 较 小 错 误 : 只 对 系 统 输 出 有 一 些 非 实 质 性 影 响 如, 输 出 的 数 据 格 式 不 合 要 求 等 2. 中 等 错 误 : 对 系 统 的 运 行 有 局 部 影 响 如 输 出 的 某 些 数 据 有 错 误 或 出 现 冗 余 3. 较 严 重 错 误 : 系 统 的 行 为 因 错 误 的 干 扰 而 出 现 明 显 不 合 情 理 的 现 象 如 开 出 了 0.00 元 的 支 票, 系 统 的 输 出 完 全 不 可 信 赖 4. 严 重 错 误 : 系 统 运 行 不 可 跟 踪, 一 时 不 能 掌 握 其 规 律, 时 好 时 坏 5. 非 常 严 重 的 错 误 : 系 统 运 行 中 突 然 停 机, 其 原 因 不 明, 无 法 软 启 动 6. 最 严 重 的 错 误 : 系 统 运 行 导 致 环 境 破 坏, 或 是 造 成 事 故, 引 起 生 命 财 产 的 损 失 软 件 错 误 概 述 10

软 件 错 误 分 类 - 按 错 误 的 性 质 和 范 围 分 类 按 错 误 的 性 质 和 范 围 分 类 B.Beizer 从 软 件 测 试 观 点 出 发, 把 软 件 错 误 分 为 5 类 1. 功 能 错 误 1) 规 格 说 明 错 : 规 格 说 明 可 能 不 完 全, 有 二 义 性 或 自 身 矛 盾 2) 功 能 错 误 : 程 序 实 现 的 功 能 与 用 户 要 求 的 不 一 致 这 常 常 是 由 于 规 格 说 明 中 包 含 错 误 的 功 能 多 余 的 功 能 或 遗 漏 的 功 能 所 致 3) 测 试 错 误 : 测 试 的 设 计 与 实 施 发 生 错 误 软 件 测 试 自 身 也 可 能 发 生 错 误 4) 测 试 标 准 引 起 的 错 误 : 对 软 件 测 试 的 标 准 要 选 择 适 当, 若 测 试 标 准 太 复 杂, 则 导 致 测 试 过 程 出 错 的 可 能 就 大 软 件 错 误 概 述 11

软 件 错 误 分 类 - 按 错 误 的 性 质 和 范 围 分 类 2. 系 统 错 误 1) 外 部 接 口 错 误 : 外 部 接 口 指 如 终 端 打 印 机 通 信 线 路 等 系 统 与 外 部 环 境 通 信 的 手 段 2) 内 部 接 口 错 误 : 内 部 接 口 指 程 序 之 间 的 联 系 3) 硬 件 结 构 错 误 : 不 能 正 确 理 解 硬 件 如 何 工 作 而 导 致 的 出 错 4) 操 作 系 统 错 误 : 主 要 是 由 于 不 了 解 操 作 系 统 的 工 作 机 制 而 导 致 出 错 当 然, 操 作 系 统 本 身 也 有 错 误 5) 软 件 结 构 错 误 : 由 于 软 件 结 构 不 合 理 或 不 清 晰 引 起 的 错 误 6) 控 制 与 顺 序 错 误 : 如 存 在 不 正 确 的 处 理 步 骤 等 7) 资 源 管 理 错 误 : 由 于 不 正 确 使 用 资 源 而 产 生 的 软 件 错 误 概 述 12

软 件 错 误 分 类 - 按 错 误 的 性 质 和 范 围 分 类 3. 加 工 错 误 1) 算 术 与 操 作 错 误 : 指 在 算 术 运 算 函 数 求 值 和 一 般 操 作 过 程 中 发 生 的 错 误 2) 初 始 化 错 误 : 如, 忘 记 初 始 化 工 作 区 寄 存 器 和 数 据 区 ; 对 循 环 控 制 变 量 赋 错 初 值 ; 用 不 正 确 的 格 式, 数 据 或 类 型 进 行 初 始 化 等 3) 控 制 和 次 序 错 误 : 与 系 统 级 同 名 错 误 类 似, 但 它 是 局 部 错 误 如 遗 漏 路 径 ; 不 可 达 到 的 代 码 等 ; 4) 静 态 逻 辑 错 误 : 主 要 包 括 : 不 正 确 地 使 用 CASE 语 句 ; 在 表 达 式 中 使 用 不 正 确 的 条 件 ( 例 如 用 > 代 替 < 的 否 定 ); 对 情 况 不 适 当 地 分 解 与 组 合 ; 混 淆 或 与 异 或 等 软 件 错 误 概 述 13

软 件 错 误 分 类 - 按 错 误 的 性 质 和 范 围 分 类 4. 数 据 错 误 1) 动 态 数 据 错 误 : 动 态 数 据 是 在 程 序 执 行 过 程 中 暂 存 的 数 据 2) 静 态 数 据 错 误 : 静 态 数 据 直 接 或 间 接 地 出 现 在 程 序 或 数 据 库 中, 在 内 容 和 格 式 上 都 固 定 一 般 由 预 处 理 出 错 造 成 3) 数 据 内 容 错 误 : 由 内 容 被 破 坏 或 被 错 误 地 解 释 而 造 成 的 错 4) 数 据 结 构 错 误 : 数 据 结 构 错 误 主 要 包 括 结 构 说 明 错 误 及 把 一 个 数 据 结 构 误 当 做 另 一 类 数 据 结 构 使 用 的 错 误 5) 数 据 属 性 错 误 : 如 错 把 整 数 当 实 数, 允 许 不 同 类 型 数 据 混 合 运 算 而 导 致 的 错 误 等 软 件 错 误 概 述 14

软 件 错 误 分 类 - 按 错 误 的 性 质 和 范 围 分 类 5. 代 码 错 误 主 要 包 括 : 语 法 错 误 ; 打 字 错 误 ; 对 语 句 或 指 令 不 正 确 理 解 所 产 生 的 错 误 软 件 错 误 概 述 15

软 件 错 误 分 类 - 按 软 件 生 存 期 阶 段 分 类 把 软 件 的 逻 辑 错 误 按 生 存 期 不 同 阶 段 分 为 4 类 1. 问 题 定 义 ( 需 求 分 析 ) 错 误 在 软 件 定 义 阶 段, 分 析 员 研 究 用 户 的 要 求 后 所 编 写 文 档 中 出 现 的 错 误 换 句 话 说, 这 类 错 误 是 由 于 问 题 定 义 不 满 足 用 户 的 要 求 而 导 致 的 错 误 软 件 错 误 概 述 16

软 件 错 误 分 类 - 按 软 件 生 存 期 阶 段 分 类 2. 规 格 说 明 错 误 这 类 错 误 是 指 规 格 说 明 与 问 题 定 义 不 一 致 所 产 生 的 错 误 它 们 又 可 以 细 分 成 : 1) 不 一 致 性 错 误 : 规 格 说 明 中 功 能 说 明 与 问 题 定 义 发 生 矛 盾 2) 冗 余 性 错 误 : 规 格 说 明 中 某 些 功 能 说 明 与 问 题 定 义 相 比 是 多 余 的 3) 不 完 整 性 错 误 : 规 格 说 明 中 缺 少 某 些 必 要 的 功 能 说 明 4) 不 可 行 错 误 : 规 格 说 明 中 有 些 功 能 要 求 是 不 可 行 的 5) 不 可 测 试 错 误 : 有 些 功 能 的 测 试 要 求 是 不 现 实 的 软 件 错 误 概 述 17

软 件 错 误 分 类 - 按 软 件 生 存 期 阶 段 分 类 3. 设 计 错 误 设 计 阶 段 产 生 的 错 误, 它 使 系 统 的 设 计 与 需 求 规 格 说 明 中 的 功 能 说 明 不 相 符 它 们 又 可 以 细 分 为 : 1) 设 计 不 完 全 错 误 : 某 些 功 能 没 有 被 设 计, 或 设 计 得 不 完 全 2) 算 法 错 误 : 算 法 选 择 不 合 适 主 要 表 现 为 算 法 的 基 本 功 能 不 满 足 功 能 要 求 算 法 不 可 行 或 者 算 法 的 效 率 不 符 合 要 求 3) 模 块 接 口 错 误 : 模 块 结 构 不 合 理 ; 模 块 与 外 部 数 据 库 的 界 面 不 一 致, 模 块 之 间 的 界 面 不 一 致 4) 控 制 逻 辑 错 误 : 控 制 流 程 与 规 格 说 明 不 一 致 ; 控 制 结 构 不 合 理 5) 数 据 结 构 错 误 : 数 据 设 计 不 合 理 ; 与 算 法 不 匹 配 ; 数 据 结 构 不 满 足 规 格 说 明 要 求 软 件 错 误 概 述 18

软 件 错 误 分 类 - 按 软 件 生 存 期 阶 段 分 类 4. 编 码 错 误 多 种 多 样, 大 体 归 为 以 下 几 种 : 数 据 说 明 错 数 据 使 用 错 计 算 错 比 较 错 控 制 流 错 界 面 错 输 入 / 输 出 错, 及 其 它 的 错 误 在 不 同 的 开 发 阶 段, 错 误 的 类 型 和 表 现 形 式 不 同, 故 应 采 用 不 同 的 方 法 和 策 略 来 进 行 检 测 软 件 错 误 概 述 19

软 件 缺 陷 的 产 生 软 件 缺 陷 的 产 生 比 较 容 易 造 成 软 件 缺 陷 的 主 要 因 素, 归 纳 如 下 : 技 术 问 题 算 法 错 误 语 法 错 误 计 算 和 精 度 问 题 系 统 结 构 不 合 理 接 口 参 数 不 匹 配 团 队 工 作 需 求 不 清 开 发 人 员 相 互 理 解 不 一 致 设 计 或 编 程 上 的 假 定 或 依 赖 性 没 得 到 充 分 沟 通 软 件 本 身 文 档 错 误 大 数 据 量 错 误 边 界 错 误 时 序 错 误 数 据 恢 复 能 力 没 有 或 不 够 软 硬 件 上 的 错 误 软 件 开 发 标 准 或 过 程 上 的 错 误 软 件 错 误 概 述 20

软 件 缺 陷 的 构 成 编 写 代 码 7~15% 其 他 6~10% 设 计 25~27% 软 件 产 品 说 明 书 ( 需 求 ) 56% 软 件 错 误 产 生 的 原 因 分 布 软 件 错 误 概 述 21

软 件 缺 陷 的 产 生 软 件 需 求 说 明 书 为 什 么 是 软 件 缺 陷 存 在 最 多 的 地 方, 主 要 原 因 有 : 用 户 的 计 算 机 知 识 较 少 要 开 发 产 品 的 特 性 不 够 清 晰 需 求 变 化 的 不 一 致 对 需 求 说 明 书 不 重 视 项 目 组 成 员 间 缺 少 沟 通 软 件 错 误 概 述 22

软 件 缺 陷 的 产 生 软 件 缺 陷 的 状 态 为 便 于 跟 踪 和 管 理 某 产 品 的 缺 陷, 可 以 定 义 不 同 的 软 件 缺 陷 状 态 : 激 活 状 态 (Active 或 Open): 问 题 还 没 解 决, 测 试 员 报 的 bug 或 验 证 后 bug 仍 然 存 在 已 修 正 状 态 (Fixed 或 Resolved): 开 发 人 员 针 对 缺 陷, 修 改 程 序, 认 为 已 解 决 问 题, 或 通 过 单 元 测 试 关 闭 或 非 激 活 状 态 (Close 或 Inactiv): 测 试 员 验 证 Fixed bug 后, 确 认 bug 已 改 的 状 态 Hold 状 态 : 第 三 方 产 品 引 起 的 或 是 无 法 解 决 的 bug Differed 状 态 : 不 需 解 决 或 准 备 在 下 版 中 解 决 的 bug 软 件 错 误 概 述 23

软 件 错 误 修 复 的 代 价 软 件 在 从 计 划 编 制 测 试 一 直 到 交 付 用 户 公 开 使 用 的 过 程 中, 都 有 可 能 产 生 和 发 现 错 误 随 着 整 个 开 发 过 程 的 时 间 推 移, 修 复 软 件 的 费 用 呈 几 何 级 数 的 增 长 下 图 是 软 件 错 误 在 不 同 阶 段 发 现 时 修 改 的 费 用 示 意 图 100 80 60 40 20 0 编 制 说 明 书 设 计 阶 段 编 写 代 码 测 试 发 布 软 件 错 误 概 述 24

软 件 可 靠 性 问 题 软 件 可 靠 性 定 义 IEEE 将 软 件 可 靠 性 定 义 为 : 在 给 定 时 间 间 隔 内 和 特 定 的 环 境 下, 软 件 按 规 格 说 明 成 功 运 行 的 概 率 给 定 的 时 间 间 隔 : 在 定 义 中, 一 般 采 用 运 行 时 间 t 作 为 时 间 的 尺 度 环 境 条 件 : 指 的 是 软 件 的 使 用 环 境 无 论 是 什 么 软 件, 如 果 不 对 它 的 使 用 环 境 加 以 限 制, 都 会 失 效 这 种 失 效 的 数 据, 不 能 用 来 度 量 软 件 的 可 靠 性 成 功 地 运 行 : 指 不 仅 程 序 能 正 确 运 行, 满 足 用 户 对 它 的 功 能 要 求, 而 且 当 程 序 一 旦 受 到 意 外 的 伤 害, 或 系 统 故 障 时, 能 尽 快 恢 复, 仍 能 正 常 地 运 行 软 件 错 误 概 述 25

软 件 可 靠 性 问 题 软 件 可 靠 性 的 主 要 指 标 借 用 硬 件 可 靠 性 的 定 量 度 量 方 法 来 度 量 软 件 的 可 靠 性 : MTBF: 平 均 故 障 间 隔 时 间 MTTF: 平 均 故 障 时 间 MTTF= n 1 t i n i=1 t1,t2,..., tn: 失 效 时 间 26

软 件 可 靠 性 问 题 因 软 件 设 计 故 障 与 因 计 算 机 硬 件 设 计 故 障 而 引 发 的 系 统 失 效 的 比 例 大 约 是 :10:1 运 行 软 件 的 驻 留 故 障 密 度 ( 每 千 行 代 码 的 故 障 数 目 ): 要 求 很 高 的 关 键 财 务 或 财 产 软 件 为 : 每 千 行 代 码 1~10 个 故 障 关 键 的 生 命 软 件 为 : 每 千 行 代 码 0.01~1 个 故 障 软 件 可 靠 性 是 对 软 件 在 设 计 开 发 以 及 所 预 定 的 环 境 下 具 有 能 力 的 置 信 度 的 一 个 度 量, 是 衡 量 软 件 质 量 的 主 要 参 数 之 一 软 件 测 试 则 是 保 证 软 件 质 量 提 高 软 件 可 靠 性 的 最 重 要 手 段 软 件 错 误 概 述 27

软 件 错 误 数 估 算 植 入 故 障 法 估 算 ( 捕 获 - 再 捕 获 抽 样 法 ) 利 用 植 入 故 障 法 估 算 程 序 中 原 有 故 障 总 数 E T 设 N s 是 在 测 试 前 人 为 地 向 程 序 中 植 入 的 故 障 数 ( 称 播 种 故 障 ), n s 是 经 过 一 段 时 间 测 试 后 发 现 的 播 种 故 障 的 数 目, n 是 在 测 试 中 又 发 现 的 程 序 原 有 故 障 数 设 测 试 用 例 发 现 植 入 故 障 和 原 有 故 障 的 能 力 相 同, 则 程 序 中 原 有 故 障 总 数 N ( =E T ) 估 算 值 为 N N s n n s 28

软 件 错 误 数 估 算 Hyman 分 别 测 试 法 由 两 个 测 试 员 同 时 互 相 独 立 测 试 同 一 程 序 的 两 个 副 本, 用 t 表 示 测 试 时 间, 记 t=0 时, 程 序 中 原 有 故 障 总 数 是 B0; t=t1 时, 测 试 员 甲 发 现 的 故 障 总 数 是 B1; 测 试 员 乙 发 现 的 故 障 总 数 是 B2; 其 中 两 人 发 现 的 相 同 故 障 数 目 是 bc; 两 人 发 现 的 不 同 故 障 数 目 是 bi 在 大 程 序 测 试 时, 开 始 两 个 测 试 员 测 试 的 结 果 应 当 比 较 接 近,bi 不 是 很 大 这 时 有 B 0 B B bc 1 2 29

软 件 错 误 数 估 算 Hyman 分 别 测 试 法 ( 续 ) 如 果 bi 很 大, 应 当 每 隔 一 段 时 间, 由 两 个 测 试 员 再 分 别 测 试, 分 析 测 试 结 果, 估 算 B0 如 果 bi 减 小, 或 几 次 估 算 值 的 结 果 相 差 不 多, 则 B0 作 为 原 有 错 误 总 数 的 估 算 值 30

软 件 测 试 概 述 软 件 测 试 的 发 展 软 件 测 试 的 定 义 软 件 测 试 的 重 要 性 软 件 测 试 的 分 类 软 件 测 试 的 目 的 和 原 则 软 件 测 试 活 动 软 件 测 试 技 术 概 要 软 件 测 试 误 区 测 试 员 应 有 的 素 质 31

软 件 测 试 的 发 展 软 件 测 试 发 展 史 上 的 几 个 重 要 事 件 1972 年 6 月, 首 次 软 件 测 试 会 议 1972 年 6 月,Bill Hetzel( 代 表 论 著 The Complete Guide to Software Testing ) 在 美 国 的 北 卡 罗 来 纳 (North Carolina) 大 学 组 织 了 首 次 以 软 件 测 试 为 主 题 的 会 议 1973 年, Bill Hetzel 定 义 软 件 测 试 概 念 就 是 建 立 一 种 信 心, 认 为 程 序 能 够 按 预 期 的 设 想 运 行 1983 年,Bill Hetzel 将 定 义 修 订 为 : 评 价 一 个 程 序 和 系 统 的 特 性 或 能 力, 并 确 定 它 是 否 达 到 预 期 的 结 果 软 件 测 试 就 是 以 此 为 目 的 的 任 何 行 为 他 还 把 软 件 的 质 量 定 义 为 符 合 要 求 软 件 测 试 的 发 展 32

软 件 测 试 的 发 展 软 件 测 试 发 展 史 上 的 几 个 重 要 事 件 ( 续 ) 1979 年,Glenford Myers: The Art of Software Testing 出 版 这 本 书 是 软 件 测 试 方 面 的 圣 经 Myers 定 义 及 诠 释 的 测 试 方 法 论 已 成 为 软 件 测 试 的 基 本 模 块 提 出 测 试 的 目 的 是 证 伪 1983 1990 年,IEEE/ANSI 标 准 定 义 软 件 测 试 概 念 1990 年 的 IEEE/ANSI 标 准 将 软 件 测 试 进 行 了 这 样 的 定 义 : 在 既 定 的 状 况 条 件 下, 运 行 一 个 系 统 或 组 建, 观 察 记 录 结 果, 并 对 其 某 些 方 面 进 行 评 价 的 过 程 这 里 所 谓 既 定 的 状 况 可 理 解 为 需 求 或 设 计 软 件 测 试 的 发 展 33

软 件 测 试 的 发 展 软 件 测 试 发 展 史 上 的 几 个 重 要 事 件 ( 续 ) 1996 年 提 出 : 测 试 能 力 成 熟 度 TCMM(Testing Capability Maturity Model) 测 试 支 持 度 TSM(Testing Support Model) 测 试 成 熟 度 (Testing Maturity Model) 软 件 测 试 的 发 展 34

软 件 测 试 的 发 展 软 件 测 试 发 展 趋 势 测 试 与 质 量 保 证 体 系 的 融 合 测 试 方 法 越 来 越 细 分 测 试 方 法 的 细 分, 如 网 站 测 试 安 全 性 测 试 等 ; 测 试 技 术 不 断 发 展 软 件 验 证 技 术 方 面 软 件 静 态 测 试 方 面 测 试 用 例 的 选 择 方 面 自 动 化 测 试 方 面 测 试 走 向 专 业 化 道 路 软 件 测 试 的 发 展 35

软 件 测 试 的 定 义 一 般 定 义 IEEE 的 定 义 Myers 的 定 义 广 义 定 义 相 关 术 语 软 件 测 试 的 定 义 36

一 般 软 件 测 试 的 定 义 定 义 1: 1983 年,IEEE 提 出 的 软 件 工 程 标 准 术 语 中 给 软 件 测 试 下 的 定 义 : 软 件 测 试 是 使 用 人 工 的 或 自 动 的 手 段 来 运 行 或 检 测 某 个 系 统 的 过 程, 其 目 的 在 于 检 验 它 是 否 满 足 约 定 的 需 求 或 是 比 较 预 期 结 果 与 实 际 结 果 之 间 的 差 别 1990 年 的 IEEE/ANSI 标 准 将 软 件 测 试 进 行 了 这 样 的 定 义 : (IEEE/ANSI, 1990 [Std 610.12-1990]) 就 是 在 既 定 的 状 况 条 件 下, 运 行 一 个 系 统 或 组 建, 观 察 记 录 结 果, 并 对 其 某 些 方 面 进 行 评 价 的 过 程 ( 这 里 所 谓 既 定 的 状 况 也 可 理 解 为 需 求 或 设 计 ) 这 一 定 义 非 常 明 确 地 提 出 了 软 件 测 试 以 检 验 是 否 满 足 需 求 为 目 标 软 件 测 试 的 定 义 37

一 般 软 件 测 试 的 定 义 定 义 2: Glenford J.Myers 在 其 1979 年 软 件 测 试 技 巧 ( The Art of Software Testing ) 一 书 中 对 软 件 测 试 的 定 义 是 : 软 件 测 试 是 为 了 发 现 错 误 而 运 行 程 序 的 过 程 这 一 定 义 明 确 指 出 软 件 测 试 的 目 的 是 发 现 错 误 软 件 测 试 的 定 义 38

广 义 软 件 测 试 的 定 义 广 义 的 软 件 测 试 是 由 确 认 验 证 测 试 3 方 面 组 成 确 认 : 评 估 将 要 开 发 的 软 件 产 品 是 否 正 确 无 误 可 行 和 有 价 值 的 确 认 意 味 着 确 保 一 个 开 发 软 件 是 正 确 无 误 的, 是 对 软 件 开 发 构 想 的 检 测 验 证 : 检 测 软 件 开 发 的 每 个 阶 段 每 个 步 骤 的 结 果 是 否 正 确 无 误, 是 否 与 软 件 开 发 各 阶 段 的 要 求 或 期 望 的 结 果 相 一 致 验 证 意 味 着 确 保 软 件 会 正 确 无 误 地 实 现 软 件 的 需 求, 开 发 过 程 是 沿 着 正 确 的 方 向 进 行 的 测 试 : 与 狭 隘 的 测 试 概 念 统 一 软 件 测 试 的 定 义 39

软 件 测 试 的 定 义 - 相 关 术 语 测 试 用 例 所 谓 测 试 用 例 是 为 特 定 的 目 的 而 设 计 的 一 组 测 试 输 入 执 行 条 件 和 预 期 的 结 果 ; 测 试 用 例 是 执 行 测 试 的 最 小 实 体 测 试 步 骤 测 试 步 骤 详 细 规 定 了 如 何 设 置 执 行 评 估 特 定 的 测 试 用 例 精 确 和 准 确 准 确 是 指 得 到 的 测 试 结 果 与 真 实 值 之 间 的 接 近 程 度 精 确 是 指 同 样 环 境 下 重 复 测 测 试 所 得 到 的 结 果 之 间 的 重 现 性 确 认 和 验 证 确 认 是 保 证 软 件 符 合 产 品 说 明 书 的 过 程 验 证 是 保 证 软 件 满 足 用 户 要 求 的 过 程 软 件 测 试 的 定 义 40

软 件 测 试 的 对 象 软 件 测 试 的 对 象 软 件 测 试 并 不 等 于 程 序 测 试 软 件 测 试 应 该 贯 穿 整 个 软 件 定 义 与 开 发 整 个 期 间 因 此 需 求 分 析 概 要 设 计 详 细 设 计 以 及 程 序 编 码 等 各 阶 段 所 得 到 的 文 档, 包 括 需 求 规 格 说 明 概 要 设 计 规 格 说 明 详 细 设 计 规 格 说 明 以 及 源 程 序, 都 应 该 是 软 件 测 试 的 对 象 软 件 测 试 的 定 义 41

软 件 测 试 的 对 象 软 件 测 试 的 定 义 42

软 件 测 试 的 对 象 上 图 中, 在 对 需 求 理 解 与 表 达 的 正 确 性 设 计 与 表 达 的 正 确 性 实 现 的 正 确 性 以 及 运 行 的 正 确 性 的 验 证 中, 任 何 一 个 环 节 发 生 了 问 题 都 可 能 在 软 件 测 试 中 表 现 出 来 软 件 测 试 的 定 义 43

软 件 测 试 的 重 要 性 软 件 错 误 不 可 避 免 由 于 人 的 思 维 局 限 性, 再 加 上 开 发 的 系 统 具 有 的 复 杂 性, 因 此 决 定 了 在 开 发 过 程 中 出 现 软 件 错 误 是 不 可 避 免 的 软 件 错 误 并 不 一 定 是 由 编 码 所 引 起 的, 很 可 能 是 详 细 设 计, 概 要 设 计 阶 段, 甚 至 于 是 需 求 分 析 阶 段 的 问 题 引 起 的 若 能 及 早 排 除 开 发 中 的 错 误, 就 可 排 除 给 后 期 工 作 带 来 的 麻 烦, 降 低 出 错 代 价 软 件 测 试 应 无 处 不 在 44

软 件 测 试 的 分 类 按 测 试 过 程 ( 开 发 阶 段 ) 单 元 测 试 : 又 称 模 块 测 试, 是 针 对 软 件 设 计 的 最 小 单 位 程 序 模 块 进 行 正 确 性 检 验 的 测 试 工 作 集 成 测 试 : 又 称 组 装 测 试, 是 将 模 块 按 照 设 计 要 求 组 装 起 来 进 行 测 试, 主 要 目 标 是 发 现 与 接 口 有 关 的 问 题 确 认 测 试 : 验 证 软 件 的 功 能 和 性 能 及 其 它 特 性 是 否 与 用 户 的 要 求 一 致 系 统 测 试 : 是 在 集 成 测 试 通 过 后 进 行, 目 的 是 充 分 运 行 系 统, 验 证 各 子 系 统 是 否 都 能 正 常 工 作 并 完 成 设 计 的 要 求 验 收 测 试 : 用 户 为 主, 开 发 人 员 参 与, 以 规 格 说 明 书 为 蓝 本 的 测 试 45

软 件 测 试 的 分 类 被 测 模 块 设 软 系 统 客 单 元 计 件 其 他 户 测 试 信 需 元 素 参 息 求 与 被 测 模 块 单 元 集 成 确 认 系 统 验 收 测 试 测 试 测 试 测 试 测 试 被 测 模 块 单 元 测 试 已 经 测 试 过 的 模 块 已 集 成 的 软 件 已 确 认 的 软 件 可 交 付 的 软 件 46

软 件 测 试 的 分 类 按 测 试 用 例 设 计 方 法 白 盒 测 试 也 称 结 构 测 试 或 逻 辑 驱 动 测 试 它 是 从 程 序 的 控 制 结 构 出 发 进 行 的 测 试, 测 试 程 序 中 的 每 条 通 路 是 否 都 有 能 按 预 定 要 求 正 确 工 作, 而 不 顾 它 的 功 能 黑 盒 测 试 又 称 功 能 测 试 数 据 驱 动 测 试 或 基 于 规 格 说 明 书 的 测 试, 是 一 种 从 用 户 观 点 出 发 的 测 试, 在 已 知 产 品 所 应 具 有 的 功 能, 通 过 测 试 来 检 测 每 个 功 能 是 否 都 能 正 常 使 用 灰 盒 测 试 是 介 于 白 盒 测 试 与 黑 盒 测 试 之 间 的 测 试, 灰 盒 测 试 关 注 输 出 对 于 输 入 的 正 确 性, 同 时 也 关 注 内 部 表 现, 但 这 种 关 注 不 象 白 盒 那 样 详 细 完 整, 只 是 通 过 一 些 表 征 性 的 现 象 事 件 标 志 来 判 断 内 部 的 运 行 状 态 47

软 件 测 试 的 分 类 按 实 施 对 象 : Alpha 测 试 ( 企 业 内 部 测 试 ): 是 由 用 户 在 开 发 环 境 下 进 行 的 测 试, 也 可 以 是 公 司 内 部 的 用 户 在 模 拟 实 际 操 作 环 境 下 进 行 的 受 控 测 试 Beta 测 试 ( 最 终 用 户 测 试 ): 是 软 件 的 多 个 用 户 在 实 际 使 用 环 境 下 进 行 的 测 试 第 三 方 测 试 ( 独 立 测 试 ) 48

软 件 测 试 的 分 类 按 执 行 方 式 人 工 测 试 : 手 工 执 行 的 测 试 ; 自 动 化 测 试 : 希 望 能 够 通 过 自 动 化 测 试 工 具 或 其 他 手 段, 按 照 测 试 工 程 师 的 预 定 计 划 进 行 自 动 的 测 试 如 : 负 载 测 试 性 能 测 试 可 靠 性 测 试 等 49

软 件 测 试 的 分 类 按 测 试 方 式 划 分 静 态 测 试 静 态 测 试 方 法 的 主 要 特 征 是 在 用 计 算 机 测 试 源 程 序 时, 计 算 机 并 不 真 正 运 行 被 测 试 的 程 序, 只 对 被 测 程 序 进 行 特 性 分 析 静 态 测 试 常 称 为 分 析, 静 态 分 析 是 对 被 测 程 序 进 行 特 性 分 析 的 一 些 方 法 的 总 称 动 态 测 试 动 态 测 试 方 法 的 主 要 特 征 是 计 算 机 必 须 真 正 运 行 被 测 试 的 程 序, 通 过 输 入 测 试 用 例, 对 其 运 行 情 况 ( 输 入 / 输 出 的 对 应 关 系 ) 进 行 分 析 50

软 件 测 试 的 分 类 按 测 试 形 态 (Testing Types)( 台 湾 许 育 诚 的 一 种 分 法 ): 建 构 性 测 试 (Construction Testing): 当 程 序 还 是 处 于 建 设 阶 段 时 所 进 行 的 测 试 ; 是 属 于 前 置 性 的 测 试, 它 主 要 是 偏 重 于 程 序 端 的 功 能 测 试, 以 确 保 程 序 执 行 运 行 正 常 系 统 测 试 (System Testing) : 是 针 对 系 统 的 行 为 来 做 测 试 ; 是 属 于 中 后 期 的 整 合 测 试, 所 进 行 的 测 试 是 以 使 用 者 的 观 点 为 主, 也 就 是 模 拟 外 界 世 界 的 使 用 者 会 如 何 的 使 用 产 品 特 殊 测 试 (Special Testing) : 根 据 产 品 的 本 质 特 性 来 安 排 或 剔 除 特 殊 测 试 51

软 件 测 试 的 分 类 建 构 性 测 试 包 括 : 单 步 测 试 尝 试 性 测 试 单 元 测 试 组 件 测 试 集 成 测 试 等 系 统 测 试 包 括 : 集 成 测 试 前 哨 测 试 功 能 测 试 设 置 测 试 发 行 测 试 验 收 测 试 等 特 殊 测 试 包 括 : 回 归 测 试 压 力 测 试 兼 容 性 测 试 性 能 测 试 Alpha 和 Beta 测 试 52

软 件 测 试 的 目 的 软 件 测 试 的 目 的 决 定 了 如 何 去 组 织 测 试 如 果 测 试 的 目 的 是 为 了 尽 可 能 多 地 找 出 错 误, 那 么 测 试 就 应 该 直 接 针 对 软 件 比 较 复 杂 的 部 分 或 是 以 前 出 错 比 较 多 的 位 置 如 果 测 试 目 的 是 为 了 给 最 终 用 户 提 供 具 有 一 定 可 信 度 的 质 量 评 价, 那 么 测 试 就 应 该 直 接 针 对 在 实 际 应 用 中 会 经 常 用 到 的 商 业 假 设 软 件 测 试 的 目 的 和 原 则 53

软 件 测 试 的 目 的 Grenford J. Myers 在 The Art of Software Testing 一 书 中 的 观 点 : 1 软 件 测 试 是 程 序 的 执 行 过 程, 目 的 在 于 发 现 错 误 ; 2 测 试 是 为 了 证 明 程 序 有 错, 而 不 是 证 明 程 序 无 错 误 3 一 个 好 的 测 试 用 例 是 在 于 它 能 发 现 至 今 未 发 现 的 错 误 ; 4 一 个 成 功 的 测 试 是 发 现 了 至 今 未 发 现 的 错 误 的 测 试 软 件 测 试 的 目 的 和 原 则 54

软 件 测 试 的 目 的 对 Myers 观 点 的 解 释 测 试 要 以 查 找 错 误 为 中 心, 而 不 是 为 了 演 示 软 件 的 正 确 功 能 但 发 现 错 误 并 不 是 软 件 测 试 的 唯 一 目 的 没 有 发 现 错 误 的 测 试 也 是 有 价 值 的, 完 整 的 测 试 是 评 定 测 试 质 量 的 一 种 方 法 详 细 而 严 谨 的 可 靠 性 增 长 模 型 可 以 证 明 这 一 点 例 如 Bev Littlewood 发 现 一 个 经 过 测 试 而 正 常 运 行 了 n 小 时 的 系 统 有 继 续 正 常 运 行 n 小 时 的 概 率 软 件 测 试 的 目 的 和 原 则 55

软 件 测 试 的 原 则 软 件 开 发 者 的 座 右 铭 : 尽 早 地 和 不 断 地 进 行 软 件 测 试 测 试 用 例 应 由 测 试 输 入 和 与 之 对 应 的 预 期 输 出 结 果 两 部 分 组 成 程 序 员 应 避 免 检 查 自 己 的 程 序 ( 注 意 不 是 指 对 程 序 的 调 试 ) 在 设 计 测 试 用 例 时, 应 当 包 括 合 理 的 输 入 条 件 和 不 合 理 的 输 入 条 件 不 合 理 的 输 入 条 件 是 指 异 常 的, 临 界 的, 可 能 引 起 问 题 异 变 的 输 入 条 件 妥 善 保 存 测 试 计 划, 测 试 用 例, 出 错 统 计 和 最 终 分 析 报 告, 为 维 护 提 供 方 便 测 试 无 法 显 示 潜 在 的 软 件 缺 陷 和 故 障 通 过 测 试 只 能 报 告 已 被 发 现 的 缺 陷 和 故 障, 无 法 报 告 隐 藏 的 软 件 故 障 软 件 测 试 的 目 的 和 原 则 56

软 件 测 试 的 原 则 完 全 测 试 是 不 可 能 的, 测 试 需 要 终 止 (1) 测 试 所 需 要 的 输 入 量 太 大 (2) 测 试 的 输 出 结 果 太 多 (3) 软 件 实 现 的 途 径 太 多 (4) 软 件 规 格 说 明 没 有 一 个 客 观 标 准 软 件 测 试 是 有 风 险 的 行 为, 要 针 对 风 险 做 出 抉 择 就 是 如 何 将 无 边 无 际 的 可 能 性 减 小 到 一 个 可 控 的 范 围, 以 及 如 何 针 对 软 件 风 险 做 出 恰 当 选 择, 去 粗 存 精, 找 到 最 佳 的 测 试 量, 使 得 测 试 工 作 量 不 多 也 不 少, 既 能 达 到 测 试 的 目 的, 又 能 较 为 经 济 57

软 件 测 试 的 原 则 软 件 缺 陷 故 障 数 量 遗 漏 缺 陷 数 目 优 化 测 试 量 测 试 费 用 测 试 中 测 试 后 测 试 工 作 量 图 测 试 工 作 量 和 软 件 缺 陷 数 量 之 间 的 关 系 58

软 件 测 试 的 原 则 充 分 注 意 测 试 中 的 群 集 现 象 经 验 表 明, 测 试 后 程 序 残 存 的 错 误 数 目 与 该 程 序 中 以 发 现 的 错 误 数 目 或 检 错 率 成 正 比 应 该 对 错 误 群 集 的 程 序 段 进 行 重 点 测 试 其 中 的 原 因 是 : 编 写 该 段 程 序 时, 程 序 员 情 绪 不 佳 心 情 不 好 ; 程 序 员 往 往 犯 同 样 的 错 误 ; 某 些 软 件 缺 陷 实 乃 冰 山 一 角 软 件 测 试 的 目 的 和 原 则 59

软 件 测 试 的 原 则 严 格 执 行 测 试 计 划, 排 除 测 试 的 随 意 性 测 试 计 划 应 包 括 : 所 测 软 件 的 功 能, 输 入 和 输 出, 测 试 内 容, 各 项 测 试 的 进 度 安 排, 资 源 要 求, 测 试 资 料, 测 试 工 具, 测 试 用 例 的 选 择, 测 试 的 控 制 方 法 和 过 程, 系 统 的 组 装 方 式, 跟 踪 规 则, 调 试 规 则, 以 及 回 归 测 试 的 规 定 等 等 以 及 评 价 标 准 应 当 对 每 一 个 测 试 结 果 做 全 面 的 检 查 对 测 试 结 果 要 有 一 个 确 认 过 程 A 测 出 的 错 误 由 B 确 认 严 重 的 错 误 可 召 开 评 审 会 进 行 讨 论 和 分 析 软 件 测 试 的 目 的 和 原 则 60

软 件 测 试 的 原 则 所 有 测 试 的 标 准 都 应 建 立 在 用 户 的 需 求 上 软 件 测 试 必 须 基 于 质 量 第 一 的 思 想 去 开 展 各 项 工 作, 当 时 间 和 质 量 冲 突 时, 时 间 服 从 质 量 并 非 所 有 软 件 缺 陷 都 要 修 复 原 因 : 没 有 足 够 的 时 间 进 行 修 复 ; 修 复 的 风 险 较 大 ; 不 值 得 修 复 ; 可 不 算 做 故 障 的 一 些 缺 陷 ; 杀 虫 剂 现 象 结 论 : 关 键 是 要 进 行 正 确 判 断 合 理 取 舍, 根 据 风 险 分 析 决 定 哪 些 故 障 必 须 修 复, 哪 些 故 障 可 以 不 修 复 软 件 测 试 的 目 的 和 原 则 61

软 件 测 试 过 程 对 于 各 种 测 试, 需 要 有 一 系 列 的 测 试 活 动 来 完 成 标 识 标 志 测 试 条 件 ( 确 定 测 试 什 么 ) 和 测 试 的 优 先 级 设 计 设 计 测 试 用 例 ( 确 定 怎 么 测 试 ) 开 发 开 发 测 试 ( 设 计 脚 本 数 据 等 ) 执 行 执 行 测 试 用 例 比 较 将 测 试 结 果 与 期 望 进 行 比 较 软 件 测 试 活 动 62

软 件 测 试 活 动 1 测 试 条 件 取 决 于 被 测 试 验 证 的 项 目 或 事 件 测 试 条 件 是 被 测 环 境 的 描 述, 可 以 用 多 种 方 式 描 述 : 如 简 单 的 语 言, 表 格 项 形 式 或 类 似 于 流 图 的 图 表 形 式 ; 标 识 测 试 条 件 的 活 动 最 好 与 开 发 活 动 ( 即 V 模 型 左 边 的 活 动 ) 并 行 开 展 2 设 计 测 试 用 例 (test case), 确 定 怎 样 测 试 测 试 是 从 大 量 的 测 试 用 例 中 选 择 有 限 的 测 试 用 例 发 现 软 件 中 的 大 部 分 缺 陷 的 一 种 技 术 测 试 用 例 是 按 一 定 顺 序 执 行 的 与 测 试 目 标 ( 测 试 理 由 或 目 的 ) 相 关 的 一 系 列 测 试 测 试 用 例 设 计 将 产 生 许 多 测 试 所 包 括 的 输 入 期 望 结 果 及 其 他 任 何 运 行 测 试 的 有 关 信 息, 如 环 境 要 求 软 件 测 试 活 动 63

软 件 测 试 活 动 2 设 计 测 试 用 例, 确 定 怎 样 测 试 ( 续 ) 期 望 输 出 包 括 应 输 出 或 建 立 的 内 容, 应 修 改 或 更 新 或 应 删 除 的 内 容 期 望 输 出 集 可 以 是 一 个 很 大 的 集 合 好 的 测 试 用 例 的 4 个 特 性 : 1. 检 测 软 件 质 量 的 有 效 性, 是 否 能 发 现 缺 陷, 或 至 少 可 能 发 现 缺 陷 ; 2. 可 仿 效 的 测 试 用 例 可 以 测 试 很 多 内 容, 因 而 减 少 测 试 用 例 的 数 量 ; 3. 经 济 性, 测 试 用 例 的 执 行 分 析 和 调 试 是 否 经 济 ; 4. 测 试 用 例 的 可 修 改 性, 每 次 软 件 修 改 后 对 测 试 用 例 的 维 护 成 本 软 件 测 试 活 动 64

软 件 测 试 活 动 3 开 发 测 试 用 例, 包 括 准 备 测 试 脚 本 测 试 输 入 测 试 数 据 以 及 期 望 输 出 测 试 脚 本 (test script) 是 具 有 正 规 语 法 的 数 据 和 指 令 的 集 合, 在 测 试 执 行 自 动 工 具 使 用 中, 通 常 以 文 件 形 式 保 存 ; 必 须 先 完 成 测 试 用 例 的 先 决 条 件, 然 后 再 执 行 测 试 测 试 用 例 可 能 要 求 专 门 的 硬 件 或 软 件, 如 网 络 环 境 或 打 印 机 等 ; 期 望 输 出 可 以 组 成 成 文 件 形 式 用 于 自 动 工 具 对 于 手 动 测 试, 期 望 输 出 仅 仅 只 是 简 单 地 记 录 在 手 工 测 试 过 程 或 脚 本 中 设 置 用 于 自 动 比 较 的 期 望 输 出 比 设 置 用 于 手 工 测 试 的 期 望 输 出 复 杂 得 多 在 自 动 工 具 中 要 求 每 项 内 容 都 要 拼 写 正 确, 而 在 手 工 测 试 中 要 求 没 这 么 严 格 测 试 开 发 的 任 何 工 作 可 以 提 前 进 行 ( 相 对 V 模 型 左 边 的 活 动 进 行 ), 以 后 可 以 节 省 时 间 软 件 测 试 活 动 65

软 件 测 试 活 动 4 执 行 测 试 用 例 对 于 手 动 测 试 来 讲, 测 试 者 按 事 先 准 备 好 的 手 工 过 程 进 行 测 试, 测 试 者 输 入 数 据 观 察 输 出 记 录 发 现 的 问 题 对 于 自 动 测 试, 可 能 只 需 要 启 动 测 试 工 具, 并 告 诉 工 具 执 行 哪 些 测 试 用 例 ; 软 件 测 试 活 动 66

软 件 测 试 活 动 5 将 测 试 结 果 与 期 望 输 出 进 行 比 较 应 该 对 每 次 测 试 的 实 际 输 出 进 行 分 析 研 究, 判 断 软 件 功 能 是 否 正 确 验 证 可 以 是 非 正 式 的 测 试 者 主 观 判 断, 也 可 以 是 将 实 际 输 出 与 期 望 输 出 进 行 严 格 准 确 的 比 较 一 些 信 息 比 较, 如 可 以 在 执 行 测 试 时 进 行 显 示 屏 幕 上 的 信 息, 另 一 些 输 出 比 较, 如 修 改 数 据 库 记 录, 只 能 在 测 试 执 行 结 束 后 进 行 自 动 测 试 一 般 结 合 了 这 两 种 方 法 软 件 测 试 活 动 67

测 试 信 息 流 程 测 试 信 息 流 程 如 图 所 示 测 试 过 程 中 需 要 三 类 输 入 : 软 件 配 置 测 试 配 置 和 测 试 工 具 回 归 测 试 软 件 配 置 测 试 配 置 测 试 结 果 错 误 测 试 结 果 分 析 改 正 错 误 修 正 的 软 件 测 试 结 果 测 试 工 具 预 期 结 果 可 靠 性 分 析 预 测 的 可 靠 性 图 测 试 信 息 流 程 软 件 测 试 活 动 68

软 件 测 试 的 周 期 性 软 件 测 试 的 周 期 性 是 测 试 -> 改 错 -> 再 测 试 -> 再 改 错 这 样 一 个 循 环 过 程, 如 下 图 所 示 串 行 方 式 开 发 者 : 测 试 周 期 改 错 测 试 周 期 改 错... 并 行 方 式 开 发 者 : 开 发 / 改 错 开 发 / 改 错 开 发 / 改 错 测 试 者 : 测 试 周 期 1 测 试 周 期 2 回 归 测 试 1 功 能 冻 结 最 终 回 归 测 试 代 码 冻 结 软 件 测 试 活 动 图 软 件 测 试 的 周 期 性 69

软 件 测 试 技 术 概 要 软 件 测 试 的 策 略 : 就 是 测 试 将 按 照 什 么 样 的 思 路 和 方 式 进 行 通 常, 软 件 测 试 要 经 过 单 元 测 试 集 成 测 试 确 认 测 试 系 统 测 试 以 及 验 收 测 试 软 件 测 试 技 术 : (1) 白 盒 测 试 和 黑 盒 测 试 (2) 静 态 测 试 和 动 态 测 试 (3) 传 统 测 试 方 法 和 面 向 对 象 测 试 的 方 法 (4) 特 定 环 境 及 应 用 的 测 试 70

软 件 测 试 误 区 如 果 发 布 的 软 件 有 质 量 问 题, 那 是 软 件 测 试 人 员 的 错 软 件 测 试 技 术 要 求 不 高, 至 少 比 编 程 容 易 多 了 有 时 间 就 多 测 试 一 些, 来 不 及 就 少 测 试 一 些 软 件 测 试 是 测 试 人 员 的 事, 与 开 发 人 员 无 关 根 据 瀑 布 模 型, 测 试 是 开 发 后 期 的 一 个 阶 段 软 件 测 试 误 区 71

软 件 测 试 人 员 应 具 备 的 素 质 软 件 测 试 员 在 开 发 团 队 中 讨 人 厌 软 件 测 试 员 的 目 标 发 现 潜 在 的 软 件 缺 陷 保 持 团 队 和 谐 的 建 议 尽 可 能 早 的 找 出 缺 陷 控 制 情 绪 不 要 总 是 报 告 坏 消 息 软 件 测 试 人 员 应 具 备 的 素 质 72

软 件 测 试 人 员 应 具 备 的 素 质 软 件 测 试 员 应 具 备 的 素 质 : (1) 探 索 精 神 (2) 故 障 排 除 能 力 (3) 不 懈 努 力 (4) 创 造 性 (5) 追 求 完 美 (6) 判 断 准 确 (7) 老 练 稳 重 (8) 说 服 力 软 件 测 试 人 员 应 具 备 的 素 质 73

软 件 测 试 的 模 型 软 件 测 试 模 型 则 是 软 件 测 试 的 工 作 框 架, 用 于 指 导 软 件 测 试 过 程. V 模 型 W 模 型 H 模 型 X 模 型 前 置 模 型 测 试 模 型 的 使 用 软 件 测 试 的 模 型 74

软 件 测 试 的 模 型 - V 模 型 软 件 测 试 的 模 型 75

软 件 测 试 的 模 型 - V 模 型 V 模 型 描 述 了 不 同 的 测 试 级 别 V 模 型 描 述 了 一 些 不 同 的 测 试 级 别, 并 说 明 了 这 些 级 别 所 对 应 的 生 命 周 期 中 不 同 的 阶 段 如 模 型 图 中 所 示, 左 边 下 降 的 是 开 发 过 程 各 阶 段, 与 此 相 对 应 的 是 右 边 上 升 的 部 分, 即 各 测 试 过 程 的 各 个 阶 段 在 模 型 图 中 的 开 发 阶 段 一 侧, 先 从 定 义 业 务 需 求 开 始, 然 后 要 把 这 些 需 求 不 断 地 转 换 到 概 要 设 计 和 详 细 设 计 中 去, 最 后 开 发 为 程 序 代 码 在 测 试 执 行 阶 段 一 侧, 执 行 先 从 单 元 测 试 开 始, 然 后 是 集 成 测 试 系 统 测 试 和 验 收 测 试 成 功 应 用 V 模 型 的 关 键 因 素 是 设 计 测 试 案 例 的 时 机 76

软 件 测 试 的 模 型 - V 模 型 V 模 型 的 价 值 它 非 常 明 确 地 标 明 了 测 试 过 程 中 存 在 的 不 同 级 别, 并 且 清 楚 地 描 述 了 这 些 测 试 阶 段 和 开 发 过 程 期 间 各 阶 段 的 对 应 关 系 : 单 元 测 试 的 主 要 目 的 是 针 对 编 码 过 程 中 可 能 存 在 的 各 种 错 误, 例 如 用 户 输 入 验 证 过 程 中 的 边 界 值 的 错 误 集 成 测 试 主 要 目 的 是 针 对 详 细 设 计 中 可 能 存 在 的 问 题 尤 其 是 检 查 各 单 元 与 其 它 程 序 部 分 之 间 的 接 口 上 可 能 存 在 的 错 误 系 统 测 试 主 要 针 对 概 要 设 计, 检 查 了 系 统 作 为 一 个 整 体 是 否 有 效 地 得 到 运 行, 例 如 在 产 品 设 置 中 是 否 达 到 了 预 期 的 高 性 能 验 收 测 试 通 常 由 业 务 专 家 或 用 户 进 行, 以 确 认 产 品 能 真 正 符 合 用 户 业 务 上 的 需 要 77

软 件 测 试 的 模 型 - V 模 型 V 模 型 问 题 测 试 是 开 发 之 后 的 一 个 阶 段 测 试 的 对 象 是 程 序 本 身 易 导 致 需 求 阶 段 的 错 误 一 直 到 最 后 系 统 测 试 阶 段 才 被 发 现 如 果 问 题 不 能 及 时 被 发 现, 这 些 隐 含 的 问 题 也 被 带 到 下 一 个 工 序, 正 确 的 设 计 被 编 码, 错 误 的 设 计 也 同 时 被 编 码 78

软 件 测 试 的 模 型 - W 模 型 V 模 型 测 试 的 改 进, 在 概 要 设 计 详 细 设 计 和 编 码 每 个 步 骤 都 要 进 行 检 测 尽 量 把 问 题 及 时 发 现 及 时 消 灭 W 模 型 是 基 于 IEEE std 1012-1998 软 件 验 证 和 确 认 (V&V) 原 则 提 出 此 原 则 主 要 思 想 是 尽 早 地 和 不 断 地 进 行 软 件 测 试 79

软 件 测 试 的 模 型 - W 模 型 80

81

软 件 测 试 的 模 型 - W 模 型 测 试 伴 随 整 个 开 发 周 期 相 应 开 发 活 动 完 成, 即 可 对 相 应 开 发 活 动 进 行 测 试 测 试 对 象 不 仅 是 程 序, 还 包 括 需 求 和 设 计 优 点 强 调 了 测 试 计 划 等 工 作 的 先 行 和 对 系 统 需 求 和 设 计 的 测 试 缺 点 没 有 对 软 件 测 试 流 程 予 以 说 明 82

软 件 测 试 的 模 型 - H 模 型 V 模 型 和 W 模 型 的 局 限 软 件 开 发 被 视 为 一 系 列 串 行 活 动 实 际 上, 大 部 分 时 间 可 并 发 软 件 开 发 中, 严 格 的 阶 段 划 分 只 是 一 种 理 想 状 态 实 际, 只 要 测 试 条 件 满 足, 就 可 进 行 测 试 不 同 层 次 测 试 之 间 除 了 先 后 关 系 外, 还 有 触 发 反 复 迭 代 和 增 量 关 系 没 有 很 好 地 表 示 测 试 流 程 的 完 整 性 测 试 流 程 大 致 可 分 为 测 试 准 备 活 动 ( 包 括 测 试 需 求 分 析 测 试 计 划 测 试 设 计 测 试 编 码 和 测 试 验 证 ) 和 测 试 执 行 活 动 ( 包 括 测 试 运 行 测 试 分 析 和 测 试 报 告 ) 83

软 件 测 试 的 模 型 - H 模 型 H 模 型 将 测 试 作 为 一 个 独 立 流 程, 贯 穿 整 个 开 发 周 期, 与 其 他 流 程 并 行, 同 时 测 试 准 备 和 测 试 执 行 分 离 84

软 件 测 试 的 模 型 - H 模 型 H 模 型 特 性 测 试 不 仅 仅 指 测 试 的 执 行, 还 包 括 许 多 其 他 活 动 ; 测 试 是 一 个 独 立 流 程, 贯 穿 产 品 整 个 生 命 周 期 ; 与 其 它 流 程 并 发 进 行 测 试 要 尽 早 准 备, 尽 早 执 行 测 试 是 根 据 被 测 对 象 的 不 同 而 分 层 进 行 意 义 测 试 准 备 和 测 试 执 行 分 离, 有 利 于 资 源 调 配, 降 低 成 本, 提 高 效 率 充 分 体 现 测 试 过 程 ( 不 是 技 术 ) 的 复 杂 性 有 组 织 有 结 构 化 的 独 立 流 程, 有 助 于 跟 踪 测 试 投 入 的 流 向 85

软 件 测 试 的 模 型 - X 模 型 X 模 型 X 模 型 基 本 思 想 由 Brian Marick( 软 件 子 系 统 测 试 的 作 者 ) 提 出, Robin F.Goldsmith(Go 项 目 管 理 咨 询 公 司 的 总 裁 ) 命 名 Brian Marick 对 V 模 型 的 质 疑 主 要 有 : V 模 型 无 法 引 导 项 目 的 全 过 程 他 认 为 一 个 模 型 应 能 处 理 开 发 的 所 有 方 面, 包 括 交 接, 频 繁 重 复 的 集 成, 以 及 需 求 文 档 的 缺 乏 等 V 模 型 基 于 一 套 必 须 按 照 一 定 顺 序 严 格 排 列 的 开 发 步 骤, 而 这 很 可 能 并 没 有 反 映 实 际 的 实 践 过 程 质 疑 了 单 元 测 试 和 集 成 测 试 的 区 别, 因 为 在 某 些 场 合 人 们 可 能 会 跳 过 单 元 测 试 而 热 衷 于 直 接 进 行 集 成 测 试 按 照 V 模 型 所 指 导 的 步 骤 进 行 工 作, 某 些 做 法 并 不 切 合 实 用 86

87

软 件 测 试 的 模 型 - X 模 型 X 模 型 的 左 边 描 述 的 是 针 对 单 独 程 序 片 段 所 进 行 的 相 互 分 离 的 编 码 和 测 试 此 后 将 进 行 频 繁 的 交 接, 通 过 集 成 最 终 合 成 为 可 执 行 的 程 序 ( 右 上 半 部 分 ), 这 些 可 执 行 程 序 还 需 要 进 行 测 试 已 通 过 集 成 测 试 的 成 品 可 以 进 行 封 版 并 提 交 给 用 户, 也 可 以 作 为 更 大 规 模 和 范 围 内 集 成 的 一 部 分 多 根 并 行 的 曲 线 表 示 变 更 可 以 在 各 个 部 分 发 生 88

软 件 测 试 的 模 型 - X 模 型 X 模 型 还 定 位 了 探 索 性 测 试 ( 右 下 方 ) 这 是 不 进 行 事 先 计 划 的 特 殊 类 型 的 测 试, 诸 如 我 这 么 测 一 下 结 果 会 怎 么 样?, 这 一 方 式 往 往 能 帮 助 有 经 验 的 测 试 人 员 在 测 试 计 划 之 外 发 现 更 多 的 软 件 错 误.X 模 型 及 其 探 索 性 测 试 的 提 倡 也 是 为 了 避 免 把 大 量 时 间 花 费 在 测 试 文 档 编 写 上 面, 那 样 的 话, 真 正 用 于 测 试 的 时 间 就 减 少 了 89

软 件 测 试 的 模 型 - X 模 型 V 模 型 的 一 个 强 项 是 它 明 确 的 需 求 角 色 的 确 认, 而 X 模 型 没 有 这 么 做, 这 是 X 模 型 的 一 个 不 足 之 处 X 模 型 并 不 要 求 在 进 行 作 为 创 建 可 执 行 程 序 ( 图 中 右 上 方 ) 的 一 个 组 成 部 分 的 集 成 测 试 之 前, 对 每 一 个 程 序 片 段 都 进 行 单 元 测 试 ( 图 中 左 侧 的 行 为 ) 但 X 模 型 没 能 提 供 是 否 要 跳 过 单 元 测 试 的 判 断 准 则 90

软 件 测 试 的 模 型 - 前 置 测 试 模 型 前 置 测 试 模 型 由 Robin F. Goldsmith,Dorothy Graham 提 出, 是 一 个 将 测 试 和 开 发 紧 密 结 合 的 模 型, 该 模 型 提 供 了 轻 松 的 方 式, 可 以 使 你 的 项 目 加 快 速 度 V 模 型 和 X 模 型 是 当 前 被 测 试 专 家 所 推 崇 的 主 要 的 测 试 模 型 前 置 测 试 从 V 模 型 和 X 模 型 中 汲 取 其 中 精 华, 并 设 法 弥 补 了 它 们 的 不 足 之 处 虽 然 前 置 测 试 也 不 是 完 美 的, 但 它 可 以 带 来 明 显 的 益 处 91

92

软 件 测 试 的 模 型 - 前 置 测 试 模 型 开 发 和 测 试 相 结 合 前 置 测 试 模 型 将 开 发 和 测 试 的 生 命 周 期 整 合 在 一 起, 标 识 了 项 目 生 命 周 期 从 开 始 到 结 束 之 间 的 关 键 行 为 并 且 表 示 了 这 些 行 为 在 项 目 周 期 中 的 价 值 所 在 如 果 其 中 有 些 行 为 没 有 得 到 很 好 的 执 行, 那 么 项 目 成 功 的 可 能 性 就 会 因 此 而 有 所 降 低 如 果 有 业 务 需 求, 则 系 统 开 发 过 程 将 更 有 效 率 业 务 需 求 最 好 在 设 计 和 开 发 之 前 就 被 正 确 定 义 93

软 件 测 试 的 模 型 - 前 置 测 试 模 型 对 每 一 个 交 付 内 容 进 行 测 试 : 每 一 个 交 付 的 开 发 结 果 都 必 须 通 过 一 定 的 方 式 进 行 测 试 源 程 序 代 码 并 不 是 唯 一 需 要 测 试 的 内 容 在 图 中 的 圆 圈 表 示 了 其 它 一 些 要 测 试 的 对 象, 包 括 可 行 性 报 告 业 务 需 求 说 明, 以 及 系 统 设 计 文 档 等 这 同 V 模 型 中 开 发 和 测 试 的 对 应 关 系 是 相 一 致 的, 并 且 在 其 基 础 上 有 所 扩 展, 变 得 更 为 明 确 94

软 件 测 试 的 模 型 - 前 置 测 试 模 型 在 设 计 阶 段 进 行 计 划 和 测 试 设 计 : 设 计 阶 段 是 做 测 试 计 划 和 测 试 设 计 的 最 好 时 机 很 多 组 织 要 么 根 本 不 做 测 试 计 划 和 测 试 设 计, 要 么 在 即 将 开 始 执 行 测 试 之 前 才 飞 快 完 成 测 试 计 划 和 设 计 在 这 种 情 况 下, 测 试 只 是 验 证 了 程 序 的 正 确 性, 而 不 是 验 证 整 个 系 统 本 该 实 现 的 东 西 在 V 模 型 中, 验 收 测 试 最 早 被 定 义 好, 并 在 最 后 执 行, 以 验 证 所 交 付 的 系 统 是 否 真 正 符 合 用 户 业 务 的 需 求 与 V 模 型 不 同 的 是, 前 置 测 试 模 型 认 识 到 验 收 测 试 中 所 包 含 的 3 种 成 份, 其 中 的 2 种 都 与 业 务 需 求 定 义 相 联 系 : 即 定 义 基 于 需 求 的 测 试, 以 及 定 义 验 收 标 准 但 是, 第 三 种 则 需 要 等 到 系 统 设 计 完 成, 因 为 验 收 测 试 计 划 是 由 针 对 按 设 计 实 现 的 系 统 来 进 行 的 一 些 明 确 操 作 定 义 所 组 成, 这 些 定 义 包 括 : 如 何 判 断 验 收 标 准 已 经 达 到, 以 及 基 于 需 求 的 测 试 已 算 成 功 完 成 95

软 件 测 试 的 模 型 - 前 置 测 试 模 型 技 术 测 试 主 要 是 针 对 开 发 代 码 的 测 试, 例 如 V 模 型 中 所 定 义 的 动 态 的 单 元 测 试, 集 成 测 试 和 系 统 测 试 另 外, 前 置 测 试 还 提 示 我 们 应 增 加 静 态 审 查 还 有 特 别 测 试, 并 把 该 名 称 作 为 很 多 测 试 的 一 个 统 称, 这 些 测 试 包 括 负 载 测 试 安 全 性 测 试 可 用 性 测 试 等 等 对 技 术 测 试 最 基 本 的 要 求 是 验 证 代 码 的 编 写 和 设 计 的 要 求 是 否 相 一 致 一 致 的 意 思 是 系 统 确 实 提 供 了 要 求 提 供 的, 并 且 系 统 并 没 有 提 供 不 要 求 提 供 的 技 术 测 试 在 设 计 阶 段 进 行 计 划 和 设 计, 并 在 开 发 阶 段 由 技 术 部 门 来 执 行 96

软 件 测 试 的 模 型 - 前 置 测 试 模 型 测 试 和 开 发 结 合 在 一 起 : 前 置 测 试 将 测 试 执 行 和 开 发 结 合 在 一 起, 并 在 开 发 阶 段 以 编 码 - 测 试 - 编 码 - 测 试 的 方 式 来 体 现. 也 就 是 说, 程 序 片 段 一 旦 编 写 完 成, 就 会 立 即 进 行 测 试 普 通 情 况 下, 先 进 行 的 测 试 是 单 元 测 试, 因 为 开 发 人 员 认 为 通 过 测 试 来 发 现 错 误 是 最 经 济 的 方 式 但 也 可 参 考 X 模 型, 即 一 个 程 序 片 段 也 需 要 相 关 的 集 成 测 试, 甚 至 有 时 还 需 要 一 些 特 殊 测 试 对 于 一 个 特 定 的 程 序 片 段, 其 测 试 的 顺 序 可 以 按 照 V 模 型 的 规 定, 但 其 中 还 会 交 织 一 些 程 序 片 段 的 开 发, 而 不 是 按 阶 段 完 全 地 隔 离 97

软 件 测 试 的 模 型 - 前 置 测 试 模 型 让 验 收 测 试 和 技 术 测 试 保 持 相 互 独 立 : 验 收 测 试 应 该 独 立 于 技 术 测 试, 这 样 可 以 提 供 双 重 的 保 险, 以 保 证 设 计 及 程 序 编 码 能 够 符 合 最 终 用 户 的 需 求 验 收 测 试 既 可 以 在 实 施 阶 段 的 第 一 步 来 执 行, 也 可 以 在 开 发 阶 段 的 最 后 一 步 执 行 前 置 测 试 模 型 提 倡 验 收 测 试 和 技 术 测 试 沿 循 2 条 不 同 的 路 线 来 进 行, 每 条 路 线 分 别 地 验 证 系 统 是 否 能 够 如 预 期 的 设 想 进 行 正 常 工 作 这 样, 当 单 独 设 计 好 的 验 收 测 试 完 成 了 系 统 的 验 证, 我 们 即 可 确 信 这 是 一 个 正 确 的 系 统 98

软 件 测 试 的 模 型 - 前 置 测 试 模 型 反 复 交 替 的 开 发 和 测 试 : 开 发 和 测 试 需 要 一 起 反 复 交 替 地 执 行 在 项 目 中 从 很 多 方 面 可 以 看 到 变 更 的 发 生, 例 如 需 要 重 新 访 问 前 一 阶 段 的 内 容, 或 者 地 跟 踪 并 纠 正 以 前 提 交 的 内 容, 修 复 错 误, 排 除 多 余 的 成 分, 以 及 增 加 新 发 现 的 功 能, 等 等 模 型 并 没 有 明 确 指 出 参 与 的 系 统 部 分 的 大 小 这 一 点 和 V 模 型 中 所 提 供 的 内 容 相 似 不 同 的 是, 前 置 测 试 模 型 对 反 复 和 交 替 进 行 了 非 常 明 确 的 描 述 99

软 件 测 试 的 模 型 - 前 置 测 试 模 型 发 现 内 在 的 价 值 : 前 置 测 试 能 给 需 要 使 用 测 试 技 术 的 开 发 人 员 测 试 人 员 项 目 经 理 和 用 户 等 带 来 很 多 不 同 于 传 统 方 法 的 内 在 的 价 值 与 以 前 的 方 法 中 很 少 划 分 优 先 级 所 不 同 的 是, 前 置 测 试 用 较 低 的 成 本 来 及 早 发 现 错 误, 并 且 充 分 强 调 了 测 试 对 确 保 系 统 的 高 质 量 的 重 要 意 义 前 置 测 试 代 表 了 整 个 对 测 试 的 新 的 不 同 的 观 念 在 整 个 开 发 过 程 中, 我 们 反 复 使 用 了 各 种 测 试 技 术 以 使 开 发 人 员 经 理 和 用 户 节 省 其 时 间, 简 化 其 工 作 100

前 置 测 试 模 型 内 在 的 价 值 通 常 情 况 下, 开 发 人 员 会 将 测 试 工 作 视 为 阻 碍 其 按 期 完 成 开 发 进 度 的 额 外 的 负 担 然 而, 当 提 前 定 义 好 该 如 何 对 程 序 进 行 测 试 以 后, 可 能 会 使 开 发 人 员 将 节 省 至 少 20% 的 时 间 虽 然 开 发 人 员 很 少 意 识 到 他 们 的 时 间 是 如 何 分 配 的, 也 许 他 们 只 是 感 觉 到 有 一 大 块 时 间 从 重 新 修 改 中 节 省 下 来 可 用 来 进 行 其 它 的 开 发 保 守 地 说, 在 编 码 之 前 对 设 计 进 行 测 试 可 以 节 省 总 共 将 近 一 半 的 时 间, 这 可 以 从 以 下 方 面 体 现 出 来 : 101

前 置 测 试 模 型 内 在 的 价 值 针 对 设 计 的 测 试 编 写 是 检 验 设 计 的 一 个 非 常 好 的 方 法, 由 此 可 以 及 时 避 免 因 为 设 计 不 正 确 而 造 成 的 重 复 开 发 及 代 码 修 改 通 常 情 况 下, 这 样 的 测 试 可 以 使 设 计 中 的 逻 辑 缺 陷 凸 显 出 来 另 一 方 面, 编 写 测 试 用 例 还 能 揭 示 设 计 中 比 较 模 糊 的 地 方 总 的 来 说, 如 果 你 不 能 勾 画 出 如 何 对 程 序 进 行 测 试, 那 么 程 序 员 很 可 能 也 很 难 确 定 他 们 所 开 发 的 程 序 怎 样 才 算 是 正 确 的 测 试 工 作 先 于 程 序 开 发 而 进 行, 这 样 可 以 明 显 地 看 到 程 序 应 该 如 何 工 作, 否 则, 如 果 要 等 到 程 序 开 发 完 成 后 才 开 始 测 试, 那 么 测 试 只 是 查 验 开 发 人 员 的 代 码 是 如 何 运 行 的 而 提 前 的 测 试 可 以 帮 助 开 发 人 员 立 刻 得 到 正 确 的 错 误 定 位 102

前 置 测 试 模 型 内 在 的 价 值 在 测 试 先 于 编 码 的 情 况 下, 开 发 人 员 可 以 在 一 完 成 编 码 时 就 立 刻 进 行 测 试 而 且, 会 更 有 效 率, 在 同 一 时 间 内 能 够 执 行 更 多 的 现 成 的 测 试, 开 发 人 员 的 思 路 也 不 会 因 为 去 搜 集 测 试 数 据 而 被 打 断 即 使 是 最 好 的 程 序 员, 从 他 们 各 自 的 观 念 出 发, 也 常 常 会 对 一 些 看 似 非 常 明 确 的 设 计 说 明 产 生 不 同 的 理 解 如 果 他 们 能 参 考 到 测 试 的 输 入 数 据 及 输 出 结 果 要 求, 就 可 以 帮 助 他 们 及 时 纠 正 理 解 上 的 误 区, 使 其 在 一 开 始 就 编 写 出 正 确 的 代 码 前 置 测 试 定 义 了 如 何 在 编 码 之 前 对 程 序 进 行 测 试 设 计, 开 发 人 员 一 旦 体 会 到 其 中 的 价 值, 就 会 对 其 表 现 出 特 别 的 欣 赏 前 置 方 法 不 仅 能 节 省 时 间, 而 且 可 以 减 少 那 些 令 他 们 十 分 厌 恶 的 重 复 工 作 103

测 试 模 型 的 使 用 任 何 模 型 都 不 完 美, 不 应 为 了 使 用 模 型 而 照 搬 实 测 中, 应 灵 活 运 用 各 模 型 优 点, 通 常 在 W 模 型 框 架 下, 运 用 H 模 型 的 思 想 进 行 独 立 测 试 当 有 变 更 时, 按 X 模 型 和 前 置 模 型 的 思 想 进 行 处 理 测 试 和 开 发 密 不 可 分, 寻 找 恰 当 的 就 绪 点 开 始 测 试, 并 反 复 进 行 迭 代 测 试, 以 达 目 标 104