kl800.com省心范文网

基于蚁群算法的软件测试用例生成方法研究


第1卷 第3 0 期  软 件 导 刊  S t a eGu d   ofw r  i e Vo   0N O 3 l1 .  2 1 3 0l年 月  M a. r 20l   1 基 于 蚁 群 算 法 的 软 件 测 试 用 例 生 成 方 法 研 究  邱  菊  ( 京 航 空航 天 大 学 计 算 中 心 , 苏 南 京 2 1 0 ) 南 江 1 1 6  摘  要 i 相 关的 调 查 中, 件 测 试 占软 件 开 发 总成 本 的 一 半 左 右 。此 外 , 件 测 试 以及 软 件 测 试 用 例 生 成 , 软 件  在 软 软 是 工 程 的 重 点 和 难 点 。 所 以 , 少软 件 测 试 的 成 本 是 非 常 必 要 的 。 随 着 进 化 算 法被 引入 到 增 强 测 试 覆 盖 率 中 来 , 试  减 测 的 代 价 也 在 逐 步 降低 。提 出 了一 种 新 的软 件 测 试 用 例 生成 方 法 , 方 法 结 合 蚁 群 算 法 , 提 高 测 试 覆 盖 率 的 同 时 , 该 在 成  功 降 低 了软 件 测 试 的代 价 。 通 过 实验 发 现 本 文 所提 出的 方 法效 果较 好 。   关 键 词 : 群 算 法 ; 件 测 试 ; 异 测 试  蚁 软 变 中图分类号 : 32 TP 1  文献标 识码 :  A 文 章 编 号 : 6 27 0 ( 0 1 0 —0 30   1 7 —8 0 2 1 ) 30 7 — 2 0 引 言    本 文 中 引入 元 启 发 式 算 法 , 合 蚁 群 搜 索 算 法 和 变 异  结 1 问 题 描 述    用 p  来 表 示 待 测 的 程 序 , 一 ( , , … , ) 输   J X  X  … X  是 分 析 来 生 成 高质 量 的 软 件 测 试 用 例 。 因 为 变 异 分 析 及 其  相 对 应 的测 试 输 入 数 据 的 生 成 有 难 度 , 以变 异 测 试 目前  所 使 用 范 围相 对 较 小 。   重 点 在 于 自动 生成 测 试 输 入 数 据 , 早 提 出使 用 变 异  最 分 析 来 生 成 测 试 输 人 数 据 的 是 奥 法 特 , 在 博 士 论 文 中提  他 出使 用 变 异 测 试 。该 项 技 术 被 称 为 基 于 约 束 的 测 试 数 据  生 成 技 术 ( 称 C T) 如 果 一 个 测 试 用 例 能 够 满 足 下 面  简 B , 入 变 量 的 向量 , 个 输 入 变 量 x  范 围 D 每 从  中 取 值 ( 一1  i , 2 … ,) , 点 。程 序 P  的 范 围 是 D— D ×D … ×D , 设 R      假   是 一 个 变 异 操 作 集 , 个 变 异 操 作 算 子 是 一 个 程 序 错 误 的  每 代表, 于 P 对  的 变 异 版 本 来 说 , 个 变 异 操 作 算 子 在 程  每 序 中都 会 产 生 一 个 独 立 的 修 改 。通 过 应 用 变 异 操 作 算 子  r ER 到 P 就 得 到 原 始 程 序 P 的 N 个 变 异 版 本 M    ,   , M2 … MN , 。换 句话 说 , 一  (   , ∈R,一1 2 … , i MJ P )  i , , N(  三 个 条 件 , 么 它 就 能 够 消 除 一 个

赞助商链接