组合测试:测试生成、错误定位与应用

来源 :中国科学院大学 | 被引量 : 0次 | 上传用户:ak19820701
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来,计算机软件越来越多地融入到人们生活的各个方面。软件的规模也越来越大,功能越来越复杂。由此带来的软件质量问题层出不穷。软件测试是一种有效提高软件质量的方法,它通过选取并运行部分程序输入,来检查程序是否存在问题。其中,组合测试作为一种黑盒测试方法,尤其适用于对参数化的系统进行测试。组合测试因其代价低、检错率高的特点,在许多实际测试场景中得到了成功应用。  组合测试领域中大量的研究集中在理想数学模型的范畴下讨论,而在实际的测试场景中,有许多理想数学模型之外的特殊测试需求需要考虑。因此如何提高组合测试的易用性,是将该方法推向实际应用的重要问题。一方面,我们在组合测试生成的过程中,应当考虑到这些特殊的测试需求;另一方面,我们应当为测试人员提供方便的途径来表达这些特殊的测试需求。  在测试阶段发现缺陷后的一个重要步骤是调试并修复错误,而其中大部分的时间都花在定位错误上。组合测试的错误定位问题是在发现失败测试用例后,定位哪些参数组合引发了错误。这些参数组合可以用于帮助开发人员找到失败发生的根本原因。  本文围绕组合测试开展了以下研究工作:  (1)在组合测试生成上,本文提出了一种基于伪布尔优化的组合测试生成算法,将生成测试用例的组合优化问题转换为伪布尔优化问题进行求解。该方法能够有效地处理参数间约束;(2)本文还介绍了组合测试生成工具Cascade的设计,该工具能够支持许多实际应用场景中的测试需求;(3)我们使用组合测试方法对音频播放器,展示了组合测试的实施流程,并发现了真实系统中的若干问题;(4)在组合测试错误定位问题上,本文提出了一种基于适应性测试的有效算法,通过生成和运行一些附加测试用例,来定位引起一条失败测试用例失败的参数组合;(5)此外,本文还提出了一种将组合测试生成应用于白盒边界值分析的方法。该方法有效地提高了白盒测试生成的边界覆盖,并采用组合测试生成方法有效地减少了测试用例数量。
其他文献
远程教育作为我国高等教育的一种形式,有效地牵引着教育资源的优化,给教育思想与技术带来了革命性的变革,已经成为现代教育的必然要求。远程教育要得以顺利、高效的实施,必然离不
在信息化席卷全球的今天,我国的国土资源管理信息化在国家土地二次更新调查的带动下稳步推进。国土空间数据的采集编辑是实施国土资源管理信息化的重要环节。结合国土空间数据
在搜索引擎领域中,汉语分词的重要性愈显突出。与西文不同,汉语书写时是按照句子连写,词与词之间无间隙,容易让人在句子的理解上产生偏差,这就给查询信息、机器翻译等工作造成了很
本课题来自国家科技部2006年国家科技基础条件平台建设项目“网络协同研究与工作环境建设”。整个网络协同研究公共服务平台系统支持同步和异步两种协同方式,支持人机、人际协
智能交通系统已经成为电子信息技术在交通运输领域的热点研究课题。而图像处理和模式识别技术在智能交通系统的应用研究,是智能交通系统重要的前沿研究领域,具有极其重要的理论
网格变形技术是数字几何处理研究的核心技术之一,其应用方面主要包括三维数字媒体、影视娱乐、文化教育、网络休闲等。网格变形主要是研究三维虚拟物体的表面编辑、姿态变化、
随着计算机的广泛应用,现在的社会正朝着信息化的方向飞速发展。报表是一种包含大量相关信息的集合的表现形式,在社会各领域中使用广泛。其中,在企业的信息管理中不可避免地要编
虚拟现实是一门横跨多学科的综合技术,它是在计算机图形学、人机交互、建模仿真、计算机系统与通信等多种技术基础上发展起来的。虚拟现实技术作为一种新型的人机接口技术,不仅
为了进一步提升超级计算机的计算能力,使用众核加速部件作为协处理器的混合异构方式逐渐成为新一代超级计算机体系结构的首选设计方案之一。IntelMIC架构是一种基于x86的高性
流媒体服务是一种新型的网络服务模式,采用边下载边播放的人性化结构,使得即时性媒体内容通过网络进行大范围传播。随着网络用户的日益增多,传统的C/S模式遭遇服务瓶颈问题,而网