投影图邻接矩阵生成算法

在投影图邻接矩阵生成算法的基础上提出了一种改进算法，该算法的复杂性Ｏ（ｎ２）．讨论了程序静态测试中不可出型控制流，不可进型控制流，主控制流中断等错误点的定位问题，类似的结论对数据流也适用，为构造程序静态测试工具提供了新的方法．另外，投影图邻接矩阵生成算法可用于通讯、交通、运输等领域，用于检测一个子集经另一个子集的可达性问题．     

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

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

控制流污点信息导向的符号执行技术研究

以快速生成能够覆盖可能存在缺陷程序点的测试用例为目标,结合基于生成的Fuzzing技术、静态程序控制流分析、静态污点分析等手段,提出一种导向式动态符号计算方法.通过Fuzzing生成能够到达包含缺陷程序点的函数的测试用例,作为种子输入驱动符号执行快速到达缺陷函数;在缺陷函数内利用静态控制流分析、静态污点分析计算出控制流污点可达程序切片,基于该切片进行朝向缺陷点的多路径动态符号执行.实验验证了方法能够有效减轻符号执行应用中广泛存在的路径爆炸问题,并且能生成触发目标缺陷的测试用例.     

支持安全编译算法的高可靠嵌入式C语言辑器的设计

使用高可靠的编辑器进行软件设计将从设计源头为嵌入式系统的开发提供更多的安全保障.以支持控制流检测算法的编辑器为例,设计了3个高可靠特色功能模块,实现了编辑器对安全编译扩展语法的识别、对安全编译器控制流检测层编译信息的显示、对语法安全子集的支持;使用动态配置文件的方法实现了对多种高可靠安全编译算法的语法加亮功能.     

基于控制流精化的反汇编方法

反汇编过程是整个逆向工程的基础和重要部分。为提高反汇编过程的效率及反汇编结果的准确度,通过对传统反汇编方法的探究,提出了一种基于控制流图精化的静态反汇编方法。该方法把二进制代码通过函数定位切分成单个函数,然后再对单个函数生成初始的过程内控制流图,使用图论的方法与汇编指令的特征匹配相结合,提炼出真实的控制流图。使用CoreUtils中的22个程序作为测试基准,使用2种线性扫描算法作为比较基准。实验结果表明:本文所提出的反汇编方法比Objdump快63.2%,并且可以高度精确地绘制出控制流图,因此具有准确度高、效率高的显著特性。     

基于互信息的弱随机特征子空间生成算法

集成算法是机器学习领域的研究热点。随机子空间算法是集成算法的一个主要算法。随机子空间生成的特征子集可能含有冗余特征、甚至噪声特征,影响算法的分类精度。为此,本文提出了一种基于互信息的弱随机特征子空间生成算法（WRSMI）,有效去除了特征子集中的冗余特征和噪声特征。在UCI数据集上的实验结果表明,WRSMI的分类性能优于随机子空间算法。     

基于改进GN算法的程序控制流图划分方法

针对控制流图规模过大导致的程序分析准确度和效率不够理想的问题,该文提出了一种用于控制流图划分的改进GN(Girvan-Newman)算法,在边介数计算中加入点权值作为参数,使划分所得各子图的规模更加平衡;通过动态控制子图的规模,在合适的时机提前终止算法执行,提高执行效率。利用angr工具对二进制程序进行分析所得到的控制流图,分别采用改进GN算法、K-means算法、谱聚类算法和朴素凝聚算法进行实验,比较不同算法对控制流图划分结果中的模块度以及均衡性等指标,证明改进GN算法具有最佳的划分结果和执行效率。     

组合逻辑线路动态测试方法论

本文系统地研究了组合逻辑线路的动态测试,给出了生成一个动态可测故障以及一个冒险可测故障(静态不可测)完全测试集的方法。首先在“四值逻辑和星算法”的基础上,导出了一个识别逻辑线路所有(静态和动态)冒险的一个新的、系统的方法,然后应用获得的结果,推导了静态不可测单固定故障、多固定故障以及桥接故障的冒险测试公式,并举出了若干实例。     

一种计算网络加权可靠度的新算法

提出了一种计算网络加权可靠度的新算法，提出了容量饱和状态的概念，给出了最小路展开为限定子集之和的递推公式，基于该递推公式最小路的展开将不再生成与网络加权可靠度无关的限定子集，省去了不必要的展开计算，因此本文算法较以往算法具有较小的计算量。     

改进的基于逆向流分析的C程序切片算法

为解决切片算法时空开销太大的问题, 提出一种改进的基于逆向流的静态切片算法。只需通过分析控制依赖, 获得程序整体框架, 再从切片点开始基于逆向控制流从里向外扩张式扫描,在扫描中不断获得只与切片相关的数据依赖, 以此得到程序切片。该算法减少了计算控制流的工作量, 避免计算谓词依赖集的过程, 减少了存储资源开销, 提高了切片的效率。     

基于粗糙集属性变分区的属性约简

应用粗糙集的方法，分析决策系统中不同的属性分类方法，以及不同分类方法引起的属性重要性与属性相对约简极小子集的变化情况，寻求属性分类方法与属性约简结果相互影响的内在因素，给出高效的属性分类方法和合理确定约简子集的策略，生成策略对应软件的实现算法，并运用软件实现算法来选取相对约简子集．试验结果显示了该策略及算法的有效性．     

WS-CDL测试路径的生成与排序

为了找出WS-CDL组合流程中存在的错误,减少软件维护产生的开销,提出一种基于控制流图生成测试路径的方法,用于对WS-CDL进行测试.首先解析WS-CDL文档,根据元素特点生成各类节点,并根据流程结构确定节点的源节点和目标节点;然后通过在源节点和目标节点间添加有向边构造成控制流囹;最后通过遍历控制流图生成所有可能的测试路径.测试路径中覆盖的WS-CDL元素越多,则发现的错误数也可能越多.为提高发现错误的效率,提出了2种基于路径中元素数量的排序算法,对路径的执行顺序进行排序.实验结果表明,将测试路径按路径中未被覆盖的元素总数降序排列,可以更快地发现错误.     

混淆算法研究综述

首先对混淆算法的力量、弹性、执行代价和隐蔽性等性能及其度量作了介绍.随后对各种混淆变换作了简要的叙述和评论.混淆变换主要分为以下几种:第一,词法变换;第二,控制流变换,包括分支插入变换、循环条件插入变换、将可化简的控制流转换为不可化简的控制流,取消循环和控制流恶化;第三,数据变换,包括数组重构变换、变量重组变换、将静态数据转换为与程序相关的数据和数值变量混合变换;第四,类结构变换,包括类熔合、类分裂和类型隐藏.此外,对使用对象和别名的不透明谓词和利用并行技术构建不透明谓词进行了简介,并综述了对混淆算法的攻击方法以及混淆算法的应用.最后对反混淆和对混淆算法的攻击进行了总结,并提出了若干可能的研究方向.     

基于OOPN的面向对象的集成测试方法

面向对象的程序与传统的结构化程序相比，具有许多特点，如消息传递、同步、动态绑定、对象实例、继承、多态等．面向对象软件的测试比结构化软件的测试更困难，因此提出一种基于OOPN模型的面向对象的集成测试方法．首先用面向对象petri网（OOPN）模拟系统中的对象及其交互过程，然后在此模型的基础上提出生成测试例的算法．此方法的创新之处在于将数据流与控制流相结合的方法用于面向对象的测试之中．     

列向量等权互异且行向量准等权矩阵的最优生成算法

本文引入一个递归型矩阵,给出了 GF(2)上列向量等权互异且行向量准等权矩阵的一种生成算法,这个算法是最优时空的,它可直接用于生成有名的最佳最小奇权列码(SEC-DED 码)校验矩阵。最后,我们把算法推广到 n 元集上。     

对于Ω—代数的子集生成的子代数的注记

对于Ω──代数的子集生成的子代数的注记梁怀学，朱玉山（四平师范学院，１３６０００，吉林四平；第一作者３２岁，男，副教授）由Ω─代数的于集生成一个子代数是构造Ω─代数的一个重要的基本方法，本文试就Ω─代数的子集与由这个子集生成的子代数的关系予以探讨。用...     

S-不变量极小支集判定的多项式算法

S-不变量是对Petri网进行结构性质分析的重要工具,但S-不变量的求取尚无有效算法。主要分析了S-不变量极小支集的判定问题。结合Petri网中库所子集列生成子阵的性质证明了一个库所子集为S-不变量极小支集的充分必要条件,在此基础上提出了判断给定库所子集是否为S-不变量极小支集的多项式算法。     

应用粗糙集理论分析识别岩石种类的因素

推导了条件属性子集重要性的等价表示形式，设计出由决策算法正集的补集求解条件属性子集的重要性以及由其正集求取支持度的算法程序，并将其用于对地质中岩石种类识别作因素分析．结果表明设计的算法有效可行．     

工程图学斜轴测投影矩阵变换算法

用矩阵变换算法研究了轴测投影的图形问题学,探讨了错切变换的有效性和多样性,通过改变变换矩阵中的参数值和错切变换的矩阵变换组合方式,生成不同轴间角和轴向伸缩系数的斜轴测投影图.发现错切变换结果是多种多样的,可以生成满足不同工程需要的斜轴测投影图,为教学和编程提供了一种有效的制图方法.     

建筑造型的真实感图形生成

介绍一个用于建筑ＣＡＤ计算机辅助设计的真实感图形生成系统。真实感图形生成过程分为不透明面片消隐、透明面消隐、阴影测试、纹理映射、颜色亮度计算、显示输出等步骤，是一个综合性的真实感图形生成算法。在消隐中使用了Ａ－ｂｕｆｅｒ（缓冲区）算法以进行反走样，透明处理也基于Ａ－ｂｕｆｅｒ算法之上。阴影测试采用了光线跟踪算法的光线求交思想，并且采用深度排序的方法以加速求交。该系统已经在建筑设计中得到应用。