基于模型设计的嵌入式软件测试技术研究
合集下载
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
汽车 电控系 统 的复 杂性 和集 成 度不 断增 高 ，意 味着 其 可靠 性要 求 也越 来 越 高 ，早期 汽 车 电控系 统采 用 传统 开发 模 式 ，即手 工写 代 码 的方式 ，但 随 着 软件 的复 杂性 越 来越 高 ，功 能越 来越 多 ，代码 量 也随 之越 来越 多 ，并且 进入 快 时代 ，开 发周 期 需求 没有 随之 延长 ，
１．嵌 入 式 软 件 测 试
嵌 入式 软件 测 试分 为静 态测 试 以及 动态 测试 。静态 测试 指静 态 缺 陷检测 ，不 需要运 行被 测 程序 是 指不 需运 行被 测程 序 ，主 要检 测 代 码 的逻 辑 、语 法错 误 、是 否符 合 编码 规则 ，常 见 的静 态检 测工 具 有ＰＣ Ｌｉｎｔ、ｃｐｐｃｈｅｃｋ、ｓｐｌｉｎｔ等 等 。动 态 检测 技 术 属于 黑 盒 测试 ， 指在 程序 运 行过 程 中进 行数 据注 入 ，测 试结 果 与预 期是 否相 符合 ， 从而 达到 寻找 程序 漏洞 的 目的。
最五 鬻 求管理 再面
最 篮 ｛羹型，代码 跟 踪报告
需
ｍ ｝’ｘ８ ５ ＾
建模
（可执行的技术规范 ）
进 行功能 分区 磐 ．模型助手
捌 期数 ：ｉ， ：：一一 … … 一
． ’
— 模 型 ）。 设
ｍｕ／ｉｎｋ＆ Ｓｔａｒ ｏｗ
１ Ｒｘｅｄ Ｐ０ｍｔＡｄｖｂｏｒ ２ Ｒ ｄ Ｐ０ ｔＴｏ
基 于上 述背 景 ，本 文首 先介 绍 嵌入 式软 件测 试 的基 本概 念及 方 法 ；之后 比较传统嵌 入式软件开 发与ＭＢＤ开发模 式的区别 ；进 而着重 分析ＭＢＤ开发模 式下的嵌 入式软件测 试即模型在环 ，并 以相 关 电控系 统模型 为例，研究模 型在 环测试技 术；最后对全 文进行总结 。
相 比较 于 前 文提 到 的传 统 开 发 模 式 几方 面 的 缺 陷 而 言 ，基 于 模 型 的设计 在 四个过 程 中紧 密联 系 ，互相 验 证 ，有 较 高 的耦 合 性 ， 避 免 了某一 流程 的孤 立 性 。基于 模型 的 设计 工作流 程 图如 图一 ，可 以看 出，在 整个 流程 中持续 不 断地进 行 设计 和验 证 ，从 需求 到设计 到 实现 ，测 试贯 穿每 一 流程 。这 就保 证 了软件 缺 陷能够 越 早地 被发 现 ，测 试成 本 、维护 成本 大大 降低 ，软 件的质 量得 到有 效保 证 。
因此近 几 年开 始 兴起 基 于模 型 的设 计 （Ｍｏｄｅｌ—Ｂａｓｅｄ Ｄｅｓｉｇｎ，简称 ＭＢＤ）开发 模式 ， 并逐渐 取代传 统 开发模 式 。 ２．１ 基 于模 型 的设计
随 着汽 车 电控系 统越 来越 复 杂 ，传统 开发 方 式 已经 变得 不 再适 用 了 ，采用 基 于模型 设 计的 方法 ，能 够大 大加 快产 品开 发周 期 ，并 同时提 高软 件产 品 的质 量 。基于 模型 开发 模式 的一 个特 征在 于功 能 模 型不 仅详 述 了所想 要 的功 能 ，而且 还提 供 了设计 信 息 ，并最终 作 为代 码 生成 方法 的实 施基础 。
单 元测 试对 应 嵌 入 式软 件测 试ｖ流 程前 半 部分 的详细 设 计 ，又 称 为模 块测 试 ，测 试对 象是 最 小可 测单 元 ，检查 每 个单 元是 否按 照 详细 设计 实 现 了预期 的功 能 ，为 白盒测 试范 畴 。
单 元测 试 完 成 之 后，进 行 的 是集 成 测 试 。集 成 测 试 的 主要 目的 为发 现 与接 口有 关 的模 块之 间 的 问题 。集成 测试 包 括两 种方 法 ：非 增式 集成 测 试法 和 增式 集成 测试 法 ，不 断地 把待 测 模块 连接 到 已测 模 块 集ｆ或其 子 集）上 ，对 待测 模块 进 行 测试 ，直到 最 后一 个 模块 测 试 完毕 ，增 量 式 集 成 测 试 能 够对 程 序 进 行 循 序 渐 进 测 试 ，容 错 率 小 ，能做 到 充分 、完全 的测试 。
【关键词 】嵌入式软件测试 ；汽车 电控 系统 ；基于模型设计
引 言
在 汽 车 电控 系 统 嵌入 式 软 件 开 发方 式 上 ，随着 ＭＢＤ （基 于 模 型 的开 发 ）模式 的 普及 ，传 统手 工 写代 码开 发模 式 己逐 渐被 取代 ， 在ＩＳＯ ２６２６２中更 是 以ＭＢＤ模 式为 嵌入 式软 件 功 能安 全开 发 为例 子 介绍 了新型 开发模 式 下 的测试ｖ流程 。
２．模 型在环和传统嵌入式软件对比
嵌入式系统是 以应用为中心， 以计算机技术为基础 ，软、硬件可裁 剪 ，具有功能稳定 、可靠性好 、成本低 、集成度 高、功耗低 、子系统 能 直接通信融合等特点 ，决定 了它适用于汽车工业领域 ，近年来 电子技术 的发展 目新月异，使得嵌入式系统在车载电子中的应用更 为广泛 。
嫫型 ）
捡 ＿ｌ 查 代 骑 鼓Ｉ ：
＿．＜宣 重Ｅ亟）‘ 嬲
￣＇ｍｕ／ｉｎｋ＆ Ｉ １．Ｒ～ｄ Ｐｏ４ｎｔＡ￣ｖｌｓｏｒ Ｓｔａｔｅ［１ｏｗ ｌ ２ ｎ聃ｄ·ＰｏｉｎｔＴ￣１
ＥＬＥＣＴＲＯＮＩＣＳ Ｗ ＯＲＬＤ·艨 与勰
基 于模 型设 计 的嵌 入 式软件 测试 技 术研 究
中 国汽车技术研 究 中心 张亚楠 谢 冬红
【摘要 】随着嵌入 式系统在 生活中不断普及 ，对相关产品的质量性 、 可靠性 等要 求也 越 来越 高 ，特 别是 在 汽车 电控 系统领 域 ，功能安 全 已成 为衡 量 产品 的一 项重要 内容 。汽车 电控 系统 属 于嵌 入 式 系统 的一种 ， 本 文 以嵌入 式软 件测 试为 出发 点 ，着重 对采 用新 型开发 模 式 ，基 于模 型 设计 的 汽车 电控 系统嵌 入 式软 件层 面进 行测 试技 术研 究 。
１．嵌 入 式 软 件 测 试
嵌 入式 软件 测 试分 为静 态测 试 以及 动态 测试 。静态 测试 指静 态 缺 陷检测 ，不 需要运 行被 测 程序 是 指不 需运 行被 测程 序 ，主 要检 测 代 码 的逻 辑 、语 法错 误 、是 否符 合 编码 规则 ，常 见 的静 态检 测工 具 有ＰＣ Ｌｉｎｔ、ｃｐｐｃｈｅｃｋ、ｓｐｌｉｎｔ等 等 。动 态 检测 技 术 属于 黑 盒 测试 ， 指在 程序 运 行过 程 中进 行数 据注 入 ，测 试结 果 与预 期是 否相 符合 ， 从而 达到 寻找 程序 漏洞 的 目的。
最五 鬻 求管理 再面
最 篮 ｛羹型，代码 跟 踪报告
需
ｍ ｝’ｘ８ ５ ＾
建模
（可执行的技术规范 ）
进 行功能 分区 磐 ．模型助手
捌 期数 ：ｉ， ：：一一 … … 一
． ’
— 模 型 ）。 设
ｍｕ／ｉｎｋ＆ Ｓｔａｒ ｏｗ
１ Ｒｘｅｄ Ｐ０ｍｔＡｄｖｂｏｒ ２ Ｒ ｄ Ｐ０ ｔＴｏ
基 于上 述背 景 ，本 文首 先介 绍 嵌入 式软 件测 试 的基 本概 念及 方 法 ；之后 比较传统嵌 入式软件开 发与ＭＢＤ开发模 式的区别 ；进 而着重 分析ＭＢＤ开发模 式下的嵌 入式软件测 试即模型在环 ，并 以相 关 电控系 统模型 为例，研究模 型在 环测试技 术；最后对全 文进行总结 。
相 比较 于 前 文提 到 的传 统 开 发 模 式 几方 面 的 缺 陷 而 言 ，基 于 模 型 的设计 在 四个过 程 中紧 密联 系 ，互相 验 证 ，有 较 高 的耦 合 性 ， 避 免 了某一 流程 的孤 立 性 。基于 模型 的 设计 工作流 程 图如 图一 ，可 以看 出，在 整个 流程 中持续 不 断地进 行 设计 和验 证 ，从 需求 到设计 到 实现 ，测 试贯 穿每 一 流程 。这 就保 证 了软件 缺 陷能够 越 早地 被发 现 ，测 试成 本 、维护 成本 大大 降低 ，软 件的质 量得 到有 效保 证 。
因此近 几 年开 始 兴起 基 于模 型 的设 计 （Ｍｏｄｅｌ—Ｂａｓｅｄ Ｄｅｓｉｇｎ，简称 ＭＢＤ）开发 模式 ， 并逐渐 取代传 统 开发模 式 。 ２．１ 基 于模 型 的设计
随 着汽 车 电控系 统越 来越 复 杂 ，传统 开发 方 式 已经 变得 不 再适 用 了 ，采用 基 于模型 设 计的 方法 ，能 够大 大加 快产 品开 发周 期 ，并 同时提 高软 件产 品 的质 量 。基于 模型 开发 模式 的一 个特 征在 于功 能 模 型不 仅详 述 了所想 要 的功 能 ，而且 还提 供 了设计 信 息 ，并最终 作 为代 码 生成 方法 的实 施基础 。
单 元测 试对 应 嵌 入 式软 件测 试ｖ流 程前 半 部分 的详细 设 计 ，又 称 为模 块测 试 ，测 试对 象是 最 小可 测单 元 ，检查 每 个单 元是 否按 照 详细 设计 实 现 了预期 的功 能 ，为 白盒测 试范 畴 。
单 元测 试 完 成 之 后，进 行 的 是集 成 测 试 。集 成 测 试 的 主要 目的 为发 现 与接 口有 关 的模 块之 间 的 问题 。集成 测试 包 括两 种方 法 ：非 增式 集成 测 试法 和 增式 集成 测试 法 ，不 断地 把待 测 模块 连接 到 已测 模 块 集ｆ或其 子 集）上 ，对 待测 模块 进 行 测试 ，直到 最 后一 个 模块 测 试 完毕 ，增 量 式 集 成 测 试 能 够对 程 序 进 行 循 序 渐 进 测 试 ，容 错 率 小 ，能做 到 充分 、完全 的测试 。
【关键词 】嵌入式软件测试 ；汽车 电控 系统 ；基于模型设计
引 言
在 汽 车 电控 系 统 嵌入 式 软 件 开 发方 式 上 ，随着 ＭＢＤ （基 于 模 型 的开 发 ）模式 的 普及 ，传 统手 工 写代 码开 发模 式 己逐 渐被 取代 ， 在ＩＳＯ ２６２６２中更 是 以ＭＢＤ模 式为 嵌入 式软 件 功 能安 全开 发 为例 子 介绍 了新型 开发模 式 下 的测试ｖ流程 。
２．模 型在环和传统嵌入式软件对比
嵌入式系统是 以应用为中心， 以计算机技术为基础 ，软、硬件可裁 剪 ，具有功能稳定 、可靠性好 、成本低 、集成度 高、功耗低 、子系统 能 直接通信融合等特点 ，决定 了它适用于汽车工业领域 ，近年来 电子技术 的发展 目新月异，使得嵌入式系统在车载电子中的应用更 为广泛 。
嫫型 ）
捡 ＿ｌ 查 代 骑 鼓Ｉ ：
＿．＜宣 重Ｅ亟）‘ 嬲
￣＇ｍｕ／ｉｎｋ＆ Ｉ １．Ｒ～ｄ Ｐｏ４ｎｔＡ￣ｖｌｓｏｒ Ｓｔａｔｅ［１ｏｗ ｌ ２ ｎ聃ｄ·ＰｏｉｎｔＴ￣１
ＥＬＥＣＴＲＯＮＩＣＳ Ｗ ＯＲＬＤ·艨 与勰
基 于模 型设 计 的嵌 入 式软件 测试 技 术研 究
中 国汽车技术研 究 中心 张亚楠 谢 冬红
【摘要 】随着嵌入 式系统在 生活中不断普及 ，对相关产品的质量性 、 可靠性 等要 求也 越 来越 高 ，特 别是 在 汽车 电控 系统领 域 ，功能安 全 已成 为衡 量 产品 的一 项重要 内容 。汽车 电控 系统 属 于嵌 入 式 系统 的一种 ， 本 文 以嵌入 式软 件测 试为 出发 点 ，着重 对采 用新 型开发 模 式 ，基 于模 型 设计 的 汽车 电控 系统嵌 入 式软 件层 面进 行测 试技 术研 究 。