基于控制流的多线程程序的静态切片算法

介绍一种基于控制流的多线程程序的静态切片算法, 该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息, 利用这些信息能 够判断出程序中的多线程可实现路径, 从而提高多线程程序静态切片的精度和效率. 最后给出一个多线程切片的实例.     

一种获取Web结构切片的方法及其应用

程序切片是一种程序分析方法,在软件的理解、调试、维护、测试以及逆向工程中发挥中着重要的作用.Web应用程序的编码特性与传统程序有着较大的区别,因此,传统的切片方法难以适用.在分析Web应用程序语句特征的基础上,定义了由页面引起的Web页面间的各种依赖关联,并构建了Web应用结构依赖图WAStrDG.基于WAStrDG所实现的Web结构切片算法有助于获取Web结构层次的信息,可以有效提高Web的测试和维护效率.     

一种直观的递归模拟方法

介绍了一种直观的递归模拟方法，依据一系列的转换规则，结合三个递归程序转换成非递归程序的实例对该方法进行了探讨。     

程序切片常用算法研究

程序切片是一种有效的程序分析技术，它能根据给定的切片准则从源程序中提取出所需部分进行分析，如进行程序调试、测试、程序重构分析等。本文主要研究程序切片的准则以及相关算法。     

一种基于程序行为模糊模式匹配的病毒检测方法

根据典型病毒的行为特征,提取病毒程序的系统API调用序列,用来分类量化病毒的程序行为。模糊分类后建立病毒行为特征库,对可疑程序进行模糊模式匹配。模拟中选取了3种典型计算机病毒样本,在不同阈值下对20个程序进行检测,结果表明,有效识别率可达90％。     

关于递归调用方法的探讨

递归是软件设计的一种重要方法和技术.从递归调用机制出发,深入讨论递归调用的内部实现原理、递归程序的阅读、递归程序的验证与编写及递归方法存在的问题等内容.     

基于动态程序切片的软件水印方案

针对中间码中水印信息抗逆向工程差的问题，提出基于动态程序切片的软件水印方案，利用动态程序切片技术将系统分割为隐秘部分与公开部分，然后改变交互模块间数据依赖关系嵌入水印信息，记录执行历史中的数据依赖关系提取水印信息，恢复隐秘部分复杂性实验证明算法对逆向工程攻击是鲁棒的；系统分割前后的运行时间对比实验证明算法对系统效率的影响在合理范围内，隐秘部分放在安全主机中确保水印系统的安全性，该方案适用于对移动计算与分布式软件进行保护。     

VB调用C程序DLL的一种方法

本文提出了一种实现VB调用C语言程序的方法,给出了动态链接库DLL制作的一般框架,并通过实例描述了DLL制做方法、编程步骤。     

在MATLAB中调用VISUAL FORTRAN程序的实现

在使用MATLAB语言的过程中，有些用户希望在MATLAB中直接运用一些过去编写的经典而高效的FORTRAN程序，而ATLAB本身并未提供与FORTRAN的接口，这就需要用户编写有关的接口程序。本文阐述了在MATLAB中如何调用VISUAL FORTRAN程序。通过MATLAB对FORTRAN MEX文件的调用实例，叙述了在MATLAB中调用VISUAL FORTRAN程序的原理和实现过程。     

一种LabVIEW调用MATLAB的方法

LabVIEW和MATLAB是目前工程技术领域中比较流行的两种软件,功能强大但又各自存在着不足,介绍了在LabVIEW中通过MATLAB Script节点调用MATLAB应用程序的方法及注意事项,可以互相弥补不足,更好地发挥各自长处.在输油管道泄漏检测系统例程中运行的结果证明,这种调用可以有效地实现,并完成其算法功能.这种调用的实现为快速开发具有复杂算法、功能强大的智能化虚拟仪器提供了有力的工具.     

Complexity measure based on program slicing and its validation

The popular single-factor complexity measure cannot comprehensively reflect program complexity and the existing hybrid complexity measure cannot express the interactive behaviors of programs. To treat these problems, in this paper, we propose a complexity measure based on program slicing（CMBPS）. CMPBS not only can evaluate factors which affect program complexity such as the length of the program, control flow, data flow and data types of output variables, but also can give expression of the interactive relation between programs. And we also prove that CMBPS satisfies all of Weyuker properties. Compared with the popular complexity measures, CMBPS is a well-structured complexity measure.     

基于层次切片模型的JAVA相互作用耦合度量

在Eder等人提出的三维耦合度量框架基础上,基于层次切片模型对JAVA中的相互作用耦合进行了研究,得到了JAVA中存在的相互作用耦合类型,并建立了一系列形式化的相互作用耦合度量公式.相对传统的耦合性度量,基于层次切片技术的耦合性度量更加精确,它不仅描述了度量对象之间的耦合关系,并在一定程度上描述了度量对象之间的耦合程度,从而为程序分析和理解等软件活动提供更多有用的信息.     

一种基于层次切片的软件错误定位方法

提出了一种基于层次切片模型适合面向对象语言的错误定位方法.首先分别在包层、类层、方法层删去通过测试的包、类和方法,缩小软件错误存在的范围;其次,在语句层将删减后的程序按抽象语法树划分成若干模块,统计模块内变量使用的数目;通过动态分析,选取一组测试用例计算其执行历史;根据模块内使用变量数目的规模,采用逐步求精算法,计算产生错误测试用例的程序执行历史与静态分析过程中所产生模块的交集及交集的后向切片,直至实现错误定位.实验数据表明:该方法能够查出前期定位程序中绝大部分错误的位置,尤其适用在方法调用比较少的程序中.在方法调用比较频繁的程序中,由于在调用语句处迭代调用逐步求精算法,效率会降低.     

基于地层切片的高精度边缘检测方法研究*

为了克服常规边缘检测方法的精度低、计算效率低,且只能处理二维水平时间(或沿层)切片的缺陷,在常规的基于希尔伯特变换方法的基础上提出了一种新的基于地层切片的高精度边缘检测方法.该方法针对地层切片进行计算,扩展了沿层切片的应用范围,更符合地下实际的地质情况;并且采用时间域的希尔伯特变换进行计算,计算优于常规基于频率域的希尔伯特变换的方法.此外,在计算流程上针对地层切片数组的纵向和横向等2个方向同时进行处理:先采用二维保边去噪进行预处理,然后采用时间域希尔伯特变换进行边缘检测,不仅可以有效地压制噪声,而且可以进一步提高了计算精度.塔中某区的实际地震资料的应用效果表明,新方法的裂缝检测符合率高于常规的裂缝检测方法(如希尔伯特变换方法、相干方法、基于张量的方法等).     

Dependence analysis based on dynamic slicing for debugging

Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains only those statements that actually affect the variables in the slicing criterion. This paper proposes a dynamic slicing method based on static dependence analysis. It uses the program dependence graph and other static information to reduce the information needed to be traced during program execution. Thus, the efficiency is dramatically improved while the precision is not depressed. The slicing criterion is modified to fit for debugging. It consists of filename and the line number at which the statement is.     

基于STL的快速分层处理软件的研发

分析了影响分层处理效率的主要因素,提出了基于三角形面片特征的快速排序算法、轮廓线快速生成算法和快速分层算法,并在此基础上开发了基于STL模型的快速分层处理软件.大量实际应用结果表明,该软件高效、稳定、可靠.     

一种基于流式模式匹配的分片攻击检测方法

传统的入侵防御系统中对于通过tcp流分片而躲避入侵检测的攻击行为,所采用的应对方法是通过流重组,而当前的流重组方案要么有着严重的系统开销,要么当攻击者将数据包分片得过小时,方法失效.本文提出了流式模式匹配的思想,将对流数据的连续性需求转化为对模式匹配连续性的需求,从而设计了一种基于流式模式匹配的分片攻击检测方法,可代替流重组方式进行分片攻击检测.经过实验证明,本方法在实时性、吞吐量和内存占用等方面优于传统的流重组方法.     

Using Combinational Logic Function to Watermark IP Based on FPGA

In the field of digital circuit design, the extensive applications of reusable intellectual property （IP） simplify the design procedure based on very large scale field programmable gate array （FPGA）, and shorten the time to market （TTM）. However, the flexibility of reusable IP makes itself easy to be stolen and illegally distributed by intruders. The protection method proposed in this paper maps IP owner＇s signature to combinational logic functions, and then implements these functions into unused lookup tables （LUTs） in the design based on FPGA, which can be used as a strong proof of IPs ownership. The related experiment results show that this protection method has favorable characteristics such as low overhead, few effects on performance, and high security.     

一种结合LSB和DCT的数字水印算法

提出了一种基于改进的LSB和DCT相结合的新的水印嵌入算法,根据水印内容将水印信号分成重要和不重要两部分,分别嵌入到载体图像频域和时域中.该算法不仅扩大了数字水印的嵌入容量,还提高了水印的鲁棒性及安全性.实验表明,本算法鲁棒性优于LSB算法并且隐藏容量大于DCT算法.