基于反汇编的智能电表软件功能检测模型.pdfVIP

JournalofComputerApplications ISSN loo1—9O81 2015．02．1O 计算机应用，2015，35(2)：555—559 CODENJYIIDU http：／／www．joca．an 文章编号：1001-9081(2015)02-0555—05 doi：10．11772／j．issn，1001—9081．2015．02．0555 基于反汇编的智能电表软件功能检测模型 刘金硕 ，王谢兵 ，陈 鑫 ，邓 娟 (1．武汉大学 计算机学院，武汉430072； 2．武汉大学 国际软件学院，武汉430072) ($通信作者电子邮箱 jasonforc@gmail．corn) 摘 要：电力企业在智能电表的生产过程中发现制造商用于招标展示的样品表和竞标成功后大量投产的批量表 存在显著差异。由于检测不足，许多投入实际使用的批量表 出现工作状态异常、质量不合格的情况，对这些电表的维 护造成 了不必要的花费。针对此问题制定了一种智能电表软件功能检测方案，设计 了一种嵌入式智能电表代码逆向 模型。模型以分析智能电表核心程序从而获取系统运行特征为思路 ，以反汇编算法分析电表 固件代码功能为手段， 对嵌入式智能电表进行软件功能差异测试。模型包括 固件代码提取、固件代码反汇编和软件功能比较三大模块，在 反汇编模块中基于现有的线性扫描和递归遍历算法使用了一种改进的单步扫描算法 (SDA)。实际应用时对智能电表 批量产品和样品进行比较鉴别，对系统功能的差异测量效果明显；同时使用该模型在维护电力企业已使用电表时可 控制拟投产电表与 已使用电表功能和质量误差在 ±20％范围内。 关键词：智能电表；固件代码提取；固件代码反汇编；单步扫描算法；软件功能检测 中图分类号：TP311．52 文献标志码 ：A Smartmetersoftwarefunctiontestmodelbasedondisassemblytechnique LIU Jinshuo，WANGXiebing ，CHENXin，DENGJuan (1．ComputerSchool，WuhanUniversity,WuhanHubei430072，China； 2．InternationalSchoofofsoftware，WuhanUniversity,WuhanHubei430072，China) Abstract：Duringtheprocedureofsmartmeterproduction，electricpowerenterpriseshavenoticedthefactthatthere existsignificantdifferencesbetweensamplemeters usedtocheckandbatchmeters forlargenumbersofproduction．Lotsof batchmeterseitherhaveanunstableworkingstateorbecomequalityrejected，resultingfromlackofdetection．Maintenanceof thesemeters causesunnecessaryexpense．Aimingatthisproblem，asmartmetersoftwarefunctiontestschemewasformulated andan embedded smartmetercodereversalmodelwasfiguredout．Takingobtaining system operating characteristicsvia analysisofsmartmeterkernelprogram asmainidea，themodeloperatedasoftw