可复用测试用例研究

软件测试是提高软件质量的关键步骤,测试用例的设计又是软件测试的核心,对已有的优秀的测试用例进行复用能够缩短软件测试的时间,该文对介绍了可复用测试用例的概念及设计思想,提出了可复用测试用例库的模型,提高了测试用例的复用程度。     

支持共享和复用的测试用例库系统的设计

测试用例的共享和复用对于提高测试工作的效率极为重要，本文提出了一个支持共享和复用的测试用例库系统，文章首先时测试用例的管理属性和测试用例体进行建模，然后描述了系统的版本管理、导出导入和统计等多项功能。     

基于TCBR的测试用例复用方法研究

为了提高设计测试用例的效率,提高软件测试效率,提出了基于测试用例推理的测试用例复用方法。介绍了基于测试用例推理方法,说明了基于测试用例推理的测试用例复用过程。确定了测试用例和测试用例集包含的要素集合,并在此基础上建立了测试用例相似度度量模型。针对模型的3个组成部分,即结构相似度、属性相似度和属性权重,分别作了计算说明,改进K最近邻算法,建立了测试用例检索算法。通过实例讨论了该方法的过程,表明了其可行性。     

基于形式化描述可复用测试用例库的研究与实现

软件测试作为保证软件质量的重要手段,是软件开发过程中的重要环节。软件测试过程中产生的大量测试用例对保证软件的质量起到了关键作用。为了共享和复用测试用例,提出了基于形式化语言描述的可复用测试用例库的构建方法,收集大量测试用例,并进行合理的分类和管理,测试人员可以从库中选择合适的测试用例直接使用或稍作修改来使用,从而大幅度降低了测试人员的工作量,极大地提高了测试工作效率,进而更好地保证软件质量。     

基于复用簇的测试用例复用度量

随着软件测试复用实践的深入、测试用例库规模的不断扩大,对测试用例复用的管理和评价的研究也逐渐引起人们的关注.在详细分析了测试用例复用行为的基础上,提出复用簇和测试用例从属度的概念,并基于复用簇和从属度建立测试用例复用度量模型.模型以复用为导向,建立和复用行为相关联的复用簇管理模式,并通过从属度为复用建立度量方法.该复用度量模型实现了计算过程的自动化,改进了简单计算测试用例复用次数的度量方法,保证复用度量的客观性和准确性,使复用度量的量化评价成为可能.     

软件测试中的测试用例及复用研究

软件测试过程中产生的大量测试用例对保证软件的质量起到关键作用，对于专门从事软件测试的机构来说，测试用例的复用尤其重要。在测试用例的设计、选择的基础上，构造出基于复用的测试用例，同时采用测试用例库管理的方法来实现测试用例的复用，可以提高软件测试的工作效率。     

软件测试中的测试用例及复用研究

软件测试过程中产生的大量测试用例对保证软件的质量起到关键作用,对于专门从事软件测试的机构来说,测试用例的复用尤其重要。在测试用例的设计、选择的基础上,构造出基于复用的测试用例,同时采用测试用例库管理的方法来实现测试用例的复用,可以提高软件测试的工作效率。     

软件可靠性测试用例的复用度量

针对目前基于复用的软件可靠性测试缺少对测试用例复用度量的现实问题,在构建测试用例复用模型的基础上,首先应用特征分析法求解测试用例各复用资源的权重,然后再分别计算它们在测试中的复用度,最后求解得到测试用例的平均复用度。从定量的角度解决了测试用例的复用度量问题。     

基于知识图谱的测试用例复用方法

为提高测试用例复用的准确率及软件缺陷的发现率,提出一种基于知识图谱的测试用例复用方法,根据已有的项目测试数据,构建测试用例复用模型。对测试用例领域进行研究,分析测试用例的特征,利用本体设计构建测试用例知识图谱,通过问题模板与知识图谱匹配,改进朴素贝叶斯分类模型,利用多属性、多条件检索相似度最高的测试用例。基于模型匹配精度和知识图谱检索效率对复用方法进行验证,实践对照表明该方法能够提升测试用例复用率以及缺陷发现率。     

基于模型的航空机载软件测试用例复用方法研究

为降低航空机载类软件测试费用,提高测试质量和测试效率,提出了基于模型的测试用例复用方法,设计了面向复用的测试用例模型,并给出测试用例自学习复用算法.最后通过某卫星导航定位系统(GNSS)接收机软件测试实验证明了该方法的有效性.     

基于UML模型的系统级测试用例生成方法

采用基于UML模型的软件测试方法,主要整合用例图与顺序图进行系统级的软件测试。首先提出用例执行图(UEG)的生成算法、顺序执行图(SEG)的生成算法,及基于UEG和SEG,生成系统测试图(STG)的算法;其次,根据制定的三层次准则,遍历UEG、SEG、STG生成测试用例,主要解决交互错、场景错、用例执行错和用例依赖错等问题。最后,经实例分析和实验验证,该方法可以基于用例图和顺序图进行系统级的软件测试。     

软件测试用例自动生成算法综述*

按照测试用例自动生成技术的不同,将测试用例自动生成算法分为随机、遗传、蚁群、粒子群四类,对上述各类算法的现状和进展进行介绍、分析和探讨。最后,对软件测试用例自动生成的研究进行了总结。     

应用UML顺序图的联锁测试用例生成方法

计算机联锁软件是安全完善度等级最高的软件, 因此, 在投入使用前对联锁软件的测试是必不可少的。为生成联锁软件测试用例, 结合包含有充分测试信息的UML模型, 提出一种以UML顺序图为主要模型的软件测试用例生成方法。通过提出有向图SG生成算法, 将顺序图转换为SG; 然后基于特定的覆盖准则和采用深度优先搜索算法遍历SG, 得到场景的输入、预期输出、约束条件以及场景环境, 生成测试用例; 最后, 以进路建立过程为例验证了该方法的可行性和正确性。     

基于领域Use Case需求模型的测试用例生成

传统的Use case模型已经被扩展用于建立领域需求模型,但该模型并不支持领域测试用例的复用和自动生成.给出了领域用例的形式化定义方式,增加了最小数据触发集的描述,提出了用例的动态模型和静态模型概念.扩展活动图用于表示用例之间的动态关系和执行过程,并将值流和对象流融入到活动图的表示中.依据用例的动态模型,可以直接产生测试用例,同时获取测试数据,从而实现领域软件需求与领域测试用例的裁剪过程一致性和同步性.     

可重用信息系统框架设计

软件重用是软件界追求的目标，人们正努力实现基于框架、体系结构和需求的重用，但具体实现技术还不够成熟。框架是可重用的特定领域应用软件的半成品，在框架上定制可以建立具体的应用系统。一个好的框架可大大节省开发时间，降低开发成本。简要介绍了软件重用和框架，提出了一个用于信息系统领域的框架设计，并给出了该框架的体系结构和开发模型。     

Issues in using model checkers for test case generation

The use of model checkers for automated software testing has received some attention in the literature: It is convenient because it allows fully automated generation of test suites for many different test objectives. On the other hand, model checkers were not originally meant to be used this way but for formal verification, so using model checkers for testing is sometimes perceived as a “hack”. Indeed, several drawbacks result from the use of model checkers for test case generation. If model checkers were designed or adapted to take into account the needs that result from the application to software testing, this could lead to significant improvements with regard to test suite quality and performance. In this paper we identify the drawbacks of current model checkers when used for testing. We illustrate techniques to overcome these problems, and show how they could be integrated into the model checking process. In essence, the described techniques can be seen as a general road map to turn model checkers into general purpose testing tools.     

基于OFGA的软件测试用例自动生成

为提高测试用例生成的质量和效率,提出一种基于最优家族遗传算法(OFGA)的软件测试用例自动生成新算法。基于OFGA的测试用例生成算法在执行过程中适当缩小搜索区域,从而在相对更小的区域内快速寻找最优解。因此,OFGA能比较快地加速算法的收敛,提高算法的效率,在测试用例的生成上具有较大的应用潜力。由实验结果可知,新算法比遗传算法(GA)在测试用例自动生成上耗时更少,效果更佳。     

可信软件实时性测试用例集生成方法研究*

基于RAISE规范语言（RSL）的一个变体——时间化RAISE规范语言（TRSL）,提出一种可信软件实时性测试用例集生成方法。该方法首先去除基于TRSL软件规约中的抽象时间因素;然后使用划分分析的方法构造测试单元;再利用动态约束求解方法动态构造具有时间约束的构造项和观测项,并在此基础上构建完整的基于TRSL规约的实时性测试用例集。