融合LSTM目录获取的Web漏洞检测方案

针对当前漏洞检测方案在目录获取能力和漏洞检测范围的不足,提出了融合长短时记忆网络(LSTM)目录获取的Web漏洞检测方案,集成Arjun参数爆破高效获取基础目录路径,提出融合LSTM的目录获取方案,生成模糊目录路径,构造总体目录路径池,穿透隐藏目录,达到在短时间内获取更多有效目录路径数的目的.为解决当前漏洞检测方案难以覆盖非典型Web漏洞这一问题,将已提出的方案实现为一款自动化通用漏洞检测及验证工具,适用于典型及非典型漏洞,赋予其目录获取、漏洞检测及绕过Cookie, IP封锁等功能.实验仿真结果表明,该方案比典型目录爆破工具能够获取更多的有效目录路径,具备出色的目录获取能力,能以高效率、低误报率检测和覆盖更多类型的Web漏洞.

基于黑盒测试技术的CTCS-3级列控系统联调联试研究

CTCS-3级列控系统是高速列车安全、可靠、高效运行的关键技术之一。为检验列控系统的总体设计方案和功能需求,在系统集成工作完成后,应在动态条件下,对系统设计方案、总体功能需求和系统接口关系与安全性等进行联调联试。CTCS-3级列控系统联调联试属于典型的黑盒测试,武广高速铁路CTCS-3级列控系统联调联试以黑盒测试技术为基础,将测试模型、测试案例、测试数据、缺陷管理与试验环境充分结合,促进了列控系统联调联试技术的发展。

铁路智能调度集中系统软件集成测试方法研究

智能调度集中系统仿真测试包括软件模块测试、软件集成测试及软件总体测试三个阶段。在软件总体测试阶段,测试环境的搭建需要庞大的计算机集群资源作为支撑,这不仅增加了测试的成本,而且测试用例各步骤中复杂的终端交互操作极为繁琐,存在调试成本高的难点,为此设计软件集成测试模块。该模块实现了在单台计算机上即可开展黑盒测试用例的软件调试工作,无须依赖庞大的计算机集群资源,可达到简化测试流程、降低软件调试成本的效果。使用智能调度集中系统现场实验中的非预期场景开展软件调试工作,并通过统计和对比总体测试环境和集成测试环境在处理器核心调用个数及终端交互界面个数,验证了软件集成测试方法在降低软件调试成本和提高软件调试效率方面效果显著,为现场实验顺利开展提供了有力保障。

HFW热处理线回火炉均匀性研究

热处理是油井管生产中的重要特殊工序,对管子的力学性能、抗腐蚀性能具有决定性作用。HFW热处理线承担着无缝钢管厂中大口径套管、结构管等高附加值产品的热处理业务,由于产线设计的特性及设备使用损耗,生产的管子性能波动较大。为满足高钢级抗挤毁、抗硫化氢腐蚀套管严苛的生产要求,通过黑匣子试验、增加烧嘴监控、减少孔洞吸风等方式,研究改善回火炉炉膛气氛的均匀性。

基于BI的大型公立医院绩效管理系统设计与应用

为了提升医院绩效考核管理效率,基于商业智能(BI)技术,构建区域大型公立医院绩效管理系统。系统包括商业智能分析子系统、Web应用过程子系统和后台数据库三个部分。采用成熟的Windows操作系统、Java EE开发技术,后台数据库采用Oracle OBIEE平台,确保系统运行的稳定性;系统软件基于B/S构建了表示层、业务逻辑层、数据层三层架构,确保了系统简单易操作,同时受众面广等特点;系统数据库采用事实星座模式进行构建,确保系统具备高速运行速度和升级扩展影响性。通过商业智能技术与Web应用过程子系统的完美衔接,构建起医院绩效分析平台。该平台可实现绩效指标查询、提取、打印等6大功能。通过黑盒测试法和Load Runner测试软件对系统功能和性能进行了测试,结果表明,系统各项功能均符合预期,系统响应时间均控制在3 s以内。

黑盒测试等价类划分法中等价类划分规则的优化

等价类划分法在黑盒测试中具有不可代替的作用,是边界值分析的基础。然而,当前的等价类划分法的划分规则存在不合理性,对测试用例设计过程造成了一定影响。文章分析了已有的等价类划分法的划分规则,指出了存在的问题,并对其进行了修正和优化,最终形成了新的划分规则。经验证,优化后的规则易于使用且逻辑清晰,能够帮助测试设计人员进一步提高工作效率。

基于二分K-means的测试用例集约简方法

测试用例集约简是软件测试中的重要研究问题之一,目的是以尽量少的测试用例达到测试目标。为此,提出一种新的测试用例集约简方法。应用二分K-means聚类算法对回归测试的测试用例集进行约简,以白盒测试的路径覆盖为准则,对每个测试用例进行量化,使每个用例变成一个点。以黑盒测试的功能需求数作为聚类数,在聚类结果的每一簇中,按照离中心点的距离进行排序,依次从每一簇中选择测试用例,直至满足所有测试需求,得到约简的测试用例集。实验结果表明,该方法能有效地减小测试用例集的规模,降低用例集检错率。

全新的黑盒测试语言TTCN-3

测试标准历来是协议标准的重要组成部分,TTCN第3版标准(TTCN-3)将于2001年正式发布,这一全新版本中灵活的测试语言对测试人员编写测试用例将有很大的帮助,了解和掌握这种语言对于针对协议测试特别是第三代移动通信协议测试的专业人员来说是必不可少的,本文对学习这种测试语言将有很好的指导作用。

黑盒遗传算法下异构网络信息安全漏洞深度挖掘

为设计有效测试信息用例,深度、全面挖掘异构网络信息安全漏洞,提出黑盒遗传算法下异构网络信息安全漏洞深度挖掘方法.其核心基于威胁概率计算的异构网络态势感知方法,在分析异构网络环境后,计算目前网络攻击状态与历史攻击状态之间相关性,分析网络威胁概率判断网络态势;针对属于异常态势的网络,基于黑盒遗传算法的漏洞深度挖掘模型,使用驱动Fuzzing测试工具,设计有效测试信息用例,将测试信息用例从异构网络链路层,发送至目标服务器,根据目标服务器所接收数据包中测试信息用例的缺失状态,便可判断信息安全是否存在漏洞.经测试,所提方法在挖掘信息安全漏洞时,所设计的有效测试信息用例的比例明显增大,对多种漏洞信息均可准确挖掘,具备深度、全面挖掘异构网络信息安全漏洞能力.

基于人工神经网络优化黑木耳红枣发酵乳及其抗氧化分析

该研究基于人工神经网络和遗传算法,对黑木耳红枣发酵乳发酵工艺进行优化,在此基础上分析其抗氧化特性。在单因素试验的基础上,通过Box-Behnken试验设计不同因素条件下黑木耳红枣发酵乳的酸度,以此构建人工神经网络优化模型,其模型拟合度达到0.991 12。结合遗传算法对黑木耳发酵乳进行127次迭代后,求得其最佳工艺条件为黑木耳红枣汁与鲜牛乳体积比3∶2.1、发酵温度38.8℃、发酵时间36.6 h、接种量6.70%,此条件下酸度最佳为75.12°T,试验预测值与实际值无显著差异,表明网络模型结果准确;此条件下,黑木耳红枣发酵乳的DPPH自由基、羟基自由基清除率比发酵前分别提高12.04%、13.52%。

论有效测试方法

软件测试常用的测试方法有黑盒测试、白盒测试及黑盒与白盒结合的测试。介绍各类测试方法所需的技术、资源,分析测试充分性、有效性和可评估性等方面。以大规模软件研制类项目为例,在测试周期短,测试无法充分覆盖的情况下,量化计算各类测试方法的可行性,评估测试有效性。

基于EFSM模型的铁路信号安全软件单元测试技术研究

铁路信号安全软件内部逻辑复杂,通过充分的单元测试能够更好地发现和排除软件内部的缺陷。文章分析单元测试常用方法,并结合铁路信号安全软件单元测试技术要求,提出一种基于扩展有限状态机(EFSM,Enhanced Finite State Machine)模型的黑白盒融合单元测试方法。使用自动化测试工具Cantata,以无线超时降级场景为实例,验证该方法是否可以满足测试场景的完备性,并且关注软件结构是否被完全覆盖。根据覆盖结果,对未覆盖原因进行分析,判断是否存在异常场景,并针对未覆盖分支补充测试场景,丰富了测试案例,从而保障了铁路信号系统的可靠性。

低功耗蓝牙IoT设备脆弱性分析

低功耗蓝牙(Bluetooth Low Energy,BLE)协议的安全问题成为近年来无线通信领域中的研究热点。在协议帧格式复杂的情况下,基于状态机模型的BLE协议黑盒测试难免会出现测试效率低且大量输入数据被待测设备拒绝处理的情况。本文对不同类型字段采取更具针对性的变异方法,运用基于权重的反馈优化策略,为产生严重测试结果的变异策略设置更高的权值。实验结果表明,在选取的已披露漏洞的14台蓝牙设备中,该方法的漏洞检出率为93.7%,高于现有的BLE测试框架,并将状态机模型覆盖率从51.6%提升至84%,使输入有效率从66%提升至91%。

珠海金湾市民艺术中心的声学设计

介绍珠海金湾市民艺术中心的大剧场、黑匣子剧场、报告厅的声学设计,包括声学指标、设计过程、用材要求和测试结论,阐述声学设计的控制要点。

Fuzzing技术综述

通过分析比较多种Fuzzing技术的定义,结合其当前发展所基于的知识和采用的方法,给出了Fuzzing技术的一个新的定义;重点从与黑盒测试技术的区别、测试对象、架构和测试数据产生机理四个方面总结了当前Fuzzing技术采用的一些新思想、新方法以及它们的缺陷。针对这些缺陷和实际应用中的需求,分别提出了当前Fuzzing技术下一步的具体研究方向和对应的研究方法。

基于接口参数的黑箱测试用例自动生成算法

测试用例的选择与生成技术是软件测试尤其是黑箱测试的一个重要研究领域 ,测试用例的质量将直接决定软件测试的科学性和有效性 .该文在一般的测试用例选择方法的基础上 ,提出了一种基于对接口参数进行组合覆盖的黑箱测试用例自动生成算法模型 ,据此可以生成一个对所有接口参数进行两两组合覆盖的测试用例表 .并证明了该方法产生的测试用例具有数量少、能实现对接口参数最大限度组合覆盖的特点 ,从而可以在提高软件测试质量的同时 ,降低成本 ,提高效率 .最后介绍了该算法在作者研究开发的测试数据生成工具中的实际效果 .

基于黑盒遗传算法的Android驱动漏洞挖掘

驱动漏洞在Android手机的安全研究中非常重要,因为驱动运行在内核空间,不仅影响用户的使用满意度,还关系到系统的稳定与安全,但驱动的漏洞挖掘一直都相对较困难,传统模糊测试技术对目标程序缺乏理解、测试随机且盲目的缺点无法适应Android驱动漏洞挖掘的需求.通过改进现有模糊测试技术,提出了基于黑盒测试的遗传算法,利用测试的执行结果指导遗传算法,由遗传算法决定测试用例的参数需要遗传还是变异.从而将有效参数遗传到下一代测试用例,无效参数根据执行结果采用不同的策略进行变异,使模糊测试用例可以较快地收敛到有效的范围.为加快漏洞挖掘速度,引入并扩展了参数优化技术,将由遗传算法得到的有效参数进一步修改为特殊数据或使用者预设的数据,更快地达到测试目的.最后基于该算法设计并实现了Android驱动的模糊测试系统Add-fuzz(Android device driver fuzz),利用该系统在多个不同版本的Android手机进行了系统测试,挖掘出了9个Android设备驱动程序的未知安全漏洞.与其它相关测试方法对比,实验结果表明该算法的有效性和适用性表现更优.

基于灰盒测试的计算机联锁系统软件自动测试研究

安全是铁路运输生产永恒的主题,联锁软件是保障铁路车站列车或机车作业安全的关键软件,而高效、充分的测试对于保证其安全性具有举足轻重的作用。文章描述了被测联锁系统的体系结构以及自动测试系统的设计,采用了基于灰盒测试方法来完成对计算机联锁系统各部分软件的功能与性能测试。

一种基于遗传算法的测试用例优先排序方法

通过测试用例优先排序技术对软件测试用例的执行次序进行优化,能够有效地提高软件测试效率,是软件测试理论研究的一个热点课题.设计了一种新的针对测试点覆盖的测试用例优先排序技术评价指标APTC,可以更好地适用于功能测试或黑盒测试;以APTC及其改进指标APTC_C为基础,提出一种基于遗传算法的智能化测试用例优先排序方法,针对测试点覆盖分别设计了其编码策略、适应度函数、选择算子、交叉算子和变异算子;给出了具体的算法步骤并使用试验数据进行了方法验证,结果表明,该方法可提高软件测试效率和自动化水平,能够取得较好的应用效果.

黑匣子高温测试仪的研发

叙述了黑匣子高温测试仪研发的指导思想和一些技术问题,介绍了温度测试仪的具体设计,并对保温箱的隔热性能作了简单理论推算,还进行了测温反向试验,得出:黑匣子高温测试仪具有很好的运行安全可靠性。