【摘 要】
:
引入错误级别的概念,提出了一种同时考虑测试集覆盖度与查错能力的双标准压缩模型。把设计的测试用例保存在测试集中,按照一定的覆盖度标准组织起来;运行用例发现的软件错误
论文部分内容阅读
引入错误级别的概念,提出了一种同时考虑测试集覆盖度与查错能力的双标准压缩模型。把设计的测试用例保存在测试集中,按照一定的覆盖度标准组织起来;运行用例发现的软件错误也作为附加信息被保存在测试集中,并按照错误的严重程度评定一个级别。把设计的测试用例保存在测试集中,按照一定的覆盖度标准组织起来。运行用例发现的软件错误也作为附加信息被保存在测试集中,并按照错误的严重程度评定一个级别。最后在回归测试阶段,以用例曾发现过的软件错误的数量以及严重级别作为评价查错能力的标准,同时考虑覆盖度,对测试集进行压缩。在压缩原始测试集的过程中,利用一个权重参数决定覆盖度和查错能力哪个作为选择测试用例时更重要的标准。通过调整权重参数的具体取值(0 - 1)来得到性能不同的压缩测试集(从最大化查错能力到最大比例压缩率)。模型可以在极大地压缩原始测试集的同时保证相同的覆盖度和查错能力,如果对两个主要性能之一略作牺牲,则可以得到更大的压缩率。对于一个具体的测试用例,模型使用一组二进制的决策变量表示其是否覆盖了某个需求;另一个决策变量用来记录该用例发现的错误的严重级别数之和。只需要在运行测试用例后及时更新其发现的错误的信息,就能保证得到的压缩测试集具有良好的查错能力。由此产生的压缩测试集减少了运行成本,覆盖了所有的需求,最大可能的保留了查错能力。在软件测试中运用测试集压缩模型,可以显著地提高测试工作的效率,引入错误级别的双标准测试集压缩模型能提供关于测试用例查错能力的更具体的信息。模型有一个重要的特点:在任何时候中断算法,仍然能得到一个满足覆盖度的压缩测试集。实践证明,模型不仅可以有效地压缩原始测试集,而且可以最大限度地保证新测试集的查错能力,从而使项目在保证软件质量的前提下大幅减少测试的成本。
其他文献
医学图像分割是对医学图像进行分析研究的基础步骤之一,高效且精确的医学图像分割是解剖结构、治疗规划、病灶确定与诊断和图形引导手术等研究的关键环节和重要基础,在生物医
IP网络性能测量对网络研究与发展十分重要,可以用于分析当前Internet的基本特性,如网络体系结构和流量模型等。Internet因其异构性、业务类型的多样性且变化的随机性,使得人们对
本文从实际企业(圣茵花卉企业)在产品定价中所遇到的问题为出发点,对企业的定价的机制进行深入研究,给出BASS动态定价模型及相关的定价机制,再引入Agent技术对定价系统进行设计,
IPSec协议为IP网络数据通信提供完整性,保密性和身份验证,并支持丰富的保护模式和操作。尽管IPSec协议有很大的灵活性,但是,IPSec安全策略的复杂语义却使配置策略极易产生冲
导师苏开乐教授近年来新提出了基于本地会话的安全协议验证逻辑LLS(Logic of Local Sessions)。LLS逻辑基于安全协议的证明,它可以验证复杂协议的相关安全属性和处理多层认知
随着信息时代的发展,用户对信息的要求越来越严格,全面性、准确性、实时性变得十分必要。与此同时,信息的提供者也希望将自己的资源有偿或无偿地提供给更多的用户。因此需要
边缘检测是数字图像处理中的重要内容,也是至今仍没有得到圆满解决的一类问题。其原因一方面是由于课题本身的重要性,另一方面也反映了这个课题的深度和难度。边缘是图像的最
工作流是针对工作中具有固定程序的常规活动而提出的一个概念。通过将工作活动分解成定义良好的任务、角色、规则和过程来进行执行和监控,达到提高生产组织水平和工作效率的目
被称为是下一代互联网的网格计算,从它诞生那天起就受到了人们的广泛关注。它就像一台超级计算机,通过网格,我们可以整合的不仅仅是计算机和网页,还包括其他许多信息资源,如:
近年来,XML(Extensible Markup Language)己经成为互联网上数据发布和数据交换的事实标准。受到越来越多的关注。各行各业都在采用XML来描述本领域的信息,随着XML的普及,人们