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

• 作者: 何炎祥 徐超 葛红美 陈勇
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 能耗错误 符号执行 错误检测 过程内分析 过程间分析
• 年，卷（期）: 2016,（5）
• 所属期刊栏目: 学术论文
• 页码范围: 1040-1050
• 页数: 11页
• 分类号: TP311
• 字数: 9340字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2016.05.005

摘要

能耗是制约便携式智能设备发展的重要瓶颈。随着嵌入式操作系统的广泛应用，因不能合理使用操作系统的 API 而导致的能耗错误已经成为各种嵌入式应用开发过程中不容忽视的因素。为减少应用中的能耗错误，以符号执行技术为基础，根据禁止休眠类能耗错误的特点，设计了对应的能耗错误检测方法。该方法首先利用过程内分析，获得单个函数的符号执行信息。然后借助过程间分析对单个函数的符号执行信息进行全局综合，得到更为精确的执行开销、锁变量匹配等相关信息，以更好的检测能耗错误。同时，符号执行记录了对应的分支路径信息，利用该信息能够结合约束求解器较为方便的生成出错的测试用例，进而定位错误位置。通过示例和实验，验证了该方法在能耗错误检测方面的可行性和有效性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈勇		35	123	8.0	9.0
2	何炎祥	武汉大学计算机学院	179	1866	22.0	35.0
3	徐超		18	24	4.0	4.0
4	葛红美		6	8	2.0	2.0