基于程序不变量的载荷特征提取方法

应用层载荷特征是一种使用广泛、识别率高的指纹,但其生成主要依赖手工分析。针对该类特征的自动生成问题,提出一种基于程序不变量的指纹提取方法。该方法对应用程序进行插桩,跟踪应用程序处理协议数据包的过程,生成程序状态集并从中检测程序不变量,结合协议数据包中各个域的污点传播记录,获得数据包中存在的域间关系,进而提取出协议指纹。该方法具有效率高、不需分析协议语法语义、生成指纹精确性高等特点。     

一种基于不变量的测试空间约简方法

测试用例的自动生成在带来方便的同时引入了大量的等价输入及过多的冗余测试用例,对于测试空间的约简能够有效地解决这一矛盾。程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言,可以用于指导测试用例的生成。通过程序不变量来判断测试用例的有效性,再根据无效测试用例来确定无效空间,并对无效空间进行删减,从而达到减少冗余测试用例、提高测试用例集生成速度的目的。     

一种基于函数依赖的数据清洗方法

在移动互联网时代,数据清洗主要在数据仓库、数据库知识发现(也称数据挖掘)和总体数据质量管理这3个领域研究较多。在数据仓库研究和应用领域,数据清洗处理是构建数据仓库的第一步,由于数据量巨大,不可能进行人工处理,因此自动化数据清洗受到工商业界的广泛关注。针对早期数据清洗中的不足,文章提出一种基于函数依赖的数据清洗方法,通过5个步骤的实施,可以有效提升数据质量。     

基于抽象解释的函数不变量正确性验证

函数不变量检测是提高软件质量的一种有效方法.针对检测方法可能带来无效的函数不变量的缺陷,提出一种以抽象解释理论为基础的函数不变量的正确性验证方法.首先将函数不变量转化成多项式关系;其次结合多项式程序与最弱前置条件抽象解释分析多项式关系正确性的判断依据;最后构造多项式关系算法,凭借得到的结果验证函数不变量正确与否.同时通过一个C程序中的函数不变量为例对该验证方法进行说明.     

DF关系数据库的函数依赖研究

数据间的函数依赖关系一直是关系数据库理论研究中的重要课题,同样,DF关系数据库中也存在着函数依赖关系.首先,基于DF关系理论给出了DF关系数据模型的定义,并介绍了属性值的表示方法;然后,用动态模糊等价关系及其隶属函数来描述动态模糊函数依赖,给出了DF数据库中函数依赖的基本定义,以及基于DF蕴涵关系的公理系统,并证明其推理规则是正确和完备的;最后讨论了DF关系的规范化设计.     

一种改进的用于并发程序静态切片的程序依赖图

分析了Krinke切片算法，发现当对程序循环体内嵌套有一个或多个线程的结构时会产生切片不精确的现象．原因是Krinke算法的数据结构所定义的线程间数据依赖关系过于粗糙，相应的切片算法对程序执行路径的合法性约束不够严格。提出一种改进的并发程序依赖图，引入跨线程边界循环一承载数据依赖关系。给出了添加跨线程边界循环一承载数据依赖关系的算法。实例分析表明，作用在新的并发程序依赖图上的切片算法克服了Krinke算法的切片不精确现象。     

基于不变量的机器学习算法分析

随着机器学习算法在人工智能各领域的广泛应用,人们开始关注机器学习算法的质量分析.由于机器学习算法中缺少测试语言,对学习算法进行质量分析是很困难的,基于此,本文提出了基于不变量的机器学习算法分析方法,对5种机器学习算法进行不同参数下的不变量生成,得到不变量集合.通过动态筛选机制和函数调用图,对不变量集合进行筛选和提取,得...     

基于依赖条件重构的程序符号值分析方法

符号执行在路径分析、调试和验证等软件分析过程中发挥着重要的作用.但是随着程序规模的增大,有效的执行路径数量程指数级增长,符号执行技术往往难以有较好的分析效果.符号执行分析中的两个瓶颈问题是路径条件表达式的提取和约束求解.状态合并是目前解决状态爆炸的常用分析方法,但是这种抽象的分析方法往往会导致错误的路径信息.依据符号执行引擎采用的搜索策略,符号执行工具在符号变量状态合并中可能会产生不可解的路径条件.提出基于依赖条件重构的程序符号值分析方法,通过综合分析各路径的路径条件逻辑表达式,提取共享的变量符号值从而提高变量状态合并的效率,同时采用逆向关联分析方法产生依赖条件集合从而提高路径分析的精度.实验结果表明该方法相对于传统的状态合并分析方法有更高的执行效率及分析精度.     

求布尔函数零化子的一种算法以及一类代数攻击不变量

该文首先给出了一种新的求布尔函数代数次数d的零化子的算法,并且利用布尔函数的特征矩阵得到了低次零化子存在性的判别条件。其次,该文通过研究(5,1,3,12)旋转对称饱和最优函数的代数免疫和一类构造函数的代数免疫,证明了一类函数为代数攻击不变量,并对此性质作了进一步推广。     

一种基于加性潜变量的扩维卡尔曼滤波方法

现有面对非线性系统所设计的卡尔曼滤波器的性能常随着非线性程度的增强而逐步退化。为了弥补扩展卡尔曼滤波和无迹卡尔曼滤波在线性化过程中的不足之处,文中针对一类由线性项和非线性项累加组成的强非线性系统,建立了一种基于潜变量的扩维卡尔曼滤波方法。该方法将非线性项定义为原始系统的潜变量,并建立了关于潜变量的线性动态关联模型,将潜变量扩维到系统原始的状态变量中,从而建立以原始变量和潜变量为基础的线性系统模型。最后设计出该类系统的高阶扩维卡尔曼滤波器,并经过MATLAB仿真验证了新设计滤波器的有效性与准确性。     

一种基于程序可达图的并发程序依赖性分析方法

依赖性分析是一种重要的程序分析手段.针对多线程共享变量通信机制,本文在提出一种新的并发程序表示—线程交互可达图(tIRG)的基础上,从全局分析并发程序的依赖关系,构建了以程序状态和语句二元组为节点的并发程序依赖图(MSDG).与传统的以语句为节点的并发程序依赖图相比,MSDG图中依赖关系不仅精确,且具有可传递性,对其遍历可获得高精度的并发程序切片,精度和效率较其它高精度切片方法有显著提高.     

一种Ada并发程序的模型检测方法

提出了一种针对Ada并发程序的模型提取方法,使用模型检测工具SPIN对生成的模型进行自动化验证,发现Ada语言编写的程序中并发错误。通过实例对提取方法进行验证,实验结果表明,此方法能够成功检测出Ada并发程序中存在的错误,并给出相应的错误路径。     

一种新的程序在线升级的实现

介绍一种新的程序在线升级方法,以及程序在线升级方法[1]在嵌入式系统中的应用和实现.设计将从系统原理和实现介绍该程序在线升级方法[2].设计的核心处理器采用飞思卡尔MC9S12xDT512控制器,利用串口作为通讯方式,自定义通讯协议.上位机将升级文件传送给下位机,下位机将数据解析后存储在内部Flash中.解析成功后下位...     

并发程序切片方法综述

随着实际应用对并发软件需求的不断增加,并发程序的应用越来越广,程序切片的研究不再仅仅局限于顺序程序,并发程序切片的研究也越来越多。但是由于并发程序执行的不确定性,并发程序切片的研究还有许多问题有待解决。文中介绍了当前主要的几种并发程序切片方法及其主要特性,并对这些切片方法进行了比较分析,结果表明并发程序切片的效率和精度都达到理想的目标是不可能的,只能是在两者之间的均衡,最后简要介绍了并发程序切片的应用。     

一种动态可重构协处理器参数化系统级模型研究

提出了参数化系统级模型.该模型不依赖于具体结构,以任务布局与重构处理分离的两级结构处理任务调用,通过参数方式实现不同设计方案的硬件结构和布局算法的配置.采用SystemC语言对模型进行了建模验证,仿真结果表明,通过指定上下文的下载、配置和执行等时间开销参数,在系统级设计空间探索中,能很好地模拟动态重构协处理器.     

双语法规则程序依赖性分析

为了提高传统程序依赖性分析的应用范围和灵活性,提出一种新的程序分析方法。该方法分为不完整性分析和完整性分析两部分。在gcc3.2和Linux内核2.4.20-8的编译环境下,利用不同的词法和语法分析模块对程序结构、数据依赖和控制信息进行提取,加快了程序分析的速度,并有效降低了程序数据流依赖分析和控制流依赖分析中算法的复杂度。最后用具体的程序实现证明了该算法的可行性。     

一种实现数字电视PVR功能的设计方法

设计并实现了一种存储数字电视节目的简单方法，存储下来的节目可以为码流分析或节目复用提供节目源，也可为个人存储有线或卫星电视节目提供极大方便。