距离与权重相结合的导向式灰盒模糊测试方法

导向式灰盒模糊测试是一种能够快速对程序指定位置进行测试的技术.通过对当前导向式灰盒模糊测试技术导向不够精确的问题进行分析,提出一种新的导向式灰盒模糊测试方法,并引入基本块权重与函数路径长度的概念.通过对被测程序的静态分析,构建被测程序的函数调用图和控制流程图,计算更准确的基本块距离并插桩到被测程序中.在模糊测试时通过插...     

用网络层次分析法筛选石油专用设备供应商

石油专用设备专业性强、结构复杂,是国内各钻探企业勘探开发的关键设备,其供应商的选择一直是关注的焦点。当前石油专用设备供应商的选择多采用专家目标打分法,这种方法计算简单、灵活性强且便于操作,但也存在易受专家主观因素影响等诸多问题。本文将网络层次分析法应用于石油专用设备供应商的选择中,通过问卷调查、实地走访等形式对石油专用设备供应商选择的信息进行汇总,深入分析相关指标与指标间的关系,建立相关的评估模型体系,旨在提供一种科学有效地辅助决策者进行石油专用设备供应商选择的决策方法。     

6-SPS并联机构位置正解的改进粒子群算法

对6-SPS并联机构的运动学正解进行研究,得出6-SPS并联机构运动学正解的数学模型为一个非线性方程组.将所得的非线性方程组转化为无约束优化问题,并使用粒子群算法对其求解.针对并联机构运动学正解问题的多解性,提出改进的共享适应度粒子群算法.最后,用一个实例证明该方法是行之有效的.     

浅析心理素质在篮球运动的影响及其训练方法

篮球运动的综合性与复杂性,要求运动员在激烈对抗中不断调整自己的心理,以便在比赛中充分发挥自己的技能和团队之间的战术配合。如何使运动员在竞技比赛中保持相对稳定的心理素质是球队制胜的关键。在身体素质技术、战术水平相当的情况下,各队员的心理素质是否过硬直接影响全队的比赛成败。本文通过参阅各类文献资料,数理统计法,访谈法,问卷调查法分析影响运动员的心理素质,并针对运动员的现状提出一些建议。     

SymFuzz:一种复杂路径条件下的漏洞检测技术

当前漏洞检测技术可以实现对小规模程序的快速检测,但对大型或路径条件复杂的程序进行检测时其效率低下.为实现复杂路径条件下的漏洞快速检测,文中提出了一种复杂路径条件下的漏洞检测技术SymFuzz.SymFuzz将导向式模糊测试技术与选择符号执行技术相结合,通过导向式模糊测试技术对程序路径进行过滤,利用选择符号执行技术对可能...     

基于Web的天然气流量监控系统设计与实现

系统结合实际需求,设计了基于Web的天然气流量远程监控系统,以实现对天然气气田气井生产现场的实时数据采集和远程控制等功能。分析了通信网络物理链路异常判断和前台监控软件与后台通信程序交互实现所采用的技术。     

模糊测试变异算子调度优化模型

模糊测试技术是一种使用不同变异算子生成测试用例对程序进行漏洞检测的技术.当前对模糊测试技术的研究集中在变异算子的设计与程序分析两个方面,对多种变异算子之间的协同调度还没有进行深入研究.文章首先对模糊测试中通用的15个变异算子进行研究,分析不同变异算子在不同类型程序上的变异效率.文章以探索与利用模型为基础,结合变异算子变...