了有 效的解 决方 法。
关键 词 ：覆盖 测试 ； 嵌入 式软件 ；Ｍｃ ａｅ Ｃ ｂ
Ｉ ｖ ｓｉ ａ ｉ ｎ ｏ ｈ ｏ ｅ ａ ｅ ｔ ｓ ｉ ｇ ｏ ｍ ｂ ｄ ｅ ｏ ｔ ｒ ｎ ｅ ｔｇ ｔ ｎ ｔ ｅ ｃ ｖ ｒ ｇ ｅ ｔｎ ｆｅ ｏ ｅ ｄ ｄ ｓ ｆｗａ ｅ
ＪＮ Ｗｅ ｉ ，Ｓ ａ — ｎ Ｉ ｉｉ ａ ＨＩＸｉｏ ｍｉ
（ ｈ ｎ ｈ Ａ ｒｓａ ｅＣ ｍｐ ｔｒａ ｄＴ ｃ ｎ ｌｇ ｎｔ ｕｅ Ｓ ａ ｇ ａ ２ １０ ， ｈｎ ） Ｓ ａ ｇ ￣ ｅｏｐ ｃ ｏ ｕｅ ｎ ｅｈ ｏｏｙＩｓ ｔｔ， ｈ ｎ ｈ ｉ ０ ９ Ｃ ｉａ ｉ １
２ １ 年 第４ ０１ 期
中 图分 类 号 ：Ｆ １ Ｔ３ １ 文 献 标 识码 ： Ａ 文 章 编 号 ：０９— ５ ２ ２ １ ）４— ｌ７— ４ １０ ２５ （０ １ Ｏ ０ １ ０
基 于 嵌 入 式 软 件 的 覆 盖 测 试 问题 研 究
金 维佳 ，施 小 敏
（ 海 航 天 电子 技 术 研 究 所 ，上海 ２ １０ ） 上 ０ １９
码 的覆 盖准则 包括 ： １ 语 句 覆盖 （ ｔｔ ｅ ｔ ｏ— （） Ｓａ ｍ ｎ Ｃ ｙ ｅ ห้องสมุดไป่ตู้
中， 给软件测 试带来 了很 大的 困难 ， 使得 一般 的软 件
测试技术和方 法很难 适用 。本文便 针 对这 一类 特 殊
Ａｂｓｒ ｔ Ｃｏ ｅ ａ ｅ ｔ ｓｉ ｇ ｉ ｈ ｓ ｉｅ ｔｖｅ ｎｇ ａ ｄ ｅｆ ｃｉ ｅ ｍｅ ｏ ｏ ｅ ｓ ｒ ｈ ｕ ｆ ｉｎ ｙ ｏ ｔａｃ ： ｖ ｒ ｇ ｅ ｔ ｓ ｔｅ ｍｏ ｔｄ ｒ ｃ— ｉ ｗｉ ｎ ｆ ｔｖ ｔ ｄ ｔ ｎ ｕ ｅ ｔ ｅ ｓ ｆ ｃ ｅ ｃ ｆ ｎ ｅ ｈ ｉ ｔ ｓｉ ｇ ａ ｄ ｏ ｅ ｒ ｈ ｈ ｅ ｒ ｂ ｅ ｏ ｏｔ ｒ ． Ａｉ ｎ ａ ｔｅ ｈ ｒ ｃｅ ｓｉ ｏ ｒａ —ｉ ｅ ｅ ｔｎ ｎ ｔ ｓ ａ ｃ ｔ ｐ ｏ ｌ ｍｓ ｆ ｓ ｆｗａ ｅ ｍｉ ｇ ｔ ｈ ｃ ａ ａ ｔ ｒ ｔｃ ｆ ｅ ｌｔｍｅ ｍｂｅ ｄ ｄ ｉ ｄ ｅ ｓ ｆｗａ ｅ，ａ ｄ ｃ ｍｂ ｎ ｄ ｗｉ ｔ ｅ ｐｒｎ ｉ ｌ ｏ ｈｅ ｏ ｅ ａ ｅ ｅ ｔｎ ｏ ｍｂ ｄ ｅ ｓ ｆｗａ ｅ， ｔ ｉ ｐ ｐ ｒ ｏｔ ｒ ｎ ｏ ｉ ｅ ｔ ｈ ｉ ｃｐ ｅ ｆ ｔ ｃ ｖ ｒｇ ｔｓｉ ｇ ｆ ｅ ｅ ｄ ｄ ｏｔ ｒ ｈ ｓ ａ ｅ ｈ ｐ ｅ ｅ ｔ ｈｅ ｍｅｈ ｄ ａ ｄ ｔｃ ｎ ｌ ｇ ｆｃ ｖ ｒ ｇ ｅ ｔ ｇ ｏ ｍｂｅ ｄ ｄ ｓ ｆ ｒ ｙ Ｍｃ ｂ ｒ ｓ ｎ ｓ ｔ ｔ ｏ ｎ ｅ ｈ ｏｏ ｙ ｏ ｏ ｅ ａ ｅ ｔｓｉ ｆｅ ｎ ｄ ｅ ｏ ｔ ｅ ｂ Ｃａ ｅ．Ａｉ ｎ ｔｔ ｅ ｗａ ｍｉ ｇ ａ ｈ ｓ ｅ ｉｌｐ ｏ ｌｍｓｏ ｈｅ ｃ ｖ ｒ ｇ ｅ ｔ ｇ ｏ ｍｂｅ ｄ ｄ ｓ ｆｗａ ｅ，ｉ ａ ｓ ｒｎ ｓａ ｃ ｒｅ ｔｓ ｌ ｔｏ ｐ ｃ ａ ｒ ｂｅ ｆｔ ｏ ｅ ａ ｅ ｔ ｓｉ ｆｅ ｎ ｄ ｅ ｏｔ ｒ ｔ ｌｏ ｂ ｇ ｏ ｒ ｃ ｏｕ ｉｎ． ｉ Ｋｅ ｒ ｓ： ｃ ｖ ｒｇ ｅ ｔｎ ｙ ｗｏ ｄ ｏ ｅ ａ ｅ ｔ ｓｉ ｇ；ｅ ｅ ｄ ｄ ｓ ｆ ｒ ｍｂ ｄ ｅ ｏ ｔ ｅ；Ｍｃ ｂ ｗａ Ｃａ ｅ
覆 盖率 数据 ） 入 到本 地 文 件 中形 成 历 史 文 件 ， 写 通 过 对这 个 历 史 文 件 进 行 分 析 ， 而 得 到 代 码 覆 盖 从 率 ｌ。 １ Ｊ 覆盖 测试 的基本 准则是 测试用 例尽 可能 多地覆 盖程 序 的 内部 逻 辑 结 构 ， 现 其 中 的错 误 和 问题 。 发
件问题 。
１ 覆 盖 测 试 的方 法和 工 具
一
般用 于代码 覆 盖率分 析 的技术 为 软件插装 技
术， 其原 理是 根据程 序 流程结 构在程 序 的特征点 ， 即
函数 人 口 、 口和 程 序 分 支 插 装 代 码 ， 后 编 译 执 出 然 行， 执行 的过 程 中 ， 插装 代 码将 执 行 历史 数 据 （ 代表
摘
要 ：覆 盖 测试是保 证软件 测 试 的 充分 性 和 查找 软件 问题 的 最 直观 ，最有 效 的 方 法之 一 。针
对 实时嵌入 式软件 的特 点 ，结合嵌入 式软 件覆 盖测试 的原 理 ，介 绍 了利 用 Ｍｃ ａｅ测 试 工具进 行 Ｃｂ
嵌入 式软件覆 盖 率分析 的方 法和技 术。 同时针 对嵌 入 式软件 覆 盖 测 试 中遇 到 的 特殊 问题 ，提 出
不 同的覆 盖技术考 察 不 同层 次 的结 构 ， 反 映 出测 也
承担过 程控制 、 系统 指 挥 和数 据 处理 等 关 键 任 务 的软件有 大量是 实时嵌 入式 软件 。这些 软件 的实 时性 要求高 ， 运行 于特 定 的或 具 有 特殊 条 件 的环境
试 的全面性 和彻底 性 。覆盖 的几种 技术方 法也 即代
０ 引言
在 软件 的确 认 测试 中， 试 的完 备 性是 判 断 软 测 件 测试质 量好 坏 的重要 指标之 一 。测 试 的完备性 是 指 测试用 例不仅 要覆盖 任务 书和需求 规格说 明中所 提 出的功 能和性 能要求 ， 达到 １０％ 的功能 覆盖 ， ０ 同 时也要 覆盖 软件 代 码 的全 部 语 句 和 所有 分支 ］ 。 而覆盖 测试就 是监控 软件代 码覆 盖率 的一种 有效 的 测试方 法 。覆 盖测试 能够在 提高软 件测 试充分 性 的 同时有 效地避 免 由于代 码未 被执行 而产 生 的遗 留软