计算机软件测试技术浅谈

在 网络 资源 部署 上 ，强调 方 便易 用 ，符合 学 生的认 知 习惯 。 方面 ，在 平 台上加 入 站 内地 图和站 内搜 索功 能 ，使 网站 资源 归 类 有序 ，方 便 学生 快速 查找 、定 位 到所 需资源 ；另一 方面 ，对 教 学 内容 重新 进行 整合 ，以工作 过 程为 导 向划分 教 学模 块 ，使教 学 内容更 加系 统 化， 方便 学生对 内容的整 体 认识 。 ２资源 优质 。 ． 放 入 网络平 台上 的课 程 资源 都是 经过 课程 组老 师 高度加 工 制 作 完成 的成 品 ，既包 含 学 习课 件 、学 习案 例等 文 本资源 ，也包 含 课程 教 学视 频等 ，更加 适合 于不 同学 习者 。 文本 资源 的整 合 上 ， 在 注 重 图文 并茂和 内容 的条 理 性 。一是 表述 更加 形象 、生动 ，二 是 充 分调 动 学生 的注 意力 ，提 高学 生学 习兴 趣 。而在 视频 资源 的 录 制 和整 理上 ， 改变 传 统课 堂每 次课 ４ 应 ５分钟 的制作 习惯 ， 改为 最 多不 超过 １ 分 钟 的一个 个 的微小 课程 ，短小精 悍 ， 点讲 述一 个 Ｏ 重 内容。因为学生很难在电脑面前，抵制所有的网络诱惑，持续观 看教学视频 ４ ５分钟 。 ３可 管理 。 ． 网络 教学 平 台是一个 动态 网站 ， 一个 强大 的后 台 管理系 统 ， 有 可 及 时更 新教 学资源 。同时 网站 还建 有学 生 自我 管理 单元 ， 自动 记 录 每一 个学 生的 学 习进 度 ，方 便学 生的 自我 管理 ４可交 流 。 ． 网站 建有 论坛 ，方便 师 生 、生生 之 间进行 学 习交流 ，同时 可 利用 Ｏ Ｃ Ｉ Ｑ等即时通讯软件进行时时交流 。 （ ）改变 教 学评价 模式 ，注 重 学生 能力培 养 四 高职院校的培养方案中主要是提高学生的实际动手能力，重
实 现 了用户 的要 求 ，确立 人们 对软 件质 量 的信 心 。 二 、软 件质 量保 证 与软件 测试 人 们对 计算机 的依赖 程度 与 日俱 增 ，市面 上软 件 的数 量呈 爆 炸 性 的增长 ，像 诸如 空 中交通 管 制系 统 ，火箭 卫星 飞 行系 统 ，地 震监 测 系统 等都 是非 常复 杂 的软件 系 统 。保障 软件 的质 量 ， 当下 面对 的 问题就 是 软件 系统 越来 越 复杂 ，加 之面 向对 象软 件 开发 等 方法 的 出现 和 Ｉ ＤＥ的使用 ， 使得 软件质 量 更加 难 以度量 。 软件 质量 保证 涉 及软 件开 发周 期 的每 个阶 段 ，保证 软件 质 量 的方 法很 多 ， 庸置 疑 ， 毋 软件 测试 是其 中非常 有效 和关 键 的方 法 。
随后 “ 量 ”的号 角开 始 吹响 。 质 人 们 对软 件测 试 的定义 不 断演化 ，Ｅ Ｅ标准 ６ ０１．９０“ ＩＥ １． １９ ，软 ２
件 工程 专 门术 语的 ＩＥ 标准 词汇 表 ”将 软件 测试 进行 了这 样 的 ＥＥ 定义：
三、软件测试用例生成技术相关研究
（ ）基 于 路径 覆盖 的测试 用 例生 成技 术 一 该技 术属 于 白盒测 试 的 范畴 。方法 主 要有 三种 ， 分别 是基 于
输入 值 ，直至 找 到使 程序 沿指 定路径 执 行 的测试 数据 。 基于 目标 路 径 的方法 ，Ｇ ｐａ提 出了迭 代逼 近 法 ，通 过选 择 ｕｔ
一
３适 用性 测 试 ：在 指定 使用 条 件下 ，产 品被 理解 、 学 习、 使 ．
用 和 吸 引用户 的能 力 。
４健 壮性 测 试 ：指软 件 系统 在 异常 输入 或 异常 动 作情 况 下 的 ．
计 算机 光盘 软件 与应 用
２１ 第 １ ０ ２年 １期 Ｃ ｍ ｕ ｅ Ｄ Ｓ ｆｗ ｒ ｎ Βιβλιοθήκη Baidu ｐ １ｃ ｔ０ ｓ ｏ ｐ ｔ ｒ Ｃ ｏ ｔａ ｅａ ｄＡ ｐ ｉ ａ ｉ ｎ 工 程 技 术
计算机软件测试技术浅谈
李翼 ，陈创 （ 四川大学 ，成都 ６０ ２ ） １ ２ ５
集 ，用高斯消去法求解该约束集 ，获得一个输入增量，最终产生
选定 路径 的 测试数 据 。 （ ）组 合测 试 用例 生成 技术 二
旨在 生成 较 少的测 试用 例 有效 的检 测 软件 系统 中 的各 因素及 其 相 互作 用对 系统 产 生的 影响 ，具 有较 高 的错 误检 错 能力 。如今 两两 组合 覆 盖方法 已经得 到广 泛应 用 ，使 用该 方法 可 以发现 很 多 传 统 方法 难 以发现 的错 误 ，但 该方 法仍 存在 着 一些 局 限 ，这 一课
摘 要 ：随着人 们对 软件 质 量越 来越 重视 ，使 得作 为保 证软 件 质量 重要 手段 之 一的软 件 测试 也越 来越 引起 人们 的关 注。 本 文 简述 了软件 测试 的 定义 等基 本概 念 ，指 出了软 件质 量保 证 与软 件测 试 间的 关 系 ，简要 概 括 了 ３种软 件 测试 用例 的 生成
软 件 测试 理论 在 １７ 年 由 Ｇｏｄ ｎｕ ｈ首次 提 出 ， ９５ ｏ ｏ ｇ ｅ 尽管 当 时 对 “ 件 测试 ”的真正 含义 还缺 乏共 识 ，但 这～ 词条 已经 频繁 出 软 现 。 ９２年 ， 一次 软件 测试 技术 大会 在美 国北 卡 莱纳 大学 召开 ， １８ 第
综 述 ｍ． 中国 电力教 育， １ ， ２ １３ ０ １
（ 接第 １３页 ） 上 １
间接 口的 错误 。
试 、负载 测试 和 压力 测试 。 （ ）其 他 测试 技术 四
（ ）系统测试：将软件系统与系统中的其它部分 （ ３ 硬件 、
信 息 ）集 成起 来 ，以保证 各组 成部 分不 仅 能单独 受到 检验 ，而且 在 系 统各 部分 协调 工作 的环 境下 也能 正常 工作 。 （ ）验 收测 试 ： 以用 户 为 中心 ，软 件 开发 人 员和质 量保 证 ４
在 指 定 的条件 下操 作测 试 系统 或组 件 ，观察 或记 录 结果 ，并
对 测试 系 统或 组件 的不 同方 面做 出评 估 的过程 。 （ ）应 用 目标／ 一 特性
符号 执行 的 、基 于程 序实 际执 行 的和 基于 目标 路径 的测 试 用例 生
成。
基于 符 号执 行是 指 以符号 计算 代 替实 际输 入 的测试 数据 值 ， 由多 个不 等式 组 成 ，通 过 求解 不 等式来 产 生满 足特 定路 径 的测 试
数据 。
１ ． 可靠性测试：软件系统在规定的时间内及特定的环境条件
下 ，完成 规定 功 能的能 力 。 ２安 全性 测 试 ：验证 软 件 系统 的安 全 服务 和识 别 潜在 安 全性 ．
缺 陷 的过 程 。
基于 程序 实 际执 行 的方法 中 ， ｏｅ提 出了分 支 函数极 小化 的 Ｋ ｒｌ 方法 。对 于 不满足 要 求 的分支 ，利 用分 支 函数 极 小化 ，确 定新 的
容 错和 恢 复能 力 。 ５功 能测 试 ：根 据规 格 说 明书 对产 品 的各 功 能进 行验 证 ，检 ． 查 产 品是 否达 到用 户要 求 的功 能。 ６性 能测 试 ：验 证软 件 系统 是 否达 到用 户 提 出的 性能 指标 ， ．
系 列与 所选 路径 谓 词相 关 的语句 进行 迭代 ，得 到一个 线性 约 束
技 术 ，介 绍 了软件 测试 所使 用 的相 关技 术。 关键词 ：质量保 证 ；测 试 用例 ；黑 盒测 试 ；白盒 测试
中图分类号：Ｔ ３３０ 文献标识码：Ａ 文章编号 ：１０ — ５９ ２１） １ ０ １一 ２ Ｐ９． ７ ０７ ９９ （０２ １～ １３ ｏ
一
、
软件 测试 的概 念
同时发 现 系统 中存在 的性 能瓶 颈 ， 目的在 于优 化系 统 。
（ ） 目的 二 ，
软 件 测试 的 目的在 于发 现错 误 。通俗 的讲 ，从用 户 的角度 出
发 ，就 是希 望通 过软 件测 试暴 露 软件 中 隐藏 的错误 和 缺 陷 ，以考 题 很 多人 在研 究 ，至今 还没 得 到完美 解 决 。 虑 是否 可接 受 该产 品；从 软 件开 发者 的角 度 出发 ，则 希望 软件 测
试 成为 表 明软件 产 品中 不存 在错 误 的过程 ，验 证 该软 件 已正确 地 （ ）面 向对 象测 试用 例 生成技 术 三
面 向对 象 测试 用例 生成 技 术通 常是 根据 程序 内部结 构和 规 范
自动或 半 自动 的生 成测 试用 例 。主 要有 两种 方法 ，分 别 是基 于外
（ ） 成 测试 ：在 单元测 试 基础 上 ，当模 块组 装后 查 找模块 ２集
（ 下转 第 １５页 ） １
一
１３— １
计 算 机光 盘软 件 与应用
２ １ 第 １ 期 ０ ２年 １
Ｃ ｍ ｕ ｅ Ｄ Ｓ ｆ ｗ ｒ ｎ ｐ ｌ ｅ ｔ ｏ ｓ ｏ ｐ ｔ ｒ Ｃ ｏ ｔ ａ ｅ ａ ｄ Ａ ｐ ｉ ａ ｉｎ 工 程 技 术
现在 越来 越 多 的公司 开始 重视 软件 测 试这 一块 ，有些 软件 开发 机
构如 微软 据 说其 软件 测试 的人 员 甚至 是软 件 开发 人员 的两 倍 。虽 然人 们也 在用 形 式化 描述 或是 模 型化 方法 来保 障软 件质 量 ，但 这 些方 法存 在 一定 局 限性 ，因此 ， 软件测 试 在今 后较 长 时间 内将 是 保证 软件 质 量 的重要 手段 。
五 、结 束语 网络环 境下 的 自主 学习 是在 教师 的 引导 下 ，学生 利用 网络 环
境提 供 的教 学 资源平 台主动 的、 有主 见 的探索 性 学 习。它 打破 了 传 统教 学 中 以教 为 中心 的教 学模 式 ，走 向 以学生 中心 ，充 分发 挥 学 生 的主观 能动 性和 创造 性 ，通 过 自主查 阅 资料 、分 析 问题 ，与 同学 、老师 之 间展 开交流 和探 讨 的学 习模 式 。学 生对 学 习少 了些 排 斥 ，多 了些兴 趣和 热情 ，这 对 学生 综合 能力 的培 养 是至 关重 要 的 ，为 学生走 向社会 ，进 而终 身学 习打 下基 础 。
部 接 口行 为 的和 基 于 内部结 构 的测试 用例 生 成 。
四 、软 件 测试 技术
（ ）软 件测试 阶 段 一 软 件测 试 分为 单元 、集 成 、系统 和验 收测 试 四个 阶段 。
（） １ 单元测试 ： 在隔离环境中对独立的软件模块进行测试以
发现 其 中 的缺 陷 。
参 考文 献 ：
【 吴伟 伟 ． 环境 下大 学 生 自主 学 习 ：问题 及 对 策 卟 学理 １ １ 网络
论 ，０ ０１ ２ １，６
【 章 萍． 环境 下如 何提 高 高职 学 生 自主 学 习能 力 Ⅱ． 樊 ２ １ 网络 ］ 襄
职 业技 术 学院 学报 ， ０， ２ ６ ０ ３
【】 ３常蕾， 阳， 赵春 闫水华计 算机 网络环境 下大学英语 自主学习 的优势和学习策略Ⅱ冲 国现代教育装备 ， １， 】 ２ １１ ０ １ 【 陈顺 立． ４ １ 网络环境 下高职学生 自主 学习能力现状及培 养策 略研 究Ⅱ． 沙通信 职业技 术 学 院学报 ， １， ］ 长 ２ ０ ０ ６ 『１ 艳 ． 内多媒 体及 网络 环境 下的 大 学英 语 自主 学 习研 究 ５ 杨 国
一
操 作 ，轻理 论 。在这 种培 养方 案 下 ，不应 局 限于 期末考 试 等终 结 性 形式 ，应 更加 注 重学 生在 学 习过程 中 的阶 段性 考核 。 即学 生在 阶 段任 务 中分担 的工作 量 以及做 出的成 绩 。这既 能 充分 体现 学生 的学 习情况 ，又 能对 学 生每个 阶段 的学 习有 一 个督 促作 用 。