基于活动对象的面向对象测试策略研究

提出基于活动对象的面向对象测试策略 ,给出三种覆盖标准 ,用以处理由面向对象新特性带来的问题 .其中 ,所有定义 使用对覆盖标准主要用于指导测试设计者设计验证对象生存期的动态行为的测试用例 ;所有绑定覆盖标准主要用于解决继承和多态问题 ,以及执行了哪个绑定 ;

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

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

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

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

面向路径的测试数据自动生成工具

针对测试路径覆盖的可行性问题,给出了一种新的面向路径测试覆盖准则的测试数据自动生成工具。并对Length_N路径覆盖准则进行了定义,运用该准则对被测程序进行静态分析,得到完整路径表(CFG_PT),结合程序插装技术和遗传模拟退火算法自动生成测试数据。实验表明,该工具在实际应用中有较好的效果。

基于事件消息驱动的Petri网的类族测试用例生成技术的研究

在类族交互测试的正交阵列测试系统(OATS)生成测试用例的方法中,存在类的状态盲目组合而导致测试用例"爆炸"以及标准正交阵列不易扩充的问题。提出了基于EMDPN的类的状态组合的标记关联递推算法,通过类族之间的层次级别与状态级别的优选组合产生交互路径,在证明生成交互路径数定理的基础上,得到了基于EMDPN模型的扩展的正交阵列测试系统(EOATS)的类族交互测试用例的生成方法,优化OATS。在讨论类族交互测试的覆盖率问题时,给出了类族交互测试的同步消息序列测试标准(SMSC),阐明了新的EOATS方法具有良好的覆盖性。

回归测试中测试用例集扩充技术研究进展

测试用例集扩充问题(Test Suite Augmentation)是回归测试研究的一个最新研究热点。在完成代码修改影响分析后,对已有测试用例集的充分性进行评估,若不充分则设计新的测试用例,以确保对代码修改的充分测试。但到目前为止,国内外学者并未对该研究问题的已有研究成果进行系统总结和展望。首先介绍了测试用例集扩充问题的研究背景和问题描述,然后总结出研究框架并对已有研究工作进行分类和系统比较,接着对常用评测数据集和评测指标进行了分析,最后对该问题值得关注的未来研究方向进行展望。

基于扩展的EDPN的类的交互测试用例生成技术的研究

针对类交互测试的正交阵列测试系统(OATS)生成测试用例的方法存在类的状态盲目组合而导致测试用例"爆炸"以及受标准正交阵列的影响使得选择的正交阵列不易扩充等问题,扩展了事件驱动的Petri网(EEDPN)模型,提出了类的状态组合的标记关联递推法生成交互路径,得到了扩展的正交阵列测试系统(EOATS)的类交互测试用例的生成方法,优化了OATS,分析了该方法在类的交互测试技术中的覆盖率问题,讨论了其生成扩展的正交阵列表的充分性.

基于UML交互概览图的测试线索的生成方法

针对单一UML模型测试不充分的问题,结合UML2.0交互概览图的特点开展测试方法研究,提出一种测试线索自动生成的方法。首先,给出UML类图、顺序图、交互概览图(OID)的形式化定义;通过提取交互概览图的流程信息和对象交互信息分别构造节点控制流图(NCFG)和消息序列图(MSD);将从MSD提取的消息路径嵌入到NCFG中,构造可测试交互概览图模型;最后采用两两覆盖准则生成测试线索。实验验证了该方法自动生成的测试线索在保证测试充分性的前提下可避免组合爆炸。

基于UML的Web应用建模与测试方法

针对Web应用的功能测试问题,提出一种基于用例和顺序图的Web应用建模与测试方法。使用统一建模语言(UML)将用例图分层地扩展为用例迁移模型(UCTM),利用顺序图自上而下描述UCTM中的每个用例,将顺序图自动转换为受限有向图(RDG)。为控制状态空间爆炸,提出约束消息覆盖准则(CMC)。结果表明,由RDG生成的测试用例能满足CMC,CMC可控制测试用例的数量。

基于UML协作图的测试用例生成方法与实现

根据组件软件的特征,提出一种基于UML协作图直接产生测试用例的方法。给出了一系列覆盖准则,并针对协作图中条件、并发和循环消息流提出相应的处理方法。采用深度优先的算法遍历所有测试场景,每个测试场景相应于一个测试用例,并设计和实现了测试用例自动生成工具系统UMLTCG。

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

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

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

软件体系结构描述系统的高层结构和行为特征,其动态描述常被用来指导软件的分析和测试。基于此,提出一种软件体系结构级的测试路径覆盖方法。利用化学抽象机描述软件体系结构并导出与其对应的DAG图,表达软件体系结构的动态特征。根据基本路径覆盖准则及测试序列生成算法,生成测试路径。以C/S体系结构为例验证该方法的正确性和有效性。

一种基于UML动态视图的测试场景生成方法

针对目前测试模型中未考虑对象间交互关系产生的条件、循环消息类型造成产生的测试场景覆盖率低的问题,提出基于UML动态视图构造测试模型、生成测试场景的方法。该方法结合UML顺序图、状态图构造测试模型,等价转化成有向图,采用扩展的十字链表存储结构,在遍历过程中判断消息类型,再根据消息类型生成测试场景。应用实例说明了该方法的实用性。

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

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

基于FSM的Web应用测试用例生成研究

Web应用测试是提高Web应用质量的重要手段,测试的核心工作就是生成测试用例。生成测试用例主要有两大步骤:(1)从Web应用中提取模型。(2)遍历表示模型的有向图,产生测试用例。首先采用Html分析法结合源代码分析法提取FSM模型,随后在新提出的Web应用最小测试成本迁移覆盖准则下,利用一种复合的启发式搜索算法——模拟退火遗传算法遍历模型。通过比较模拟退火遗传算法和传统的搜索算法的效果,实例证明,该方法比传统方法生成的质量更理想。

用不同敏化方法提高超速测试的故障覆盖率

面向小时延缺陷(small delay detect,SDDs)的测试产生方法不仅要求测试产生算法复杂度低,还要尽可能地检测到小时延缺陷。超速测试避免了因测试最长敏化通路而带来的测试效率过低的问题,而且它要求测试向量按敏化通路时延进行分组,对每组分配一个合适的超速测试频率,再采用一种可快速、准确选择特定长度的路径选择方法来有效地提高测试质量。同时,文中首次通过优先选用单通路敏化标准对短通路进行检测,对关键通路有选择地进行非强健测试,相对采用单一的敏化方法,能以很小的时间代价提高含有小时延缺陷的结点的跳变时延故障覆盖率(TDF)。在ISCAS’89基准电路中对小时延缺陷的检测结果表明:用不同敏化方法进行测试产生,能在低的cpu时间里取得更高的跳变时延故障覆盖率。

形式概念分析在Web应用测试用例选取中的应用

为了避免基于模型的Web应用测试中存在的状态组合爆炸问题,分析了经典的每个一次和基本选择的状态组合爆炸避免方法,指出了这两种方法的不足,提出了应用形式概念分析,根据给定的测试覆盖准则,精简测试用例集,避免状态组合爆炸的方法,并改进了Sampath的测试用例选取规则。最后根据形式概念分析的原理,开发了测试用例集精简工具,提高了测试过程的自动化程度,用实例说明了方法的有效性。

浅析白盒测试技术与方法

软件测试作为软件工程中的重要组成部分,其作用不容小觑,软件测试是保证软件质量、提高软件可靠性的有效手段。白盒测试是针对被测试单元内部是如何进行工作的测试。本文就白盒测试技术与方法作了较为全面的介绍,并且就有关应用问题和转换方法做了研究。

软件测试中的路径划分技术

路径覆盖测试准则要优于其它已知的覆盖准则,但由于对一般的软件,路径数日太大,以至实际难以实现.路径划分是路径覆盖技术的一个折中方法.给定的程序P和给定模块的最大路径数目k,按就近原则,现给出了一种划分P的算法,使得每个划分后的模块所包含的路径数目都少于等于k.同时也给出了最佳划分的度量标准和最佳划分方法.