徐　超,陈　勇,葛红美,何炎祥

(1.南京审计大学,江苏南京210029;2.中国电子科技集团第十四研究所，江苏南京 210013；3.武汉大学计算机学院,湖北武汉 430072)



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

徐超1,陈勇2,葛红美1,何炎祥3

(1.南京审计大学,江苏南京210029;2.中国电子科技集团第十四研究所，江苏南京 210013；3.武汉大学计算机学院,湖北武汉 430072)

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

能耗错误;符号执行;错误检测;过程内分析;过程间分析

1　引言

随着手持智能化设备的广泛普及,以iOS和Android等手机操作系统为基础平台的应用得到了迅猛发展.但与此同时,由于手机、平板电脑等手持设备电池容量的限制,很多应用……