基于程序流敏感的自修改代码混淆方法

自修改代码混淆方法是一种隐藏程序重要信息的有效技术。为减少代码混淆造成的额外开销而又不影响代码混淆的质量,利用程序流敏感分析方法选择比较重要的指令进行混淆。为提高代码混淆的质量,有效地防止反汇编,提出一个二步比较混淆模型。该模型包括两个子混淆器,混淆器1采用程序流敏感分析方法获得混淆的指令并产生两个混淆代码文件和一个混淆代码映射文件。混淆器2通过比较两个混淆代码文件精确地定位混淆指令在二进制代码中的位置,然后利用混淆代码映射文件对二进制代码进行混淆,以进一步提高代码混淆的质量。通过实验分析,混淆后二进制文件的额外开销只占整个代码的3%左右,并且混淆后的反汇编代码明显异于原始的反汇编代码,甚至出现了一些无法识别的错误指令。

MPEG-2程序流的软件合成实现方案

对MPEG-2程序流语法格式进行分析，利用计算机的并行处理技术，提出了基于微机的MPEG-2实时音视频编码时的程序流合成方案。

一种逆向程序流依赖性分析方法及其应用

本文提出一种基于逆向程序流分析的程序依赖性分析的形式化通用模型,它虽然基于一些很简单的概念与定义,但在程序测试、排错、维护、代码优化等多个方面有着广泛的应用。

MPEG-2程序流实时复用器的软件实现

介绍了MPEG-2程序流复用器的一种简单易于实现方案。文中采用等字节长度打包与复用的方法，并利用多线程的并行处理技术，实现程序流的实时合成。

程序流图结构研究

本文通过对程序流图结点序的分析,研究了流图的结构性质,证明了Earnest等人提出的一个猜想,从而解决了有关程序流图的结构问题.

MPEG-程序流的软件合成实现方案

对MPEG2程序流语法格式进行分析,利用计算机的并行处理技术,提出了基于微机的MPEG-2实时音视频编码时的程序流合成方案。

DVD程序流至DVB传送流的一种转换方法

音视频模拟信号的DVD程序流至DVB传送流的转换方法不可避免地会降低转换后的节目质量.在分析DVD和DVB码流标准定义基础上,提出了一种基于音视频数字基本流的无损转换方法,并开发完成相应的软件工具包,用以实现音视频转换、系统信息生成、时间信息校正和复用等转换过程.对转换后生成的传送流的系统信息和时间信息进行了静态分析,并在数字视频广播系统平台上进行了应用测试,测试结果证明该转换方法正确,转换后的节目可用作DVB的入网节目源.

基于逆向程序流和函数依赖集的程序切片算法

程序切片技术大多是根据程序依赖图(PDG)和系统依赖图(SDG)的图可达性算法来优化得到感兴趣的程序集合,但是构造PDG和SDG需要很大的空间开销。本文提出一种基于逆向程序流和函数依赖集的切片算法,从兴趣点开始扫描逆向程序流来计算程序切片,只计算与切片相关的数据依赖,并且考虑函数调用时切片的计算,提高计算切片的效率。通过实例表明该算法减少了计算程序切片的复杂度,具有一定的可行性和实用性。

程序流图的道路问题

本文研究了既含简单的不可归约流图,又含不具互优反向点的可归约流图的单性流图类,并考虑了把在单性流图类的简单道路集上的分析问题,代之以在它的无圈子图类的道路集上的分析的方法和形式。

汇编程序覆盖测试中分支路径数的计算

说明了覆盖测试是软件测试中的重要方法,是软件动态测试的基本手段。并提出通过基本块存储矩阵和邻接表来处理汇编语言程序流图,从而计算其分支路径数的算法并验证其正确性,为进一步的分支覆盖率计算奠定基础。实验证明,该方法能高效准确地计算出给定汇编程序的分支路径数。

实时系统程序最差情况执行时间(WCET)的分析

事先获知系统中程序最差情况的执行时间(Worst-CaseExecutionTime,WCET),是设计和验证实时系统调度及可调度性分析的前提,也是确定周期性任务是否满足其性能目标,从而发现系统性能瓶颈的基础。本文概述了程序WCET的分析方法,描述了WCET分析的定义和组成,重点总结其中的程序流事实分析方法,并指出程序流事实分析存在的问题和WCET分析的研究热点。

面向测试和模型检测需求的程序建模技术研究

由于同时支持软件测试和模型检测需求的程序建模比较少,为此提出了一种程序建模技术,该技术主要包括物理存储模型、可视化模型和代数模型。利用程序流图的思想建立物理存储模型和可视化模型,并通过建立在严格数学基础上的代数模型验证可视化模型的正确性。实验结果表明,建立的程序模型为后续的模型检测工作提供了基本路径等可用信息,在一定程度上抑制了模型检测状态空间爆炸的问题。同时为后续的TTCN-3抽象测试套的自动生成提供了基本路径、数据类型等信息。该程序模型为最终实现建模与检测自动一体化,提高效率奠定了基础。

X10程序的差别分析方法

程序差别分析是程序调试的常见手段,其主要用于分析程序不同版本之间的差异信息.然而,将现有程序差别分析算法扩展到并行程序语言还面临众多挑战.其主要原因在于并行程序复杂性较高,且存在支持并行活动的特殊机制,如地址(或线程)、活动、同步等,从而为有效进行程序差别分析设置了障碍.文中研究基于PGAS模型的X10并行程序的程序差别分析方法,并设计了一种语句级的、针对X10程序的程序差别分析算法X10Diff.X10Diff包括下列步骤:(1)匹配原程序和修改后程序中的类、接口、方法及地址;(2)为待分析程序片段构建基于地址的程序流图,并建立相应简化图;(3)迭代扩展并比较简化图,并将差别信息定位到代码中.

程序结构流图分析及应用

本文提出了程序结构流图的概念,分析了一般程序结构流图的表示及应用方法。程序结构流图概念将在程序结构设计与分析、程序结构转换以及程序正确性验证等领域获得应用。

面向基本路径的软件测试方法研究

软件测试是保证软件可靠性的主要手段,是发现并排除软件中隐藏错误和缺陷的重要途径,软件测试的最终结果就是把高质量的软件产品提交给用户。软件测试方法很多,其中的基本路径测试方法是白盒测试技术中解决复杂路径测试最有效的方法。实践证明,运用这一方法不但可以降低软件测试的工作量和复杂度,还可以提高软件测试的质量和效率。

基于IPC的远距离光电实时转速测量系统的研究

针对远距离实时转速测量的需要, 文章提出了一种利用红外激光器和ATMEL AT89C2051 单片机的实时转速测量系统。IPC机通过ISA总线获取实时转速信息。文章详细描述了硬件电路的设计并给出了程序流图。

网络群体心理趋势智能分析模型研究

网络群体是随着互联网网民的飞速膨胀而出现的虚拟聚集但真实存在的群体现象。由于互联网的隐秘性、自由性,使得网络群体能针对某一事物现象更真实地表述自己的观点。网络群体心理趋势分析是综合心理学、云计算、信息检索、自然语言处理、统计学等多学科理论和方法设计的智能模型。构建了以程序流为核心的网络群体心理趋势智能分析模型架构,突破了数据流方案,解决了云计算软件技术模式瓶颈。进一步研究了智能分析模型架构中核心模块的设计与实现,并以大学生网络群体的3万篇文本来检验该模型。结果表明,该模型能高效地实现网络群体心理趋势特征分析,能通过云图及结构方程模型给用户一个真实的感受。

WCET分析：建立实时系统可靠运行的技术

实时系统开发必须强调时间的重要性，为了保证系统安全运行，需要验证系统是否在时限内完成各个任务，因此，当设计和验证实时系统时。了解运行在系统中代码的最坏执行时间(WCET)是非常重要的。WCET静态分析(简称WCET分析)计算实时程序最坏执行时间的上界，而上界被用来为应用程序的任务分配正确的CPU时间，它们也是可调度分析工具的输入，因此，WCET分析是可靠建立实时系统安全正确运行的基础。介绍了WCET分析的概念。指出了传统测量存在的缺陷，剖析了WCET分析研究的关键技术，探讨了目前存在的问题和今后的发展方向。

基于服务器集群的云检索系统的研究与示范

在研究云计算及移动搜索引擎的基础上,依据当前技术发展,提出了基于服务器集群的云检索系统模型,该模型由云信息层、云检索集群系统和用户查询框组成。对云检索集群系统中数据存储技术进行了深入研究,提出了分布式云检索数据存储方案。为了提高云检索执行效率,提出了以程序流为核心的云检索软件执行模式。该模型的测试结果表明,系统功能能正确实现,性能表现较好且稳定。通过该模型的示范,给海量信息检索技术提供了拓展思维的方案。