嵌入式智能电表中的反汇编关键问题分析

电力企业在将反汇编技术应用于嵌入式智能电表软件一致性检测模型时出现了因不同硬件而产生差异的字节序问题和程序运行时的嵌入式设备内存受限问题,从而影响了模型整体的性能。针对这两个关键问题进行分析,结合嵌入式智能电表内部特征和硬件体系架构理论的深层探讨,依次提出了目标代码双逆置预处理算法(CDIPA)和分段反汇编算法(SDA)。对原代码使用目标代码双逆置预处理算法得到调整字节顺序的代码,分别将原代码和调整代码反汇编获得两种待测结果,结合硬件信息分析结果并以匹配度高的指令作为最终结果从而解决了字节序问题;分段反汇编算法通过调整反汇编输入规模并分次运行的方法解决设备内存受限问题。实验结果表明将这两种算法用于给定的电表设备,可以有效解决上述关键问题,同时算法也表现出良好的健壮性和可移植性。     

跟踪式智能反汇编算法研究

研究了嵌入式系统文件反汇编过程中存在的主要问题,给出了进行跟踪式智能反汇编的关键算法。首次采用二叉树结构对代码扫描过程进行跟踪处理,给出了生长二叉树的递归遍历算法,克服了传统反汇编过程中建立大量数组、链表以及图表的缺点;通过对二叉树的逆向浏览,解决了间接转移指令的寻址问题,并给出了寻址算法;最后,给出了数据区边界校验算法。对于进行程序反解及软件逆向工程具有较重要的参考价值。     

一种基于重定位信息的二次反汇编算法

反汇编技术是静态分析二进制程序的基础，目前广为采用的反汇编算法是线性扫描和递归行进算法。前者无法正确处理代码段中嵌入数据的情况，后者则必须解决间接跳转目的地址的预测问题。本文介绍了这两种算法的原理，分析了其存在的问题，并利用二进制文件中旬重定位信息对它们进行了优化。将优化后的两种方法结合起来，给出了一种新颖的二次反汇编算法，这种算法能够捕获反汇编过程中出错的情况，从而控制错误传播，并使得基于反汇编代码的应用可以针对出错情况进行相应的处理。     

基于中断向量表重构的固件代码反汇编技术

反汇编是固件代码逆向分析的重要研究内容,其正确性直接影响固件代码逆向分析的准确性。固件代码结构具有特殊性,针对上层应用程序的反汇编算法大都不能直接用于固件代码的反汇编。中断向量表是固件代码的重要组成部分,从中断向量开始对中断服务子程序进行反汇编,可提高固件代码反汇编的精度。通过对固件代码结构特点的研究分析,介绍了中断向量表的重构方法,提出了一种基于中断向量表重构的固件代码反汇编技术。经测试分析,与传统的静态反汇编技术相比,基于中断向量表重构的固件代码反汇编技术不仅能够对固件代码中的主函数进行反汇编,还能够对中断服务子程序进行反汇编,反汇编精度平均提高了8.72%。     

基于控制流的静态反汇编算法研究

该文在分析各种类型的指令对程序静态流程影响的基础上,提出了一种基于程序流程遍历图的静态反汇编算法,并给出了一种基于统计学的代码间隙填充技术对由间接跳转和间接调用所引用的代码区进行反汇编的方法。     

基于GPRS的智能电表的设计

随着国民经济的快速发展,各种工业民用的电能表得到了日益广泛的应用,在地域上的分布也越来越分散。当前GPRS无线通讯技术的发展相当迅速,而新型的电能表的自动抄表也是一个研究的主要方向,将日渐成熟的GPRS无线通讯模块加入到多功能电子式电能表当中,实现对数据的无线传输,无线自动抄表将会有很大的应用前景。本文提出一种基于GPRS的智能电表的设计,并详细阐述该智能电表实现原理。     

智能电表在智能电网中的应用

与传统意义上的电能表不同,智能电表是智能电网的智能终端,既具有传统电表的用电量计量功能,又具有多种智能化功能,适应了新能源的使用和智能电网的发展。代表着未来节能型智能电网最终用户智能化终端的发展方向,智能电表在电网中的应用越来越广泛。对智能电表功能及应用的探析,不仅能够促进智能电网的现代化建设,实现电网信息化、自动化、互动化,而且还能够促进智能用电的实现。因而,须加强重视,对智能电表相关功能及具体应用进行具体分析,具有十分重要的意义。本文主要探讨智能电表的功能特点,并对智能电表在智能电网中的应用进行分析。     

组态软件Synall在多用户智能电表监控网络系统中的应用

本基于工控组态软件Synall在智能电表监控网络系统中的应用,介绍了整个系统的硬件结构、控制管理软件的组成、各模块功能等。该系统是一个实用性能极佳的控制管理系统。     

智能电表无损升级功能的实现

针对智能电表生命周期中的缺点,介绍了一种可实现无损升级智能电表内部程序及其实现方法。通过外部通信接口的数据交互实现固件的升级更新功能,提高生产效率,降低整体成本。     

基于免疫遗传算法的软件测试数据自动生成

提出了一种应用于软件测试中的基于免疫遗传算法（IGA）的软件测试数据自动生成的算法。该算法在传统的遗传算法中引入免疫算子,免疫算子其中包括获取疫苗、注射疫苗和免疫选择。实验结果表明,该算法的效果比传统的遗传算法效果好。     

软件防反汇编技术研究*

为了保护软件所有权,根据一般的反汇编算法的特征,提出代码重叠、跳转地址重定向和控制流混淆等几种代码混淆技术。这些技术能使反汇编结果出现混淆,误导攻击者对程序理解,从而提高软件防反汇编的能力,有效地阻止对软件的逆向分析,保护了软件的知识产权。     

基于场景技术的嵌入式软件测试用例生成方法

软件测试自动化是当前软件测试的发展趋势.场景技术的引入可以更有效地进行测试用例的描述,从而有助于实现软件测试自动化,提高测试效率和测试的可维护性、可重复性.从被测系统的文档分析入手,将场景技术运用于测试用例生成过程中,提出了嵌入式软件测试用例生成方法,并将该方法运用到实际的软件测试中,验证了该方法的正确性和有效性.     

一种基于特征迁移系统的软件产品线测试方法

为了在软件产品线的应用工程阶段最大程度地复用领域工程的测试用例,领域测试用例需要覆盖领域模型中的变化性.针对此问题,提出了一种以特征模型为出发点的软件产品线测试方法,通过扩展特征迁移系统建立软件产品线的领域行为模型,对模型中的变化性迁移进行抽象,得到精简的测试模型;应用迁移覆盖准则,导出包含变化性的领域测试用例;在应用工程阶段,根据具体应用所包含的特征,绑定领域测试用例中的变化性,复用领域测试用例导出针对具体应用的测试用例.最后通过一个咖啡机产品线验证了该测试方法,导出了可复用的领域测试用例.     

基于产品线体系结构的软件工程过程模型研究

在借鉴现代工业的组织体系、管理规范、生产流程的基础上,针对基于软件产品线体系结构的软件工程方法和开发过程进行了系统研究,提出了基于产品线体系结构而实现软件工程化生产的N-生命周期模型.该模型的建立,对研究基于软件产品线体系结构的集成化软件工程环境,进而实现软件产品的工业化生产是非常有益且重要的.     

基于动态二进制翻译技术的数管软件虚拟测试环境设计

针对传统的数管软件测试环境硬件设备依赖性强、地检设备多、监视点分散和软件内部状态跟踪困难等问题,设计和构建了基于QEMU模拟器的数管软件虚拟测试环境。该环境基于动态二进制翻译技术模拟星载处理器,实现在异构平台下运行星载数管软件,同时增加指令跟踪记录功能,帮助软件异常问题定位;融合外围设备驱动和终端应用功能,对数据流进行仿真,并采用统一的格式集中管理数据,进行分层处理和实时差异比对,以日志形式记录数据变化,实现对系统状态的单窗口监视。在高分四号卫星等型号的应用表明,文章设计的虚拟测试环境能够模拟数管软件运行环境,提供更多的调试手段,使软件测试工作提前,促进了软硬件协同开发,提高了星载软件的开发测试效率。     

基于测试充分性准则的教育软件内容测试

教育软件内容测试是对教育软件根本性目标进行测试的需要,也是教育信息技术和教育软件工程研究的重点内容之一。基于测试充分性准则提出了教育软件内容测试,通过测试充分性准则来指导确定测试数据集,保障遵循学习特征的教育软件所包含的教育思想内容的正确性测试。     

基于UML的嵌入式软件测试用例生成方法研究

基于嵌入式软件实时性、嵌入式和反应式等特点 ,对 UML进行了实时性扩展 ,运用多种 UML视图描述嵌入式系统的结构和行为 ,提出了如何从基于 UML的模型中自动生成测试用例的设计思路。     

基于虚拟模型的辅助教学软件设计

阐述了一种制作助教式辅助教学软件的方法,将基于VRML构建的实时交互虚拟模型嵌入PowerPoint幻灯片中,将文本内容、二维图形动画及实时交互虚拟模型有机地结合在一起,以“工程图学虚拟模型辅助教学软件”为例,详述了实时交互虚拟模型及其与PowerPoint幻灯片相融合的设计方法和制作技巧。     

基于遗传算法的类对象测试数据自动生成研究

在测试数据自动化生成方法中,对类对象测试数据的生成目前在实际中还没有完善的解决方法。针对这个不足,研究了基于遗传算法的类对象测试数据自动生成技术。在扩展海明距离法的基础上,提出了一种在遗传算法中生成类对象测试数据的适应度函数改进方法,并在理论上证明了该方法在缩短执行时间上的可行性。最后将方法实验于实际系统,实验结果显示在生成类对象测试数据的效率和准确性上都有明显的提高。