组合测试原理与应用中的若干问题研究

来源 :中国科学院研究生院 中国科学院大学 | 被引量 : 0次 | 上传用户:lhtskl
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
作为确保软件质量的重要途径,软件测试一直是人们研究的热点问题。每一个软件都可以看作一个受若干参量影响的逻辑系统。对于一些复杂系统而言,影响其运行的参量数目一般较多,对全部参量的所有可能配置进行穷举测试往往是不现实的。作为软件测试中的一种重要技术手段,组合测试能用精心设计的少数高质量的测试用例,有效地检测出系统中潜在的交互错误,保障复杂系统的可靠性。因此,研究组合测试的基本原理,解决组合测试在实践中的应用问题,以及进一步提高测试数据的质量,具有重要意义。   本文着重研究了以下几方面的内容:   (1)基于组合测试技术在铁道信号软件领域的实际应用,发现了组合测试场景中的一类新问题,提出了屏蔽参量的概念。通过引入特殊值“#”,扩展了传统的混合覆盖数组(Mixed Covering Array,MCA),建立了带屏蔽参量的混合覆盖数组模型(Mixed Covering Array with Shielding parameters,MCAS)。使用MCAS测试模型,挖掘待测系统中的屏蔽参量,尤其是系统内部隐性的屏蔽关系,对于保证组合测试的完备性,具有决定性作用。   (2)针对带屏蔽参量的组合测试应用场景,研究了测试数据生成算法,提出了MCAS的有效构造算法,并实现了相应的原型工具,进行了实验研究。实验结果表明,使用新的模型和测试生成方法,能够生成完备的组合测试数据,从而解决了组合测试中的屏蔽参量问题。   (3)在组合测试数据度量方面,原有的组合测试模型和理论对一组测试数据的评估指标为测试强度(Strength),由于强度仅能反映被测试数据所完全覆盖的元组信息,不能刻画维度大于强度的元组的覆盖率,因此对测试数据的度量并不精确,当两组相同规模的测试数据强度相等时,无法进行优劣比较。我们提出了一种新的度量准则-元组密度(Tuple Density),它兼顾了高维度元组的覆盖率,为测试数据的精确度量和遴选提供了依据。   (4)测试数据的优劣,直接决定着测试的有效性。在一定的预算下,生成尽量优化的测试数据,是测试人员的重要追求。在组合测试数据优化方面,我们根据元组密度度量准则,提出了一种基于非敏感元素集查找和实例化的优化方法,该方法可对给定测试数据进行优化。同时,实现了原型工具,进行了实验研究。实验表明,该优化算法是有效的。
其他文献
数据分布是研究数据如何分布到多个资源节点的NP-Complete问题,是云计算、普适计算、网格计算、分布式计算、P2P网络等多节点分布式系统中的关键技术之一,对系统性能、可靠可信
随着技术的进步,手机早已成为人们生活中必不可少的电子设备之一,同时因其综合性能日益增强,也受到了研究人员的广泛关注,大量应用出现在增强现实和普适计算领域。在增强现实
飞速发展的计算机系统应用不断对处理器计算能力提出更高需求。面向特定应用的处理器扩展技术主要包括指令系统扩展及专用硬件加速部件扩展这两种方式,可有效提高特定应用的性
在网格计算中,任务管理、任务调度和资源管理是网格必备的三个基本功能。网格调度技术解决了网格如何调用各个资源,如何实现协调工作等问题,一个好的任务调度方法可以充分利用网
EPA标准是由我国提出的用于提高工业以太网实时通信性能的系统规范,其为了解决EPA网络中设备之间的互通问题,定义了应用层的服务与协议规范。它通过在数据链路层和网络层之间添
在过去三十年间,随着成像光谱技术的不断发展,在飞机或卫星平台上搭载的成像光谱仪采集得到的遥感图像包含了越来越丰富的空间、辐射和光谱信息,从而为地表物质的信息提取和目标
A.Shamir在1984年首次提出了基于身份的密码学的概念,其根本目的是简化传统公钥密码学中复杂的证书管理.在基于身份的密码体制中,公钥不再需要通过可信第三方签发的数字证书与
各类设备与控制系统的日益复杂对其故障诊断系统提出了更高的要求。一方面,故障诊断系统面临着海量监测数据的输入;另一方面,随着故障种类、发生形式呈现越来越明显的多样化,
用户界面在软件系统的智能化、个性化、人性化等方面发挥着重要作用,但却是软件系统中最容易变化的部分,因此使用户界面具有可定制性是计算机软件技术领域中一个重要问题。同样
随着摄像技术的发展,图像的清晰度越来越高,人们在对图像中的物体进行检测时的要求也越来越高。在复杂的图像中目标往往彼此干扰,检测的图像和实际就会产生偏差,采用亚像素的方法