基于UML活动图测试场景的优先级判断

由于UML模型在设计过程中产生,作为测试模型不需要额外的开支,因此以UML作为测试模型的研究很多.目前的研究方法大多数采用灰盒测试方法[1]对各种模型的条件、节点、方法等进行遍历,得到测试场景.然而在实际中,通过这些方法从UML模型中会得到很多的测试场景,目的就是要对找出的灰盒测试用例进行优先级判断,找出较为重要的测试用例,这些测试用例能为实际的测试过程提供着重测试的依据.     

嵌入式系统中软件的测试用例生成研究

探讨了软件测试中常见的几大误区,并利用黑盒测试和白盒测试相结合的测试策略,针对嵌入式系统中电机矢量控制方法中的空间矢量脉宽调制(SVPWM)算法进行测试,详述了各个测试方法的原理及其对应测试用例的设计过程.     

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

导向式灰盒模糊测试是一种能够快速对程序指定位置进行测试的技术。通过对当前导向式灰盒模糊测试技术导向不够精确的问题进行分析,提出一种新的导向式灰盒模糊测试方法,并引入基本块权重与函数路径长度的概念。通过对被测程序的静态分析,构建被测程序的函数调用图和控制流程图,计算更准确的基本块距离并插桩到被测程序中。在模糊测试时通过插桩追踪并计算每个测试用例到指定目标的距离,模糊测试器依据该距离计算种子能量以实现对目标区域的导向,并基于该方法实现原型系统Afl-guide。实验结果表明,与现有的导向式模糊测试方法相比,该方法对目标区域导向更精确、路径覆盖更广,能够更快地生成覆盖程序指定位置的测试用例。     

面向对象系统灰盒测试模型的研究与应用

白盒测试是保证高可靠性软件质量的有效手段.由于传统白盒测试成本较高,且具有相对的局限性,对大型可靠性软件实施测试可能并不实用.因此,在实际测试过程中需要使用一套黑盒和白盒相结合的灰盒测试的工程化方法.结合实际项目,给出了一个灰盒测试模型,并将该模型应用于大型面向对象系统的测试中,验证了模型的有效性.     

灰盒测试模型的应用与研究

灰盒测试是黑盒测试和白盒测试的完美结合。本文结合实际工程项目,给出了一个灰盒测试模型,并将该模型在大型面向对象系统的测试中进行了应用,从而对模型的有效性做了验证。     

基于解析树的Java Web灰盒模糊测试

由于Java Web应用业务场景复杂,且对输入数据的结构有效性要求较高,现有的测试方法和工具在测试Java Web时存在测试用例的有效率较低的问题.为了解决上述问题,本文提出了基于解析树的Java Web应用灰盒模糊测试方法.首先为Java Web应用程序的输入数据包进行语法建模创建解析树,区分分隔符和数据块,并为解析树中每一个叶子结点挂接一个种子池,隔离测试用例的单个数据块,通过数据包拼接生成符合Java Web应用业务格式的输入,从而提高测试用例的有效率;为了保留高质量的数据块,在测试期间根据测试程序的执行反馈信息,为每个数据块种子单独赋予权值;为了突破深度路径,会在相应种子池中基于条件概率学习提取数据块种子特征.本文实现了基于解析树的Java Web应用灰盒模糊测试系统PTreeFuzz,测试结果表明,该系统相较于现有工具取得了更好的测试准确率.     

一种面向状态COM组件的测试用例生成方法

基于组件的开发方法提高了软件的可复用性和软件开发效率,但组件具有的封装和状态特性增加了组件和基于组件软件的测试难度.依据组件的状态特性,在组件中引入状态性概念,将组件分为非状态组件和状态组件.对具有不同特征的组件进行有针对性的测试.对于状态组件,除使用非状态组件的测试方法外,还定义了扩展邻接表和扩展约束对照表来存储状态信息,并结合基于流的测试方法来产生方法序列测试用例及脚本.在理论研究的基础上开发出COM(Component Object Model)组件测试用例及脚本自动生成系统,验证了测试用例及脚本生成方法的有效性.     

迭代开发模式中功能测试自动化的研究与实现

当前在迭代式开发模式中,由于模块或功能的频繁变化,使功能测试用例迅速老化,尤其是功能测试的自动化更是难以实现和维护,结果测试效率低下,延长开发周期并且不能有效保证软件质量.因此在深入分析迭代开发与功能测试特点的基础上,将超前测试的思想引入测试流程,实现了自动化的测试框架,并在该框架的管理下分阶段逐步地实现测试用例地自动化,使得开发、手动测试、自动化测试流水作业,并通过实际工作验证了框架的可用性和有效性.     

软件测试之我见

随着大量编程语言、操作系统以及硬件平台的涌现,软件测试变得越来越困难,但随之产生了很多简单易用的软件测试工具。软件测试通常以测试用例为基础展开。测试用例设计的优劣决定了软件测试工作的效率。测试用例是测试计划阶段设计的多组测试数据,主要包括用例编号、用例数据,预期结果等。根据测试用例的不同设计方法,软件测试可以分成白盒测试、黑盒测试和灰盒测试。完整的软件测试过程是评估软件质量的一个参考标准。     

基于粒子群算法的改进SCOTEM模型测试数据生成方法

UML已经成为建模语言的事实标准,如何从UML模型生成测试用例为面向对象软件测试带来了新的挑战.为测试用例提供测试数据是其中的关键环节.ShaukatAli等人在UML基础上提出SCOTEM模型,但是该模型的测试数据需要人工生成.针对SCOTEM模型进行了改进使其适于灰盒测试,以OCL约束测试数据的生成和运行结果的验证,并提出了一种为基于粒子群算法的改进SCOTEM模型自动生成测试数据的方法.针对不同的覆盖标准,试验结果表明,该方法能够以更高的效率生成高质量的测试数据.     

随机优化问题基于假设检验的遗传算法

为了有效解决具有不确定性和多极小性的随机优化问题 ,提出了一类基于假设检验的遗传算法 .该方法通过多次评价来进行解性能的合理估计 ,利用遗传操作来进行解空间的有效搜索 ,采用假设检验来增加种群的多样性和算法的探索能力 ,从而避免遗传算法的早熟收敛 .基于典型的随机函数优化和组合优化问题 ,仿真研究了假设检验、性能估计次数、噪声幅度对算法性能的影响 ,验证了所提方法的有效性和鲁棒性     

基于ATML的可移植TPS开发技术研究

针对当前自动测试系统存在的互操作性差、TPS可移植性难问题,研究了基于ATML标准的可移植TPS开发技术.设计了兼容ATML标准的可移植TPS开发方法,分析了ATML模型结构,形成了AT-ML模型与现有TPS软件平台之间的对接表,并开发了ATML兼容工具,从而实现了基于ATML的可移植TPS开发技术,解决了TPS移植问题,为实现具有通用性、开放性、互操作性的ATS软件及武器装备全寿命周期测试信息共享奠定了基础.     

基于自适应遗传算法的路径测试数据生成

针对简单遗传算法容易产生早熟收敛的问题,提出一种自适应遗传算法,用以自动生成测试数据。通过把程序插装法与该遗传算法相结合,实现了路径测试数据的自动生成。将三角形分类程序作为实例对其进行性能测试,实验结果表明,基于自适应遗传算法的测试数据自动生成系统能自动改变选择概率和交叉概率,提高了自动生成测试数据的效率。     

基于PSO的软件结构测试数据自动生成方法

测试数据自动生成是软件测试过程中一个关键的问题。现有的结构测试数据自动生成,多采用基于遗传算法的方法。这些方法存在算法复杂、参数不易设置问题。该文提出一种基于粒子群算法的软件结构测试数据自动生成方法,以分支函数叠加法作为适应值函数。针对三角形判别程序的结构测试数据生成实验结果表明,与基于遗传算法的方法相比,可以更高效地生成测试数据,在粒子数目与种群个数相同的情况下,生成所需测试数据的迭代次数仅是遗传算法的1/16左右。     

基于UML的并行自动测试系统的设计与实现

并行测试技术是未来自动测试系统的发展方向之一，而目前国内外尚无实用的并行测试系统体系结构的开发模型。该文介绍了基于UML的并行测试系统分析、设计和实现的全过程，为并行测试系统的研发提供了一个参考。     

Why RTL ATPG?

Register Transfer Level(RTL)Automatic Test Pattern Generation(ATPG) has been of wide conceran for two decades .Meanwhile gate-level ATPG has made remarkable progress in dealing with large circuits.An argument is then posed.Do we need RTL ATPG in the case of gate-level ATPG capable of generating tests for large circuits? This paper attempts to answer this question .The necessity,difficulty,and major interests of RTL ATPG are reviewed.     

基于部分向量复用和变游程编码的二级SoC测试压缩

提出了一种适用于基于核的SoC测试数据压缩的新方法,先将不同待测核对应的测试集中的测试向量部分重叠起来,形成一个重叠向量,对这个重叠向量进行变游程编码,以进一步压缩测试向量。由于测试应用时间与重叠向量的长度成正比,而重叠向量的长度要远小于原始测试向量的长度总和,从而减少了测试时间。变游程编码最大化了压缩效率。实验结果表明,本方法在减少测试应用时间,提高数据压缩率方面的优势是显著的。     

一种老机组热控系统改造的方法

根据老机组热控系统实际运行中存在的问题,分析了现有主流改造方案的优劣,提出一种以自容式执行器为转换装置、透平油无控制工质的电液调节方案,并将其应用到巴陵石化的老机组热控系统改造中.通过改造后的甩负荷运行试验,验证了该方案的可行性与实用性.     

Fault coupling in finite bijective functions

Fault-based testing attempts to show that particular faults cannot exist in software by using test sets that differentiate between the original program (hypothesized to be correct) and faulty alternate programs. The success of this approach depends on a number of assumptions, notably that programmers are competent insofar as they only commit relatively trivial faults, and that faults only couple infrequently. Fault coupling occurs when test sets are able to differentiate between the original program and faulty alternate programs when faults occur in isolation, but not when they occur in combination; it is a complicating factor in fault-based testing. Fault coupling is studied here within the context of finite bijective functions. A complete mathematical solution of the problem is possible in this simplified case; the results indicate that fault coupling does indeed occur infrequently, and are thus in agreement with the empirical results obtained by others in the field. One surprising result is that certain kinds of test set are able to avoid fault coupling altogether.     

基于XML的API自动化测试工具设计与实现

在研究应用编程接口(API)测试特点的基础上,运用软件测试技术与方法对API进行了正确性测试,设计了API自动化测试框架,采用XML语言进行API自动化测试工具的设计和实现方案。使用该工具可在API信息提取、测试用例生成及测试用例执行、测试报告生成等方面实现自动化。该工具主要用于验证第三方提供的API,由于单元测试中较多地使用了API测试,因此也可运用于软件的单元测试。