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

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

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

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

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

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

基路径覆盖测试用例自动生成方法研究

传统基路径覆盖测试用例生成方法通过程序图求出圈复杂度,然后再得出程序的一组基路径,最后分别针对基路径组中的每条路径求出相应的测试用例,不仅繁琐,而且忽视了代码的语义相关性,导致存在路径不可达问题,也就无法生成对应的测试用例。提出了一种新的方法,利用遗传算法动态运行程序,逐渐逼近被测程序的真实逻辑圈复杂度,直接生成满足基路径覆盖测试用例的最小集合,不存在路径不可达问题。实验结果表明,该算法能够有效地生成满足基路径覆盖的测试用例。

线性独立路径覆盖率的软件测试充分性判别方法

软件测试充分性判别准则是决定一个软件系统是否已经被充分测试的停止准则,而充分性判别准则的关键是它的揭错能力。对充分性判别准则进行了形式化描述,并且讨论了充分性判别准则的性质及准则之间的比较方法。为了给保障软件测试充分性提供理论依据,提出了一个软件测试充分性的度量准则。

基于程序路径分析的有效蜕变测试

蜕变测试对于预期输出难以构造的程序是实用和高效的.作者在系统研究已有蜕变测试方法和路径分析技术的基础上,首先针对使用二元蜕变关系的测试提出了一组蜕变测试准则,以在多个不同的层次上定义蜕变测试用例集的充分性;然后给出了3种能够生成相应测试用例集的算法;最后通过变异分析的方法证实这些算法的有效性.实验结果表明,蜕变关系和测试准则的选取直接影响到测试的效果,另外,使用蜕变关系全路径覆盖可满足性算法(APCEMST)可以快速准确地发现待测程序中的错误,而生成的测试用例的数量却比传统技术要少.

基于软件体系结构的测试路径生成方法

在软件体系结构描述语言Wright的基础上,提出了基于软件体系结构的测试覆盖准则及BG动态行为图,根据BG图构造基于覆盖准则的测试路径,生成测试数据。由此平衡开发成本、进度与质量需求之间的关系,最后以Server/Client结构为例说明该方法是适用的。

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

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

基于CHAM的SA级全路径覆盖方法

文中提出了通过CHAM描述的SA规格说明生成LTS,并根据测试需求进行测试覆盖准则的选取,然后利用全路径测试方法,生成基于此覆盖准则的测试路径.最后以B/S结构为例,验证了该方法在生成SA级的测试路径上是可行的.

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

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

基于扩展CHAM的SA级路径覆盖方法

化学抽象机形式化语言(CHAM)通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化,以此来指导分析和测试.针对软件体系结构(SA)中构件的概念,采用CHAM对SA中的构件进行建模,并据此导出该构件的标号迁移系统(LTS),以表示该构件与其它构件之间的行为交互,并根据选取的测试覆盖准则,生成基于此构件的LTS中的所有测试路径.最后以B/S体系结构为例,通过实验验证了该方法在生成DB构件的测试路径上是可行的.

基于Wright的SA级测试路径生成方法

软件体系结构用来描述系统的高层结构和行为特征,软件体系结构描述语言ADLs是对软件体系结构的形式化描述。在软件体系结构描述语言Wright的基础上,引入了一种图形的表示方法,即以动态行为图(BG图)来表示相关的构件间的动态行为及它们之间的关系,并提出了软件体系结构测试覆盖准则。根据BG图中路径的定义,给出了BG图中测试路径生成算法的基本思想。以C/S体系结构为例,验证了该方法在生成SA级的测试路径上是可行的。

基于状态迁移的Web应用功能测试用例生成方法

针对Web应用测试方法错误覆盖率低的问题,提出了一种基于状态迁移的Web应用功能测试用例生成方法。该方法通过构造页面状态迁移图、事件迁移表和导航迁移表对Web应用的链接关系进行表示。基于页面状态迁移图生成的页面状态迁移树生成测试路径,根据等价类划分原则,提出了一种测试用例覆盖准则,结合事件迁移表和导航迁移表中的信息记录构造测试用例。典型案例实验结果表明,该方法有效地表示了Web应用中页面间的链接关系,提高了测试用例的错误检测率。

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

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

基于MCDC的测试用例生成方法

软件测试中关键的步骤就是设计和生成高效、准确的测试用例,通过自动生成测试用例可以有效解决这一问题。提出基于修正条件判定组合覆盖准则(MCDC)的测试用例生成方法。对程序源代码进行预处理,利用控制树模型生成路径集的控制树,基于控制树所设计的修正条件判定组合覆盖准则对控制树进行约减,分别提取控制树上的根结点到每个叶子结点的路径约束信息,根据路径约束信息生成测试用例。实验结果表明,所提方法在生成测试用例的个数及测试用例集对MCDC覆盖率方面都有一定提高。

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

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