符号执行的能耗错误检测方法

keep

摘 　要 ： 　能 耗 是 制 约 便 携 式 智 能 设 备 发 展 的 重 要 瓶 颈 ． 随 着 嵌 入 式 操 作 系 统 的 广 泛 应 用 ， 因 不 能 合 理 使 用 操 作
1 @5 i3 d; ~; |# p9 ^系 统 的 ＡＰＩ 而 导 致 的 能 耗 错 误 已 经 成 为 各 种 嵌 入 式 应 用 开 发 过 程 中 不 容 忽 视 的 因 素 ． 为 减 少 应 用 中 的 能 耗 错 误 ， 以 符
8 {  |; r6 I6 O7 Z# n9 V# h号 执 行 技 术 为 基 础 ， 根 据 禁 止 休 眠 类 能 耗 错 误 的 特 点 ， 设 计 了 对 应 的 能 耗 错 误 检 测 方 法 ． 该 方 法 首 先 利 用 过 程 内 分 析 ，
获 得 单 个 函 数 的 符 号 执 行 信 息 ． 然 后 借 助 过 程 间 分 析 对 单 个 函 数 的 符 号 执 行 信 息 进 行 全 局 综 合 ， 得 到 更 为 精 确 的 执 行
开 销 、 锁 变 量 匹 配 等 相 关 信 息 ， 以 更 好 的 检 测 能 耗 错 误 ． 同 时 ， 符 号 执 行 记 录 了 对 应 的 分 支 路 径 信 息 ， 利 用 该 信 息 能 够
结 合 约 束 求 解 器 较 为 方 便 的 生 成 出 错 的 测 试 用 例 ， 进 而 定 位 错 误 位 置 ． 通 过 示 例 和 实 验 ， 验 证 了 该 方 法 在 能 耗 错 误 检
5 J% b  B8 E7 ~( U9 w- i" v+ y' w! V测 方 面 的 可 行 性 和 有 效 性 ．
关 键 词 ： 　能 耗 错 误 ； 符 号 执 行 ； 错 误 检 测 ； 过 程 内 分 析 ； 过 程 间 分 析
2 E: C; d) a: E: _3 [ 基于符号执行的能耗错误检测方法.pdf (714.41 KB, 下载次数: 0)

2021-7-13 13:19 上传

点击文件名下载附件
下载积分: 威望 -5

bow

符号执行的能耗错误检测方法，收藏了。