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

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

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

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

测试用例集的优化技术分析与改进

测试用例集优化技术是软件测试的重要组成部分,对回归测试检测效率影响巨大.针对给定的测试目标,获得精简的测试需求集和测试用例序列集,有助于提高测试用例集优化的效率和效果.首先介绍了测试用例集约简问题的基本概念,对现有的各种约简方法进行分析比较,接着讨论了测试用例的优先级排序问题,最后提出将测试用例约简技术和优先级技术结合起来,提高用例检错效率和缩小用例空间的优化策略,文章还引入等价类和快速排序思想,动态调整测试用例序列,并通过实验证明该改进是行之有效的.     

一种基于不变量的测试空间约简方法

测试用例的自动生成在带来方便的同时引入了大量的等价输入及过多的冗余测试用例,对于测试空间的约简能够有效地解决这一矛盾。程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言,可以用于指导测试用例的生成。通过程序不变量来判断测试用例的有效性,再根据无效测试用例来确定无效空间,并对无效空间进行删减,从而达到减少冗余测试用例、提高测试用例集生成速度的目的。     

基于组合混沌遗传算法的最小测试用例集生成

最小测试用例集生成是软件测试的重要研究领域之一.将具有均匀分布特性的Chebyshev和Logistic混沌映射相结合的混沌序列引入遗传算法的选择、交叉和变异操作,并在遗传测试用例选择方法中添加混沌扰动,实现全局最优,以解决遗传算法用于测试用例集约简时局部搜索能力弱、易早熟收敛等问题.在随机生成的测试用例需求对应关系及Siemens测试套件等实例上进行了实验研究,并与现有的经典方法在测试用例集生成规模和算法执行时间上进行了比较,实验结果表明,在保持算法执行时间的基础上,在遗传测试用例方法中引入混沌映射有助于生成规模更小的测试用例集.     

基于遗传算法的UML活动图测试用例优化研究

测试用例的选择在软件测试中十分重要,良好的测试用例可以减少时间和资源的使用,因此提出了一种基于遗传算法的UML活动图自动生成测试用例的算法。通过建立UML活动图模型,将活动图转换为有向图,然后采用深度优先搜索方法获得测试路径,应用遗传算法优化得到测试路径。该算法可以提供优先需要测试的路径,用于自动生成高质量的测试用例,提高测试任务的工作效率。     

基于J—M模型的应用研究

软件可靠性是基于执行时间或自然时间的度量,很少文献讨论软件可靠性测试与测试过程的关系,特别是测试效率与测试用例的定量关系。文章在基于J—M模型应用方法的基础上,考虑到可靠性测试过程产生的数据与可靠性度量的关系,提出对J—M模型进行补充假设,使得J—M模型的应用方法适应于测试过程,建立软件可靠性与测试用例的定量关系,从而实现对软件可靠性度量以及对测试效率的评价。     

基于Object-Z与Markov链的校园卡系统测试用例

针对提高校园卡系统准确性和可靠性测试的要求,提出了Object-Z与Markov链结合的测试用例自动生成算法.使用Object-Z对系统进行形式化规约,生成测试场景和操作顺序图;将操作顺序图转换为Markov链使用模型;根据测试场景和Markov链使用模型生成数量相对合理的测试用例.该方法无需对系统进行运行,在需求分析与测试阶段就能对系统的功能进行测试.生成的校园卡系统测试用例证明该方法是有效的,并且在提高测试覆盖率的同时,使用Markov链也能保证对系统的可靠性测试.     

软件可靠性测试技术研究

文章分析了软件可靠性测试的过程、可靠性测试中涉及的基本参数及计算方法、软件运行剖面的概念和获取运行剖面的步骤、测试用例的选择方法、软件可靠性测试模型的作用和建立方法。     

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

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

软件先验知识和基于测试的可靠性评估关系研究

软件测试能够为软件可靠性提供一种运行前评估．为减少达到一定可靠性目标所需要的测试用例的数量，普遍认为可以将软件的先验知识综合到基于测试的可靠性估计模型中．目前已经提出几种理论模型但是少有试验验证．本文对测试系统的定义进行了扩展，从规范、实现和测试之间的关系，研究了影响软件测试有效性的因素，并通过试验验证了基于贝塔分布模型的先验知识和基于PAC模型的先验知识在可靠性估计中的作用．本文的结论认为是软件的易测性特征而不是先验知识的多少决定了达到一定可靠性目标所需的测试用例数量．该结论有助于理解软件设计对于测试有效性的影响．     

一种可变测试集的协议一致性测试方法

目前常用的协议一致性测试的测试方法是首先对协议规范建模,然后通过模型生成测试集,最后执行测试集.这种方法存在执行效率不高和实际测试范围可能被缩小的问题,为此本文提出一种可变测试集的方法,通过动态执行测试集提高其执行效率,同时从与协议实现无关的角度扩大协议的实际测试范围.     

Optimal release time for software systems considering cost, testing-effort, and test efficiency

In this paper, we study the impact of software testing effort & efficiency on the modeling of software reliability, including the cost for optimal release time. This paper presents two important issues in software reliability modeling & software reliability economics: testing effort, and efficiency. First, we propose a generalized logistic testing-effort function that enjoys the advantage of relating work profile more directly to the natural flow of software development, and can be used to describe the possible testing-effort patterns. Furthermore, we incorporate the generalized logistic testing-effort function into software reliability modeling, and evaluate its fault-prediction capability through several numerical experiments based on real data. Secondly, we address the effects of new testing techniques or tools for increasing the efficiency of software testing. Based on the proposed software reliability model, we present a software cost model to reflect the effectiveness of introducing new technologies. Numerical examples & related data analyzes are presented in detail. From the experimental results, we obtain a software economic policy which provides a comprehensive analysis of software based on cost & test efficiency. Moreover, the policy can also help project managers determine when to stop testing for market release at the right time.     

软件测试用例集缩减的一个算法

一个测试用例集可能含有冗余的测试用例。在回归测试中为了减少维护测试用例集和执行测试用例的成本,可以采用测试用例集缩减的技术。文章提出了一个测试用例集缩减的新算法,并给出了应用实例。     

Reliability of conformance tests

Conformance testing is considered from a statistical point of view. An s-confidence interval is found for the reliability that an implementation of a software package complies with specifications of a standard. Determination of whether it complies depends on a conformance test, which is written directly from the standard. Although the conformance test is written directly from the standard it does not test all possible software parameter-settings that invoke the standard. Thus, statistical inference is necessary. A general s-confidence interval for the reliability is given when the specification requires that the implementation passes all the tests in the conformance test suite. The conformance test is made of disjoint homogeneous partitions. The failure probability of the software is based on a weighted linear combination of the partition failure probabilities. An example is included     

Rules and criteria for when to stop testing a piece of software

The problem of defining an optimum software release-time has been a challenge to everyone involved in software production. Software testers define criteria measuring the quality of the testing process rather than the achieved reliability levels. Statisticians use theoretical stopping rules ignoring the applied testing strategies and finally cost analysts suggest the termination of testing within predefined cost and time - schedule commitments. A review of rules and criteria that suggest the finishing of testing is presented, emhasizing the need to link all the above approaches to software reliability through a universally understood concept, that of time.     

Rules and criteria for when to stop testing a piece of software

The problem of defining an optimum software release-time has been a challenge to everyone involved in software production. Software testers define criteria measuring the quality of the testing process rather than the achieved reliability levels. Statisticians use theoretical stopping rules ignoring the applied testing strategies and finally cost analysts suggest the termination of testing within predefined cost and time - schedule commitments. A review of rules and criteria that suggest the finishing of testing is presented, emhasizing the need to link all the above approaches to software reliability through a universally understood concept, that of time.     

基本路径测试方法在仿真训练软件测试中的应用

覆盖率测试是仿真训练软件白盒测试的重点。研究了仿真训练软件测试的特点,分析了仿真训练软件测试的关键点,应用基本路径测试方法间接的实现了仿真训练软件全路径覆盖问题。通过实例验证,该方法可以较好的提高仿真训练测试效率、降低测试成本。     

基于质量成本的软件测试模型研究及构建

通过分析和比较当前典型的软件测试类型．构建了一个新颖的QC 3-D软件测试模型。该模型融合了软件测试过程、软件质量成本和测试等级三个部分，并定义了软件质量成本的量化公式。通过软件质量成本均衡概念，平衡软件质量成本中的控制成本和故障成本，从而调整软件测试的阶段和等级，以达到软件质量最优同时成本消耗最小的最佳值目标。