AN ALGORITHM FOR AUTOMATICALLY GENERATING BLACK-BOX TEST CASES

Selection of test cases plays a key role in improving testing efficiency. Black-box testing is an important way of testing, and its validity lies on the selection of test cases in some sense. A reasonable and effective method about the selection and generation of test cases is urgently needed. This letter first introduces some usualmethods on black-box test case generation,then proposes a new algorithm based on interface parameters and discusses its properties, finally shows the effectiveness of the algorithm.

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

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

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

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

论有效测试方法

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

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

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

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

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

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

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

Fuzzing技术综述

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

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

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

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

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

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

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

基于蚁群算法的测试用例优先排序

测试用例优先排序技术通过优化测试用例的执行次序来提高软件测试的效率,是增强型软件测试和回归测试的重要研究课题。针对基于需求的测试用例优先排序问题,提出了一种基于蚁群算法的求解方法,采用不同的测试用例间距离及用例序列评价策略,给出了该方法的2种不同实现方式。首先,针对黑盒测试特点,设计了基于需求的一般性测试用例序列评价指标;其次,提出测试用例吸引度概念,基于测试用例吸引度定义了测试用例间的距离;然后,给出了信息素更新策略、最优解集更新策略、局部最优解突变策略等主要设计策略,分别实现了该方法基于距离和基于指标的2种实现方式。实验结果表明,该方法具有很好的全局寻优能力,整体效果上优于粒子群算法、遗传算法和随机测试。

电网调度自动化系统(主站系统)专业测试方法

阐述了电网调度自动化系统(主站系统)验收的专业测试方法。由于软件系统的测试是系统测试的关键,根据软件测试的普遍性方法中黑盒测试和白盒测试的方法, 提出了“灰盒测试”的方法, 并结合实施工作对测试方式进行了说明。“灰盒测试”方法能够对调度自动化系统的各项功能和性能进行测试, 并可对系统的开放性、扩展性和可移植性做出专业的评估。

基于图分析的测试用例集优化

根据被测系统接口参数之间的关系,研究接口参数集与二部图之间的联系,提出接口参数集的相关定义、分类和性质并证明这些性质。在此基础上提出一种基于图的测试用例集优化算法,用于约简和优化测试用例集。实例分析表明该方法能够在保持测试用例覆盖率不减的情况下,较大地减小被测系统的测试用例集规模,提高测试效率。

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

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

基于遗传算法的黑箱测试用例自动生成模型

介绍基于遗传算法的测试用例自动生成技术,研究了利用动态调试技术和静态反汇编技术计算遗传算法中适应度函数的方法,设计了基于遗传算法的黑箱测试用例自动生成模型。该模型可直接对可执行文件自动生成测试用例,避免对程序进行源代码插装,降低对程序源代码的要求,扩展了基于遗传算法的测试用例自动生成技术的应用范围。

基于I/O的黑盒测试用例集约简技术改进

利用I/O关系对测试用例集进行约简和优化的思想,首先对I/O关系自身进行约简,然后进行关联性分析,划分成若干个彼此独立的相关组;接着对各相关组分别进行处理:仅对每个输出涉及到的输入变量进行组合覆盖,进而利用组内元素的关联性通过公共元素进行水平拼接;最后再把各个相关组的结果进行水平拼接。结果表明改进后的方法可以产生数量最少的用例集。

无人机飞行控制系统软件测试策略的研究

无人机飞行控制系统是无人机机载设备中最重要的部分之一；对无人机飞行控制系统软件进行严格测试是保证其质量的重要手段；首先介绍软件测试的通用的基本理论和基本方法；然后以某型无人机飞行控制系统软件测试为案例,研究了无人机飞行控制系统软件的特点；提出了一种基于经验反馈的软件测试模型,并分析了该模型的特点；最后提出了一套适用于无人机飞行控制系统软件测试的策略。

黑盒测试技术在指控分系统软件测试中的应用

软件测试是保证软件产品质量的一个重要手段,其中测试用例的设计是软件测试的关键。以指控分系统软件测试为例,详细介绍了软件黑盒测试的几种方法,以及如何采用黑盒测试技术来设计切实可行的测试用例,实践证明,应用这些黑盒测试技术在该系统软件测试的用例设计中,极大地提高了测试效率,取得了较好的效果,具有一定的推广价值。

基于消息机制的自动化黑盒测试方法研究

如何对人机交互频繁的软件如三维CAD软件进行自动化黑盒测试是一个富有挑战性的研究课题。基于Windows消息机制提出一种针对图形用户界面软件进行自动化黑盒测试的构造模型,该模型通过拦截Win dows底层的各种消息,同时依据相应的流程规约和生成算法将消息序列进行重组,从而派生出大量的测试用例,然后以重构后的衍生消息序列驱动被测试系统自动运行,达到自动测试的目的。实验结果表明,基于该思路构建的测试系统具有良好的测试效果。