面向源代码的导向Concolic测试方法研究

对规模较大的程序进行安全测试过程中,Concolic测试常面临路径爆炸和求解能力不足等问题。为缓解此类问题,提出一种面向源代码的导向Concolic测试方法。针对容易产生缺陷的危险代码区域,依据控制流和数据流属性,采用回溯的方式推导出静态可达路径信息和必要的符号变量,实现仅针对危险代码区域的覆盖测试。实证研究结果表明,通过规避对不关心路径和符号变量的分析,所提方法显著提升了覆盖测试危险代码区域的效率和发现缺陷的概率。

函数摘要在Concolic测试方法中的应用

在函数摘要的基础上提出了一种新的Concolic测试方法.该方法利用外部调用的函数摘要来避免多次测试外部调用引起的路径爆炸问题.在对外部调用进行Concolic测试后,将其返回结果和路径条件作为函数摘要.测试过程中调用同一外部调用时,该方法用函数摘要替代展开测试,避免了传统Concolic测试过程对外部调用重复测试的问题,缓解了调用次数增多和调用深度增加引起的路径爆炸问题.原型系统的实验结果表明,随着测试对象中函数数量的增加,传统Concolic测试路径数量可能出现指数型增长,而该方法中测试路径数量基本保持线性增长.

基于补丁比对的Concolic测试方法

该文提出了一种基于二进制补丁比对的Concolic测试方法,用于对软件进行漏洞分析。该方法将补丁比对技术与Concolic测试方法进行了结合,首先通过补丁比对收集存在漏洞Sink点的程序路径,然后利用该结果指导Concolic测试,从而极大地减少测试的路径数量。研究结果表明:相对于传统的Concolic测试,该方法能够较为有效地指导Concolic测试,能够减少测试路径的数量,降低测试过程中资源的开销,是一种漏洞发现和验证的有效手段。

基于并行Java程序动态切片的Concolic测试

为了减少分析和存储信息,提高测试效率,针对Concolic测试中存在同一同步串运行多次的现象及测试效率不高的问题,提出了基于并行Java程序动态切片的Concolic测试方法.该方法运用并行程序动态切片确定测试同步串,无需分析和存储同步串每个执行点的信息,并保证不运行相同的同步串.实验证明,基于并行Java程序动态切片的Concolic测试方法极大地提高了Concolic测试的性能和效率,具有较高的实际可操作性.

基于Concolic Testing的动态Web页面测试研究

传统的软件测试技术对于动态Web程序并不完全适用,针对动态Web程序的特性,探讨适合的测试方法十分必要。文章分析了动态Web应用的特点与测试现状,简要介绍了Concolic Testing思想,并把Concolic Testing测试技术应用于Web应用动态内容页的测试,给出了具体的、具有针对性的测试算法,并以实例进行了验证。

软硬件协同的RapidIO接口带宽测试方法

RapidIO是一种高性能嵌入式系统互联技术。FPGA的SRIO控制器实现了RapidIO二代协议,在工程中经常需要得到其实际带宽性能以确定其是否满足应用需求。采用FPGA的嵌入式软核,配合FPGA内部硬件电路可搭建软硬件协同SOPC测试系统。该系统既具有硬件可裁剪、可定制、扩展性强的特点,又具备软件灵活性的特点。此系统在硬件层面设计了周期采样单元、周期配置接口、锁存接口、上传接口;软件层面具备采样参数配置、采样控制、采样数据分析、结果呈现功能。通过软硬件代码的编写和验证,表明此方法可实时监测接口的带宽及抖动性能指标。

基于4G技术的工程结构无线振动测试系统节点设计

结构振动测试是大型土木工程结构健康监测的有效保障,传统振动测试存在布线困难、低频率信号拾取困难、通信速率底、易受到测试现场条件限制等问题。以4G技术为研究对象,提出了一种基于4G技术的工程结构无线振动测试系统节点设计方案,通过节点工作原理介绍及各个模块的功能特性分析,研究了标准振动台性能对比测试和基于有线及无线的结构振动对比试验。结果表明:节点传感器的线性度误差为0.29%,且在短距离以及超远距离测试条件下,试验结构的各阶频率测试结果均与有线加速度传感器的测试结果一致,表明节点在测试精度和数据高速率传输等方面具有较大优势,解决了中远及超远距离中工程数据传输问题,具有一定的工程实用性,在土木工程健康监测和工程强震观测领域具有广泛的应用前景。

REST API自动化测试综述

REST API已经成为访问和使用云服务、Web、移动应用程序的重要途径,如何对这些API进行自动化测试以保证服务的安全性和可靠性是亟待解决的问题。目前虽然关于REST API自动化测试的研究成果众多,但仍缺少对测试技术全面的分析和总结。梳理了该领域近10年的代表性成果,首先总结了REST API自动化测试的发展历程;然后结合REST API自动化测试特征,提炼了测试的通用流程;接着分别从预处理、测试用例生成、测试用例执行与监测、结果分析四个环节阐述现有成果的技术特征,对比分析其优缺点;最后论述当前研究存在的不足,讨论可能的解决思路,展望了下一步研究方向。

基于平行测试的认知自动驾驶智能架构研究

在大数据、云计算和机器学习等新一代人工智能技术的推动下,自动驾驶的感知智能在近年来得到显著的提升与发展.然而,与人类驾驶过程中隐含的以自我目的实现为引导的自探索性和自主性相比,现阶段自动驾驶技术主要以辅助驾驶功能为主,还停留在以被动感知、规划与控制为主的初级智能自动驾驶阶段.为实现车辆智能从数据驱动的环境感知、辅助决策、被动规划到知识驱动的场景认知、推理决策、主动规划的提升,亟需增强车辆自身对复杂外界信息归纳提炼、推理决策、评价估计等类人能力.首先回顾自动驾驶关键技术演化及其应用发展历程;随后分析测试对车辆智能评估的效用;然后基于平行测试理论,提出自动驾驶车辆认知智能训练、测试与评估空间的构建方法,并设计基于平行测试的认知自动驾驶智能训练框架.该项研究工作预期能为推动自动驾驶从感知智能向认知智能的升级提供可行的技术支撑与实现路径.

双螺杆压缩机工作性能测试实验平台搭建及教学应用

为提升“过程流体机械”实验教学的高阶性、创新性、挑战度,设计开发了双螺杆压缩机工作性能测试实验平台。该平台可实现工作性能测试、示功(p-V)图绘制等常规实验,并支持开展变工况调节特性分析以及啮合副型面优化设计验证等研究性实验。平台硬件部分根据啮合副型面特征设计了传感器布置方案;软件部分基于LabVIEW软件完成在变载工况下绘制p-V图、计算指示功率及分析效率等数据处理功能。该平台应用于实验教学可为培养学生的工程实践创新能力提供保障。

多维深度导向的Java Web模糊测试方法

随着Java Web的广泛应用,其安全问题日益突出。模糊测试作为一种有效的漏洞挖掘方法,目前已经被用于Java漏洞的检测。然而,由于Java Web应用代码规模庞大、业务逻辑复杂,现有的漏洞挖掘工具在模糊测试中存在随机性高、代码检测深度低的问题,导致漏洞挖掘的准确率较低。因此,文章提出基于多维深度导向的Java Web模糊测试方法。该方法使用Jimple作为待测Java Web应用字节码的三地址码中间表示,并生成代码对应的函数间调用图和函数内控制流图,在此基础上分析每个基本块的多维深度。同时,根据多维深度和模糊测试执行时间优化模糊测试指导策略,设计相应的输入结构解析策略、能量分配策略和变异算法调度策略,提升模糊测试的准确性。实验结果表明,相较于现有的模糊测试工具Peach和Kelinci,该方法能够在性能消耗较低的情况下取得更好的漏洞检测效果。

支持等式测试及密码逆向防火墙的SM9标识加密方案

支持等式测试的标识加密(identity-based encryption with equality test, IBEET)体制解决了传统等式测试方案中证书管理的问题,得到了广泛的关注.但现有的IBEET体制难以抵抗渗透攻击,且都是基于国外密码算法设计,不具有自主知识产权.基于此,提出一种支持等式测试并具有密码逆向防火墙的SM9标识加密方案(SM9 identity-based encryption scheme with equality test and cryptographic reverse firewalls, SM9-IBEET-CRF).该方案在用户与云服务器的上行信道间部署密码逆向防火墙(cryptographic reverse firewalls,CRF),对用户发出的信息执行重随机化以达到抵抗渗透攻击的作用.该方案拓展国密算法SM9至IBEET领域中,提升其运行效率并丰富国密算法在云计算领域的研究.给出了SM9-IBEET-CRF的形式化定义和安全模型,并在随机预言机模型中考虑2种不同的敌手将此方案在选择密文攻击下的不可区分性与单向性分别形式化地规约到BDH困难假设上.同时,该方案通过考虑第3种敌手证明CRF的部署为其带来维持功能性、保留安全性以及抵抗渗透性.实验仿真和分析结果展示了该方案的有效性.

基于研制阶段数据融合的舰炮制导弹药测试性评估方法

针对小子样条件下开展测试性评估存在数据冲突的问题,提出一种基于研制阶段数据融合的舰炮制导弹药测试性评估方法。首先,确定研制阶段中舰炮制导弹药测试性信息的来源,并根据其不同特点,利用相应的Beta分布参数折合方法,获得测试性信息Beta分布并构造对应的基本信任分配函数。其次,为解决在数据融合中存在的冲突问题,引入一种基于可信度、不确定度和重要度的数据融合权重确定方法,通过融合多来源的测试性信息得到舰炮制导弹药测试性指标评估结果。实例表明,所提方法能充分利用研制阶段收集的多来源测试性信息,有效利用主观不确定性信息,且减少数据冲突问题,可提高舰炮制导弹药测试性指标评估的可靠性。

基于虚拟靶场的渗透测试实践教学机制探索

渗透测试实践教学是为信息安全相关专业学生开设的少数攻击类课程,是必不可少的教学环节。随着《中华人民共和国网络安全法》等法律法规的不断完善,渗透测试教学的实践模式需要不断创新。针对实践教学中资源和时间方面的难题,设计并实现基于OpenStack的虚拟靶场系统,从教学过程、教学方法 、考核方式等角度分别提出开放式线上线下混合教学、引导式基础实验过程、赛学融合的考核方式等具体改革方法,探索渗透测试实践教学的新机制。

基于多种群遗传算法的航天复杂系统测试任务调度

针对航天复杂系统型号较多,传统测试流程与调度设计只能人工定制化排布,效率较低且未有效优化,同时,考虑到航天复杂系统快速测试的迫切需求,提出一种基于多目标遗传算法的航天测试流程自动生成方法。该方法在测试项集合明确的前提下,将测试项抽象为离散事件,以测试总时间和测试资源均衡度为优化目标,充分考虑航天器测试的诸多约束,将其作为遗传算法执行过程中交叉或变异的禁忌项。在初始种群确定后,对测试流程和调度方案进行自动生成和优化。对算例的仿真结果表明,该方法相对于同实验条件下的传统半串行测试方法和单目标优化方法,测试总时间或资源均衡度得到了较大提升。在进一步扩展优化目标和约束项后,该方法可有效提高航天复杂系统测试过程的快速响应能力和可靠性。

基于匝道合流数据的自动驾驶汽车安全性测试评价方法

针对自动驾驶汽车测试场景不明确、评价模型主观性强等问题,研究了高速匝道汇入场景下的典型测试场景提取方法和自动驾驶汽车匝道汇入安全性客观评价方法。深入分析了匝道汇入功能场景下的逻辑场景要素,对自然驾驶数据中的自车速度、车间距离、前车车速等逻辑场景要素进行聚类,得到两类典型的匝道汇入测试场景用于自动驾驶汽车的仿真测试。构建多层次自动驾驶汽车评价体系,引入基于自然驾驶数据的核密度估计模型来获取指标最优阈值,建立以最优阈值为参考序列、以层次分析法(AHP)和客观赋权法(CRITIC)为权重输入的灰色关联理评价模型,对自动驾驶汽车在汇入过程中的安全性进行客观评价。评价结果表明:基于核密度估计的灰色关联理论模型评价结果与主观模糊综合分析模型的评价结果相似率达98.01%,验证了客观模型的有效性。

岩土工程勘察、测试与评价进展

文章全面总结了近5年岩土工程勘察测试与评价领域的技术进展,主要包括土工室内试验技术,原位测试技术、模型试验以及岩土工程勘察测试智能化技术。重点介绍了特殊环境(低温)试验技术、特殊材料(含气土、污染土等)、新型微观分析、技术原位测试新功能与新应用、水陆域超深原位测试技术、土工离心机技术、大型模型试验技术、智能勘察技术、智能监测技术、智能评价技术以及岩土工程智能管理平台建设等方面的进展。分析表明,重大工程建设、低碳绿色理念、智能技术、极端环境催生了一批岩土工程勘察测试新技术与新方法,智能化测试与评价是未来一段时期我国岩土工程勘察评价技术发展的方向。

重复注气压降法煤层渗透率模型与原位测试研究

煤层渗透率作为衡量瓦斯渗流与抽采难易程度的重要指标,对其进行准确测定具有重要意义。针对现有方法计算渗透率测试周期长、结果不稳定、模型不完善等问题,研究煤层渗透率的快速准确测定方法及相应的计算模型。基于煤层中气体径向不稳定流控制方程,结合不同压差下气体在煤层中的体积流量方程,建立可利用全区间压降数据测定煤层渗透率的注气压降计算模型。应用COMSOL数值模拟软件的达西渗流模块对模型进行求解,针对现场工程设计中可对压降曲线产生影响的测压气室长度进行单变量处理,根据模拟结果分析钻孔的测压气室长度可设计为2.0 m。根据数值模拟结果进行现场布置,搭建井下重复注气压降试验系统,结合煤层瓦斯赋存条件和巷道条件施工两组穿层钻孔,对2个测点分别注入两次高于煤层瓦斯压力的补偿气体进行渗透率原位测试,测试周期分别约为6 d和17 d,第2轮测试的注气压力高于第1轮。结合理论推导验证了注气压降过程中煤层瓦斯的雷诺数均处于线性达西渗流段,瓦斯在煤层中的渗流符合达西定律,满足计算模型的假设。与传统煤层渗透率计算方法进行了比较,结果表明:本方法和径向流量法的计算结果基本一致,可以满足实际工程需要。重复注气压降法的测试结果稳定可靠,具备快速测定的优点。

基于容积-黏度吞咽测试的饮食管理在老年吞咽障碍患者中的应用效果研究

目的:探索基于容积-黏度吞咽测试(V-VST)结果的饮食管理措施在神经内科老年吞咽障碍患者中的应用效果。方法:选取神经内科96例老年吞咽障碍患者,按随机数字表分为观察组和对照组各48例。对照组采用常规吞咽评估方法和护理措施。观察组在常规评估及护理基础上增加V-VST,并根据V-VST结果给予对应的饮食管理方案和指导。干预10天观察两组患者吸入性肺炎发生情况及洼田饮水试验变化。结果:观察组吸入性肺炎发生率低于对照组,洼田饮水试验优于对照组,差异具有统计学意义(P<0.05)。结论:基于V-VST结果指导的饮食管理措施可以降低老年吞咽障碍患者吸入性肺炎的发生率,提高患者吞咽功能。

复杂系统测试性设计与故障诊断策略研究进展

测试性设计是提高系统可靠性、安全性、维修性、保障性的重要前沿技术,决定了系统故障检测率和隔离率,直接影响系统的维护(测试)成本。系统测试性设计包含结构化设计、模型化设计、数据驱动设计等多种设计策略。其中,数据驱动设计于近年逐渐兴起并成为重要发展方向之一,该类方法通过对系统测试与故障之间的关系进行建模,依据测试结果进行故障推理,形成故障诊断方案。首先,简要回顾了系统测试性设计的发展历程;其次,重点介绍了测试性设计的研究进展,分析总结了结构化、模型化、数据驱动3类测试方案;然后,介绍了测试性诊断策略构建,根据测试方案中的建模方法确定诊断策略的构建技术,并总结归纳了每类技术的研究特点和适用性;最后,探讨了当前复杂系统测试性设计面临的挑战性问题和可能的未来研究方向。