软件漏洞模糊测试的关键分支探索及热点更新算法

在软件开发及应用中,由于具有可复现性,模糊测试能够帮助发现漏洞和有针对性地对漏洞成因进行分析。为了解决模糊测试过程的效率及测试力度等问题,提出了软件漏洞模糊测试的关键分支探索及热点更新算法。该方法通过捕获、分析和利用受检程序在处理测试用例时的执行位置的关键信息,以指导模糊测试过程的探索方向和测试用例的生成。实验结果表明,提出的方法相较于传统随机发散的模糊测试方法在漏洞发现能力上有较大提升,在Otfcc、Swftools等14个开源程序中发现了100余个未被公布的漏洞,为模糊测试用于软件漏洞检测提供了新的可靠途径。

基于关键分支的不可行路径确定方法

不可行路径增加程序复杂度和冗余度,产生无效DU链,影响程序分析工具的分析结果.有效地确定不可行路径,可以优化路径测试,完善数据流分析、程序切片等程序静态分析工具.在深入分析不可行路径的基础上,提出一种基于关键分支的不可行路径确定方法.该方法利用程序的值依赖关系和控制依赖关系、确定关键分支,通过关键分支查找不可行路径.结果表明,基于关键分支的不可行路径确定方法花费较少的信息存储,有效地节省不可行路径的确定时间.

分支测试中关键分支的寻找算法

分支测试被实践证明是目前性价比最高的结构性测试方法之一,在判断测试用例的分支覆盖过程中,通过深入研究DD图的性质,提出了一种基于生成的DD图对应的支配树和蕴含树基础上实现的关键分支寻找算法,能简便、快捷地找出判断程序分支覆盖的最小分支子集,即在程序执行过程中,只要获得关键分支的执行状况就可以计算出所有分支的覆盖情况。该算法具有良好的时间复杂度和有效性,对提高软件测试质量和效率,起到了较好的作用。

试分析煤层气多分支水平井钻井关键技术

由于我国自身具有十分丰富的煤气能源,然而煤炭气井在能源基础产量普遍较低,同时在能源开采过程中具有较快的能源产量减少速度,此种情况对于我国煤气能源勘探以及技术开发具有较大程度的约束作用。近几年,随着多分支水平井技术核心发展,我国煤气层开发效果同样得到了明显的提高。本文首先详细分析了煤层气多分支水平井技术概论,并且结合煤层气多分支水平井技术现状,进一步总结出煤层气多分支水平井技术应用。

良庄煤矿通风系统可靠性预警指标体系的构建

针对良庄煤矿通风系统不够合理、减灾抗灾能力较差,不能达到矿井灾害防治的要求,运用系统工程的观点,构建通风系统可靠性预警指标体系,提出了对矿井通风系统分区式监测管理方法。该方法将矿井通风系统开采区域划分为三个安全分区进行矿井通风系统逻辑分析,分析关键分支选取原则和方法,确定10条关键分支;利用粗糙集-神经网络的方法,给出关键分支关键测点的预警指标值。研究结果对于保障矿井的安全高效开采具有重要的理论与现实意义。