确定性有限状态机的最小测试成本迁移覆盖准则

软件测试中的一个重要问题是测试成本和测试效率的平衡问题.依据程序中错误分布的2-8定律,将测试分为两个阶段,以解决该问题.第1阶段采用最小代价发现软件中的错误,第2阶段针对第1阶段中发现的错误补充设计测试用例,探测软件中潜在的错误.重点是第1阶段的实现.依据确定性有限状态机和集合划分的理论,提出了确定性有限状态机的最小测试成本迁移覆盖准则,给出了最小测试成本迁移覆盖存在的充分和必要条件,设计了优化迁移覆盖和最小测试成本迁移覆盖的实现算法,并讨论了测试序列集合的有效性问题.在实验中,依据该方法不仅能够获得最小测试成本的测试用例集合,而且同样能够探测出确定性有限状态机中迁移上的错误.

软件体系结构测试覆盖准则研究

基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题。SA层的测试是软件测试领域的热点和难点。在回顾相关工作的基础上,文章研究了SA测试中的被测系统的质量特征要求,定义了覆盖准则,设计了一套针对这些测试覆盖准则的计算规则,并构造了一个CASE工具。这一结论是进一步研究SA测试的基础。

针对可观测性语句覆盖准则的RTL激励生成

传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高·鉴于此,可观测性覆盖评估准则被提了出来·随着设计规模不断加大,该准则变得越来越重要·首先提出一种可观测性信息的表征方式以及可观测性判定规则,在此基础上,提出一种针对可观测性语句覆盖准则的RTL激励生成方法·这是一种基于模拟的方法,它以所有未观测语句的分布作为启发式信息,指导激励生成·实验结果显示,提出的方法是高效的·

一种新的测试集简化的测试覆盖准则

在回归测试过程中,测试集的规模不断的变大增加了测试的成本。结合某种测试准则利用测试简化法对测试集中冗余的测试用例进行删除是一种有效的解决方法。但是用此方法得到的简化测试集,其错误检测能力往往被减弱。因此提出了一种新颖的测试覆盖准则,即二级变量串联覆盖准则和二级变量并联覆盖准则。这两种准则主要考虑了变量间的串、并联关系对程序的影响。用此准则与其它测试覆盖准则相组合,利用HGS测试集简化法对测试集进行选择,既简单高效又保证了最小化测试集的错误检测能力。针对文献[3]中的具体应用实例,验证了该测试覆盖准则的有效性。

面向Length_N测试覆盖准则的测试用例生成技术研究

针对路径覆盖测试的可行性,提出了一种新的路径测试覆盖准则(Length_N准则)。首先把测试用例生成归纳为多目标函数的优化问题,其有效方法是根据程序运行结果指导生成过程,通过不断迭代,生成符合要求的测试数据集。为了提高生成效率,对遗传模拟退火算法的编码、适应度函数、交叉概率做了一定的改进;并在此基础上来自动生成测试用例。实验结果表明该方法在效率上较遗传算法、随机测试数据生成方法有很明显的提高,在可行性上比路径覆盖准则也有很大的改善。

基于窗口导航有向图的GUI测试覆盖准则

为评估图形用户界面(GUI)测试用例集的充分性,提出了基于窗口导航有向图的覆盖准则.用有向图中的顶点表示GUI中的窗口,弧表示用户输入,描述用户与GUI的交互关系.基于窗口导航有向图,提出了顶层窗口覆盖、用户输入覆盖和n长度用户输入序列覆盖准则,并设计了相应的覆盖率算法.实验结果表明,符合这些覆盖准则的测试用例集能够达到90%语句覆盖率,且使故障发现率达到79%.

基于继承性的面向对象类测试覆盖准则设计

随着面向对象软件的应用越来越广泛,面向对象软件技术的特征提高了软件开发的效率,也给软件测试带来了挑战。测试覆盖准则是软件测试的重要组成部分,可以给软件测试提供指导作用。针对面向对象继承性对软件测试的影响,从继承方法和继承属性两方面提出了类测试覆盖准则。对这两类覆盖准则进行了公理化评估,给出了算法设计,通过实例应用分析了执行结果。文中设计的覆盖准则在设计面向对象测试用例方面有一定的指导作用。

一种生成符合MC／DC覆盖准则的测试用例算法

MC／DC即修改条件／判定及盖，是一种较新的结构覆盖准则，它是在C／DC（条件／判定覆盖）的基础上发展起来的。与其它结构及盖准则相比，它只是线性地增加了测试用例的数量，使得软件测试更加具有可操作性。本文提出了一种符合MC／DC准则的测试用例自动生成方法，并结合实例对该方法进行了验证。

面向对象软件和EFSM规范测试覆盖准则比较

测试覆盖准则是软件测试的一个重要组成部分。目前已有的覆盖准则研究大多从程序代码或者规范出发,很少将两者结合起来考虑。另外,面向对象软件和扩展有限状态机(EFSM)规范应用越来越广泛。该文从面向对象程序代码和EFSM规范两方面出发,对现有测试覆盖准则进行了分析比较,给出了2个新的测试覆盖准则,对现有测试覆盖准则进行了扩充,并对基于面向对象程序和EFSM规范的测试覆盖准则进行了公理化评估。通过实验进一步分析了基于规范的和面向对象程序的测试覆盖准则之间的一些对应关系,为测试人员在测试准则的选取上提供了一定的指导。

对逻辑覆盖软件测试准则的公理化评估

由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选择和使用其中的每个测试准则是应用这组测试准则时面临的主要问题.因此分析和比较这组测试准则中每个测试准则的性质将为测试工程师选择测试准则提供指导和帮助.对测试充分性准则的公理化评估是一种比较测试准则的方式,这种方式将对理想的测试准则的直觉需求定义为一觳椴馐宰荚蚴欠衤愀米楣砝捶治龊捅冉舷嘤Φ牟馐宰荚?描述了一组理想的逻辑覆盖测试准则应该具有的性质和用来确定一个测试充分性准则是否完全的生成算法.这组性质被形式化地定义为一组公理.利用这种形式化的定义,用定理的形式精确地给出了这些性质之间的关系.最后通过这组公理系统来评估现有的逻辑覆盖测试准则.评估的结果为测试人员在实际过程中选择逻辑覆盖测试准则提供了指导.

模拟验证中的覆盖评估准则

模拟作为实际工程领域中设计验证的主要方法,其不完备性常常是不可避免的,对大规模的设计方案尤其如此,因此覆盖评估成为模拟验证中不可或缺的技术。文章在陈述覆盖评估意义的基础上,详细介绍了现有的各类覆盖评估准则,剖析了各个准则的优缺点,并通过实验得出比较数据。

DeepRanger:覆盖制导的深度森林测试方法

深度学习软件的结构特征与传统软件存在明显差异,因此即使展开了大量测试,依然无法有效衡量测试数据对深度学习软件的覆盖情况和测试充分性,并造成后续使用过程中依然可能存在大量未知错误.深度森林是一种新型深度学习模型,其克服了深度神经网络存在的一些缺点,例如:需要大量训练数据、需要高算力平台、需要大量超参数.但目前还没有相关工作对深度森林的测试方法进行研究.针对深度森林的结构特点,制定了一组由随机森林结点覆盖率RFNC、随机森林叶子覆盖率RFLC、级联森林类型覆盖率CFCC和级联森林输出覆盖率CFOC组成的测试覆盖率评价指标.在此基础上,基于遗传算法设计了覆盖制导的测试数据自动生成方法DeepRanger,可自动生成能有效提高模型覆盖率的测试数据集.为对所提出覆盖指标的有效性进行验证,在深度森林开源项目gcForest和MNIST数据集上设计并进行了一组实验.实验结果表明,所提出的4种覆盖指标均能有效评价测试数据集对深度森林模型的测试充分性.此外,与基于随机选择的遗传算法相比,使用覆盖信息制导的测试数据生成方法DeepRanger能达到更高的模型覆盖率.

基于结构覆盖和状态识别的FSM一致性测试实验评估

针对在测试资源紧张的情况下所面临的不同测试技术中测试方法选择问题,阐明了对基于结构覆盖和基于状态识别的测试生成技术进行实验评估的必要性,以10个有限状态机(finite state machine,FSM)应用实例为实验对象,从测试开销和错误覆盖能力两方面对这两种技术进行了实证研究,为FSM一致性测试中这两种技术的选择应用提供了经验性的参考建议。

基于组件Web应用程序的覆盖率准则和测试需求约简(英文)

为了更好地分析测试基于组件的Web应用,并抉择何时结束测试过程,提出了覆盖率准则的概念和测试需求约简的方法.首先,定义了4种覆盖率准则,并证明它们之间的包含关系.然后,使用一种转换算法将Web应用测试模型转换成一种可以约简测试需求集合的Web应用决策-决策图(WADD图).最后,基于各种覆盖率准则,并通过分析图中各条边的等价和包含关系,约简测试需求集合.测试人员可以根据不同的测试环境需求选择不同测试需求集合.案例分析表明,在实际的Web应用中所定义的覆盖率准则确实存在线性包含关系.基于不同的测试覆盖率准则,测试需求集合平均可约简55%以上.随着覆盖率准则复杂度的提高,测试需求的规模也随之增大.

基于时分同步的码分多址技术的网络邻区规划覆盖强度准则算法

高质量的邻区规划是保障蜂窝移动通信系统顺利进行快速越区切换的基本条件,其算法主要基于地理信息准则和基于覆盖强度准则(CSD)两大类.针对时分同步的码分多址技术(TD-SCDMA)网络的技术特点,提出了一种将两大准则相结合的CSD算法.该算法首先根据小区间距离与天线朝向进行邻区筛选,以缩小邻区筛选范围,然后再依据信号覆盖强度,更精确地选出邻区,最终形成邻区规划列表.仿真表明,本算法的规划结果与现网邻区规划相吻合,并大幅提高了算法效率,具有良好的算法性能,符合实际网络规划需求.

更改的判定条件覆盖测试技术研究

与语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、多重条件覆盖相比,路径覆盖具有更强的结构覆盖率。但其需要更庞大的测试用例,事实上它并不实用。近年来,一种相对新颖和优秀的结构覆盖准则——更改的判定条件覆盖(MC/DC)应运而生,它继承了多重条件覆盖的优点,同时只是线性地增加了测试用例的数量。因此,在许多重要的软件,尤其是以嵌入式和实时性为特征的航空机载软件中得到广泛的应用。介绍了MC/DC的特点、设计方法、评估策略及工程应用。

基于有向图的最小完全覆盖互操作测试序列生成算法

互操作测试过程目的是用尽量少的测试序列数目对目标系统实施测试,而又能检测出尽可能多的错误.采用基于有向图的满足互操作测试的最小完全覆盖准则的测试序列生成算法可以生成更有效的互操作测试集.

基于UML状态图测试的充分性准则

本文描述了基于UML状态图生成测试用例的充分性准则。在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2次,即ZOT循环覆盖准则,在此基础上本文还提出了全ZOT路径覆盖准则,并给出了这些覆盖准则的应用,讨论了这些覆盖准则之间的包含关系。

RTL可观测性语句覆盖评估方法

针对目前已有的可观测性覆盖评估方法计算复杂度高、时间开销大的问题,建立了一种可观测性信息模型,并在此基础上提出一种可观测性语句覆盖评估算法.该算法采用变量的赋值与引用作为分析基础,计算效率大大提高,同时可以很容易地与其他考虑可控制性的覆盖准则相结合.实验结果表明,可观测性语句覆盖准则增强了语句覆盖准则的评估能力,同时与已有的可观测性语句覆盖评估方法相比,文中算法时间开销大大降低.

一种软件体系结构级路径覆盖方法

软件体系结构测试是对构件功能描述和接口描述的测试,是保证基于构件的软件系统质量的重要手段.提出一种新的软件体系结构级路径覆盖方法,用Wright描述软件体系结构并将体系结构配置行为转换成改进的配置行为图表示构件内部计算及外部迁移信息,根据构件连接路径覆盖准则C_CPC和构件连接路径覆盖生成算法F indC_CPaths,生成相应的测试路径.基于此设想实现了工具WTPT,通过实验及其分析表明了算法的正确性和有效性.最后对构件连接路径覆盖准则进行评估,评估结果为应用该覆盖准则提供了理论依据.