基于反汇编的智能电表软件功能检测模型-论文.pdf

《基于反汇编的智能电表软件功能检测模型-论文.pdf》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、JournalofComputerApplicationsISSNloo1—9O812015．02．1O计算机应用，2015，35(2)：555—559CODENJYIIDUhttp：／／www．joca．an文章编号：1001-9081(2015)02-0555—05doi：10．11772／j．issn，1001—9081．2015．02．0555基于反汇编的智能电表软件功能检测模型刘金硕，王谢兵，陈鑫，邓娟(1．武汉大学计算机学院，武汉430072；2．武汉大学国际软件学院，武汉430072)($通信作者电子邮箱jasonforc@gmail．corn)摘要：电力企业在智能电表的

2、生产过程中发现制造商用于招标展示的样品表和竞标成功后大量投产的批量表存在显著差异。由于检测不足，许多投入实际使用的批量表出现工作状态异常、质量不合格的情况，对这些电表的维护造成了不必要的花费。针对此问题制定了一种智能电表软件功能检测方案，设计了一种嵌入式智能电表代码逆向模型。模型以分析智能电表核心程序从而获取系统运行特征为思路，以反汇编算法分析电表固件代码功能为手段，对嵌入式智能电表进行软件功能差异测试。模型包括固件代码提取、固件代码反汇编和软件功能比较三大模块，在反汇编模块中基于现有的线性扫描和递归遍历算法使用了一种改进的单步扫描算法(SDA)。实际应用时对智能电表批量产品和样品进行

3、比较鉴别，对系统功能的差异测量效果明显；同时使用该模型在维护电力企业已使用电表时可控制拟投产电表与已使用电表功能和质量误差在±20％范围内。关键词：智能电表；固件代码提取；固件代码反汇编；单步扫描算法；软件功能检测中图分类号：TP311．52文献标志码：ASmartmetersoftwarefunctiontestmodelbasedondisassemblytechniqueLIUJinshuo，WANGXiebing，CHENXin，DENGJuan(1．ComputerSchool，WuhanUniversity,WuhanHubei430072，China；2．Internat

4、ionalSchoofofsoftware，WuhanUniversity,WuhanHubei430072，China)Abstract：Duringtheprocedureofsmartmeterproduction，electricpowerenterpriseshavenoticedthefactthatthereexistsignificantdifferencesbetweensamplemetersusedtocheckandbatchmetersforlargenumbersofproduction．Lotsofbatchmeterseitherhaveanunstab

5、leworkingstateorbecomequalityrejected，resultingfromlackofdetection．Maintenanceofthesemeterscausesunnecessaryexpense．Aimingatthisproblem，asmartmetersoftwarefunctiontestschemewasformulatedandanembeddedsmartmetercodereversalmodelwasfiguredout．Takingobtainingsystemoperatingcharacteristicsviaanalysis

6、ofsmartmeterkernelprogramasmainidea，themodeloperatedasoftwarefunctiondifferencetestonsmartmeterwithdisassemblytechnologyasmeanstoanalyzesmartmeterfirmwarecodefunction．Themodelincludedthreemodules，namelyfirmwarecodeextraction，firmwarecodedisassemblyandsoftwarefunctioncomparison．ASingle-stepDisass

7、emblyAlgorithm(SDA)wasadoptedinfirmwarecodedisassemblymodulebasedontraditionallinearsweepandrecursivescanningalgorithm．Ithasremarkableefectswhenapplyingthemodeltosampleandbatchmetersidentification．Meanwhile，themodelCancontro