基于MC/DC准则的确认测试用例生成方法

形式化的需求规格说明以其能够被自动操纵的形式,精确地描述了软件预期提供的功能,为测试提供了良好的条件。运用模型检查技术自动生成测试用例是形式化方法在基于需求的测试中采用的主要途径。MC/DC(修改的条件/判定覆盖)准则是一种实用的软件结构覆盖率测试准则。结合模型检查技术,提出一种从形式化的软件需求中自动生成测试用例的方法,以达到对软件需求的类似于MC/DC准则的覆盖测试。以一个实际的案例为例,并检验其生成的用例对代码的覆盖率,证明方法的实用性。     

其它软件技术

0119723UML statecharts 的测试用例生成方法[刊]/李留英//计算机研究与发展.—2001,38(6).—691～697(E)测试用例生成是软件测试的关键。根据 UMLstatecharts 的层次和并发结构,研究相应的测试用例产生方法。它视复合状态为抽象状态,分别构造主 UMLstatecharts 和复合状态所对应的子 UML statecharts 的测试基,并依据一定的合成规则和 Wp-方法生成整个UML statecharts 的测试用例。这种方法能够支持递增式测试用例的生成。理论和实验结果说明,如果满足测试条件,它们保证全故障覆盖,且产生较少的测试用例。这种改进对大型复杂系统尤其有效,也便于构造自动测试工具。参11     

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

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

测试用例自动生成方法的现状及研究

软件测试数据生成在软件系统开发费用中占很大比重。如果该过程能自动实现,则会极大地减少软件开发的周期和费用。测试用例的生成工作包含选定被测任务、分析输入数据、确定其取值并分析对应的输出数据。其中分析对应的输出数据是决定测试是否成功的关键环节。测试用例选取的一个中心原则,就是以用最少的测试用例找到尽可能多的错误。目前的工具尚不能完成自动生成测试用例这个环节,往往是只能采用人工选取的方法。按所采用的方法和研究对象的不同,将测试用例自动生成方法主要分为5类:基于有限状态集的测试,基于标注的转换系统的测试,针对面向模型的需求规格说明的测试,针对面向对象软件的测试,以及运用模型检查生成测试用例的方法。在简单介绍前4种方法之后,重点对模型检查的方法进行详细的分析和探讨。     

基于公理系统的面向对象自动测试研究

文章提出了一个基于公理系统的面向对象自动测试框架.该框架首先从XML文件中提取被测类的代数规格说明和公理描述,然后使用‘term rewriting'技术生成‘消息对'形式的测试用例,最后使用velocity模板引擎使测试用例可以在Junit单元测试工具上自动执行和验证.     

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

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

基于UML集成测试模型的生成方法

UML中的状态图和通信图可共同作为生成测试用例的模型,用于集成测试用例的生成.在通信转换的基础上采用深度和广度搜索得到没有冗余的组合状态图,提出一种形式化组合状态图中组合状态的方法,使集成测试模型更加简单,实验结果表明易于生成集成测试用例.     

基于正交表的条件组合覆盖方法的改进

分析白盒测试逻辑覆盖中条件组合覆盖的方法,结合正交表的特征,提出了一种基于正交表的条件组合测试用例设计方法,并针对具体实际问题给出了方法说明,意在减少测试用例冗余度,提升测试效率。     

基于谓词抽象的测试用例约简生成方法

针对大规模软件系统状态迁移数量庞大,容易导致状态空间爆炸的问题,提出一种基于谓词抽象的测试用例约简生成方法,该方法依据给定的谓词集合对软件系统的状态空间进行等价类划分,通过状态集合之间的映射得到约简的抽象状态,并以抽象状态之间的迁移关系作为测试用例约简生成的基础。实验结果表明,该方法可以有效地对系统状态进行约简,并生成规模较小的测试用例集。     

基于遗传算法的路径测试用例的自动生成探讨

在软件开发中进行软件测试是为了保证软件质量和可靠性。软件测试中测试数据合理设计很关键。如何优化测试数据,自动生成测试数据是人们一直研究的问题,本文针对测试用例的自动化生成进行了深入的研究,在分析遗传算法的基础上,设计了一个基于遗传算法的测试用例自动生成系统,仿真实践表明,本文设计的系统能够准确地自动生成满足指定路径的测试用例。具有很好的适应性,对程序路径是否被覆盖能智能判断,对不能完全覆盖的程序路径将给出最优解。     

基于函数调用的路径覆盖生成技术研究

 针对目前路径覆盖方法所存在的缺陷,提出了一种新的基于函数调用的路径覆盖生成方法.根据控制结构与函数调用语法,获取全部的静态函数调用路径,依据程序执行后的动态路径信息,判断测试用例是否覆盖了程序变更部分及受影响部分.该方法既能避免路径数目的急剧增长,又可以保证测试完全.     

基于混合粒子群的IMX系统组合测试用例集生成

测试用例生成是组合测试领域的关键任务。针对国际航空运输协会的全球航空公司综合管理系统在软件测试中面临的测试用例冗余问题,分析粒子群算法生成单个测试用例时不同参数取值以及取值对结果的影响,以此为基础提出一种以one-test-at-a-time为扩展策略的混合粒子群组合测试用例集生成算法。以全球航空公司综合管理系统中的参数为实验数据,实验表明,该方法在生成尽可能少的组合测试用例集上是有效的,且可以减小该系统组合测试用例集规模,提高待测软件系统的测试效率。     

基于Z路径覆盖的测试用例自动生成技术研究

路径覆盖是白盒测试中覆盖率最高的一种覆盖方法,但由于其生成的路径过多,很难应用到实际测试中。Z路径覆盖是路径覆盖的一个变体,可有效解决路径覆盖过多的难题。结合指令块测试思想和动态数据自动生成算法,提出基于Z路径覆盖的测试路径和测试用例自动生成技术。     

软件测试数据自动生成方法研究

在对软件进行测试中,生成测试用例是一个工作量巨大的工作,若是依靠手工方式生成测试数据则极有可能出现错误.为了保证测试的充分性,测试用例的有效性,本文研究了如何进行测试数据的自动生成,提出了基于遗传算法的软件测试数据的生成方法.本方法利用遗传算法实现测试数据的自动化生成,并在生成的过程中并对测试数据进行测试,解决了路径覆盖的测试.     

基于程序变异分析对分支覆盖与随机测试的研究与评价

分支覆盖测试和随机测试都是广泛运用的软件测试方法,主要用于白盒测试中测试用例的生成和执行。变异测试是一种行之有效的检验测试用例质量的方法,通过自动化工具产生目标程序的变异版本,然后根据测试用例对其的测试结果来判定测试用例是否能够有效地检测出某一类或者某几类的代码错误。本文旨在运用变异分析的方法进行实验,分别对分支覆盖测试和随机测试能够发现的错误数目进行比较。通过对实验结果的分析和比较,分别对分支覆盖测试和随机测试进行评价。     

基于迭代预测降低巧合正确性测试用例影响的软件错误定位方法

巧合正确性测试用例是指某个测试用例虽然在执行程序时覆盖了错误的代码行,但是其测试结果依然是正确的.在测试用例集中,巧合正确性测试用例是普遍存在的.巧合正确性测试用例对基于程序谱的软件错误定位方法的错误定位精度产生很大的影响.为了避免这一影响,本文提出一种基于迭代预测降低巧合正确性测试用例影响的方法.该方法的基本思想是通过迭代的方法,预测巧合正确性测试用例的数目N,再对候选测试用例的巧合正确性可疑值进行排序,去掉可疑值较高的前v个巧合正确性测试用例,利用新的测试集进行错误定位,直到找到错误语句,或者候选的巧合正确性测试用例的个数小于迭代预测值N为止.使用Siemens Suite测试用例集对系统进行了测试,测试结果表明该方法能够有效提高基于程序谱的软件错误定位方法的错误定位精度.     

基于错误交互集的组合测试软件故障定位方法

提出了一种基于错误交互集的组合测试软件故障定位方法.根据组合测试数据的执行结果,生成可能的错误交互集,通过对集合中全部交互进行定性分析,以有效的避免不同测试用例覆盖的相同错误交互被重复定位的情况,减少所需附加测试用例的数目.提出了基于错误密度的测试用例分析方法,将已有测试结果作为先验知识,提高错误定位的效率.最后,经过算法效率分析及实验验证,本文算法能够在保证准确定位错误交互的基础上,有效减少所需附加测试用例的数目.     

最佳测试用例选择算法的改进思路

有效和高效的程序测试是软件测试中的一个重要任务。如果被测试的程序较为复杂,选择一个覆盖准则需要最少的测试用例数量,以尽量减少测试工作量。最佳的测试用例的选择问题是选择满足所需的覆盖准则的情况下测试用例的最小数量。目前有很多可行的最佳测试用例的选择问题研究,然而,这些研究各有不足之处。     

基于测试项抽取的测试用例复用方法

针对测试用例复用过程中测试用例与被测模块相关性较高的现状,提出了一种测试用例复用的方法.通过抽取测试用例步骤序列的测试项,生成一个测试项集合,然后在新测试工作时检索该集合以实现测试用例的复用.另外,为了便于测试用例的管理,文中采用XML描述测试用例.实例表明,该方法能够有效降低测试用例与被测模块相关性,提高测试效率.     

基于需求的测试用例设计方法研究

本文针对软件的基本特点,介绍了测试用例设计的相关概念,结合软件的需求进行分析,论述了基于需求的测试用例设计的基本过程,给出了以满足功能覆盖为特点的软件测试用例设计方法.