Web系统维护中的逆向工程研究

分析丁软件维护当中的问题,提出了一种针对Web系统的逆向工程方法。该方法以Web站点为输入分析页面的源码,从页面链接和交互进行逆向,构建出站点的部署和任务模型,从而直观地表示出对维护人员有帮助的系统信息,同时介绍了笔者自行开发的逆向工程辅助工具。通过该方法．维护人员能够直接得到系统信息,而不必去分析源代码,克服了缺乏设计文档的困难。通过一个web站点的逆向实例,演示了这种方法。     

可编程逻辑器件逆向工程研究

逆向工程在科技发展和商业用途上都发挥着重要作用.本文针对在电子、电机和信息领域广泛应用的可编程逻辑器件进行逆向工程研究,首先根据设计中可实现的逻辑结构特征对可编程逻辑器件进行分类,分析论证使用非破坏性方法对可编程逻辑器件进行逆向还原、再造的可能性,然后理论证明可编程逻辑器件逆向工程的可行性,最后给出逆向工程分析中所涉及的关键技术.     

无线传感器网络的协议再工程与方法研究

基于协议工程和软件再工程的相关概念,提出一种针对无线传感器网络协议定制行为的规范化工作流程,命名为协议再工程.阐明了协议再工程产生的背景、定义、生命周期和工作流程;同时提出一种将统一建模语言和着色Petri网的U-CPN相集成的方法,用于协议再工程中的形式化描述模型的建立与验证,并对U-CPN和统一建模语言模型的等价性作出了基于网射的证明.最后,通过一个Zigbee相关的实例表明,在U-CPN方法基础上使用协议再工程指导协议修改,在可控性和描述力上具有优势,尤其加强了协议再工程中的形式化分析能力,可以很好地保证协议的修改质量.     

面向复杂结构零件的逆向测量规划技术

提出了一种复杂结构零件的逆向测量规划技术.基于功能-结构的层次映射,研究了复杂结构零件的元特征解耦机理,提取基本测量单元.构建包含精度特性、特征复杂度等元特征属性的信息模型及包含测量精度等的测量方法信息模型.建立元特征和测量方法匹配评价影响因素集,研究特征属性的关系模型.在此基础上,通过定性评价和模糊定量评价两个步骤得到匹配优度量化值,实现了测量方法的定量化最优选择.然后,对分散的元特征进行组合,优化整个测量过程.最后,采用此方法对汽车发动机气缸盖进行了快速逆向测量,并重构了计算机辅助设计模型.实验结果表明,该方法可以提高复杂结构零件的逆向设计效率与质量.     

基于工业CT图像的数控代码直接生成方法研究

以曲面形状简单、可直接仿制的产品为对象,提出了由工业计算机断层成像技术图像直接生成数控代码的方法.该方法首先对产品的切片图像进行边缘提取与轮廓跟踪,再采用B样条曲线进行轮廓拟合,然后引入平面任意区域加工填充技术,逐层生成刀具路径并进行有序连接,最后生成数控代码.在B样条曲线拟合中,为了提高拟合精度,提出了一种基于特征点提取与线段类型识别的型值点选取法;在数控代码生成步骤中,改进了单层切片轮廓岛屿关系判别方法,提高了判别正确率.开发了软件系统,将该软件生成的数控代码输入到加工仿真软件中,仿真结果验证了数控代码生成方法的正确性.     

基于逆向工程的手柄模型设计

逆向工程是数字化产品开发方法的重要手段。本文利用逆向工程技术针对操作手柄曲面进行几何逆向反求设计,利用三维坐标测量仪准确、快速地测量出工件的轮廓坐标,通过Pro/E软件自带的独立几何逆向造型方法获取零件模型各个面的轮廓点云数据,再通将各个面的轮廓点云数据修补整合进行曲面重构,并对重构的曲面进行分析和优化,最终生成零件曲面模型。     

C反编译控制流恢复的形式描述及算法

反编译是软件逆向工程的重要组成部分。控制流恢复是Ｃ反编译的重要组成部分。本文首先描述了验证反编译结果与原程序功能等价的模型；其次从数学角度提出了Ｃ编译和反编译控制结构的数学模型并给出其性质；再次根据对Ｃ控制语句编译结果的分析，以扩展的ＢＮＦ形式描述了Ｃ控制语句反编译的约束属性方法；最后给出并说明了反编译控制流恢复的算法及其运行示例。     

PolyWorks在逆向工程点云数据处理中的应用

点云数据的生成和处理是逆向工程中的关键技术之一。本文以鼠标为例,介绍了利用非接触式三维光学扫描仪生成点云数据和PolyWorks软件进行点云数据处理的方法,并分析了点云数据处理质量的影响因素。     

基于模式切换的ARM汇编代码混淆算法

针对ARM程序高层代码混淆存在盲目性较强而降低混淆准确度,且很容易被逆向还原的问题。从ARM汇编指令底层研究ARM程序混淆,通过结合ARM架构指令系统的特点,基于模式切换提出一种ARM汇编代码混淆算法,包括指令模式切换混淆、寄存器随机分配混淆和虚假指令混淆,使混淆后汇编代码的控制流变得更加复杂,且对切换地址的寄存器混淆也提高了动态调试跟踪的难度。模式切换及虚假指令混淆也会造成反汇编错误,从复杂强度、逆向弹性和性能开销三方面进行测试评估。测试结果表明,该混淆算法不仅有效地提高了程序的控制流循环复杂度,而且能够抵抗反汇编工具的逆向分析。该混淆算法引发的额外体积开销和时间开销较低,具有实用性。