共查询到20条相似文献,搜索用时 93 毫秒
1.
电力企业在将反汇编技术应用于嵌入式智能电表软件一致性检测模型时出现了因不同硬件而产生差异的字节序问题和程序运行时的嵌入式设备内存受限问题,从而影响了模型整体的性能。针对这两个关键问题进行分析,结合嵌入式智能电表内部特征和硬件体系架构理论的深层探讨,依次提出了目标代码双逆置预处理算法(CDIPA)和分段反汇编算法(SDA)。对原代码使用目标代码双逆置预处理算法得到调整字节顺序的代码,分别将原代码和调整代码反汇编获得两种待测结果,结合硬件信息分析结果并以匹配度高的指令作为最终结果从而解决了字节序问题;分段反汇编算法通过调整反汇编输入规模并分次运行的方法解决设备内存受限问题。实验结果表明将这两种算法用于给定的电表设备,可以有效解决上述关键问题,同时算法也表现出良好的健壮性和可移植性。 相似文献
2.
3.
4.
一种基于重定位信息的二次反汇编算法 总被引:1,自引:1,他引:1
反汇编技术是静态分析二进制程序的基础,目前广为采用的反汇编算法是线性扫描和递归行进算法。前者无法正确处理代码段中嵌入数据的情况,后者则必须解决间接跳转目的地址的预测问题。本文介绍了这两种算法的原理,分析了其存在的问题,并利用二进制文件中旬重定位信息对它们进行了优化。将优化后的两种方法结合起来,给出了一种新颖的二次反汇编算法,这种算法能够捕获反汇编过程中出错的情况,从而控制错误传播,并使得基于反汇编代码的应用可以针对出错情况进行相应的处理。 相似文献
5.
反汇编是固件代码逆向分析的重要研究内容,其正确性直接影响固件代码逆向分析的准确性。固件代码结构具有特殊性,针对上层应用程序的反汇编算法大都不能直接用于固件代码的反汇编。中断向量表是固件代码的重要组成部分,从中断向量开始对中断服务子程序进行反汇编,可提高固件代码反汇编的精度。通过对固件代码结构特点的研究分析,介绍了中断向量表的重构方法,提出了一种基于中断向量表重构的固件代码反汇编技术。经测试分析,与传统的静态反汇编技术相比,基于中断向量表重构的固件代码反汇编技术不仅能够对固件代码中的主函数进行反汇编,还能够对中断服务子程序进行反汇编,反汇编精度平均提高了8.72%。 相似文献
6.
基于控制流的静态反汇编算法研究 总被引:4,自引:0,他引:4
该文在分析各种类型的指令对程序静态流程影响的基础上,提出了一种基于程序流程遍历图的静态反汇编算法,并给出了一种基于统计学的代码间隙填充技术对由间接跳转和间接调用所引用的代码区进行反汇编的方法。 相似文献
7.
8.
田永宁 《电子制作.电脑维护与应用》2014,(3)
与传统意义上的电能表不同,智能电表是智能电网的智能终端,既具有传统电表的用电量计量功能,又具有多种智能化功能,适应了新能源的使用和智能电网的发展。代表着未来节能型智能电网最终用户智能化终端的发展方向,智能电表在电网中的应用越来越广泛。对智能电表功能及应用的探析,不仅能够促进智能电网的现代化建设,实现电网信息化、自动化、互动化,而且还能够促进智能用电的实现。因而,须加强重视,对智能电表相关功能及具体应用进行具体分析,具有十分重要的意义。本文主要探讨智能电表的功能特点,并对智能电表在智能电网中的应用进行分析。 相似文献
9.
10.
11.
为了保护软件所有权,根据一般的反汇编算法的特征,提出代码重叠、跳转地址重定向和控制流混淆等几种代码混淆技术。这些技术能使反汇编结果出现混淆,误导攻击者对程序理解,从而提高软件防反汇编的能力,有效地阻止对软件的逆向分析,保护了软件的知识产权。 相似文献
12.
基于免疫遗传算法的软件测试数据自动生成 总被引:7,自引:0,他引:7
提出了一种应用于软件测试中的基于免疫遗传算法(IGA)的软件测试数据自动生成的算法。该算法在传统的遗传算法中引入免疫算子,免疫算子其中包括获取疫苗、注射疫苗和免疫选择。实验结果表明,该算法的效果比传统的遗传算法效果好。 相似文献
13.
基于场景技术的嵌入式软件测试用例生成方法 总被引:1,自引:0,他引:1
软件测试自动化是当前软件测试的发展趋势.场景技术的引入可以更有效地进行测试用例的描述,从而有助于实现软件测试自动化,提高测试效率和测试的可维护性、可重复性.从被测系统的文档分析入手,将场景技术运用于测试用例生成过程中,提出了嵌入式软件测试用例生成方法,并将该方法运用到实际的软件测试中,验证了该方法的正确性和有效性. 相似文献
14.
为了在软件产品线的应用工程阶段最大程度地复用领域工程的测试用例,领域测试用例需要覆盖领域模型中的变化性.针对此问题,提出了一种以特征模型为出发点的软件产品线测试方法,通过扩展特征迁移系统建立软件产品线的领域行为模型,对模型中的变化性迁移进行抽象,得到精简的测试模型;应用迁移覆盖准则,导出包含变化性的领域测试用例;在应用工程阶段,根据具体应用所包含的特征,绑定领域测试用例中的变化性,复用领域测试用例导出针对具体应用的测试用例.最后通过一个咖啡机产品线验证了该测试方法,导出了可复用的领域测试用例. 相似文献
15.
董剑利 《计算机工程与设计》2008,29(12)
在借鉴现代工业的组织体系、管理规范、生产流程的基础上,针对基于软件产品线体系结构的软件工程方法和开发过程进行了系统研究,提出了基于产品线体系结构而实现软件工程化生产的N-生命周期模型.该模型的建立,对研究基于软件产品线体系结构的集成化软件工程环境,进而实现软件产品的工业化生产是非常有益且重要的. 相似文献
16.
针对传统的数管软件测试环境硬件设备依赖性强、地检设备多、监视点分散和软件内部状态跟踪困难等问题,设计和构建了基于QEMU模拟器的数管软件虚拟测试环境。该环境基于动态二进制翻译技术模拟星载处理器,实现在异构平台下运行星载数管软件,同时增加指令跟踪记录功能,帮助软件异常问题定位;融合外围设备驱动和终端应用功能,对数据流进行仿真,并采用统一的格式集中管理数据,进行分层处理和实时差异比对,以日志形式记录数据变化,实现对系统状态的单窗口监视。在高分四号卫星等型号的应用表明,文章设计的虚拟测试环境能够模拟数管软件运行环境,提供更多的调试手段,使软件测试工作提前,促进了软硬件协同开发,提高了星载软件的开发测试效率。 相似文献
17.
教育软件内容测试是对教育软件根本性目标进行测试的需要,也是教育信息技术和教育软件工程研究的重点内容之一。基于测试充分性准则提出了教育软件内容测试,通过测试充分性准则来指导确定测试数据集,保障遵循学习特征的教育软件所包含的教育思想内容的正确性测试。 相似文献
18.
19.