【摘 要】
：
在变异测试领域,耦合效应假设认为一个测试数据集可以检测一个程序中的所有简单错误也可以检测高百分比的复杂错误,它是变异测试的一个基本假设。因为程序的执行路径通常依赖于谓词语句中的布尔表达式,因此,基于故障的布尔规格测试是一项重要的弱变异测试技术。但是布尔规格测试中的耦合效应假设是否成立,这一问题仍是未知的。本学位论文以20个布尔表达式为实验对象,以10种常见故障类型为变异类型,研究弱变异测试中耦合效
论文部分内容阅读
在变异测试领域,耦合效应假设认为一个测试数据集可以检测一个程序中的所有简单错误也可以检测高百分比的复杂错误,它是变异测试的一个基本假设。因为程序的执行路径通常依赖于谓词语句中的布尔表达式,因此,基于故障的布尔规格测试是一项重要的弱变异测试技术。但是布尔规格测试中的耦合效应假设是否成立,这一问题仍是未知的。本学位论文以20个布尔表达式为实验对象,以10种常见故障类型为变异类型,研究弱变异测试中耦合效应是否存在问题。首先通过工具生成一阶变异体,二阶变异体以及一阶二阶变异体的测试用例集。通过对一阶二阶测试用例集的测试用例分析来对比一阶变异体和二阶变异体的检测难度大小。对一阶测试用例集约简获得测试充分集,计算一阶测试用例充分集检测二阶变异体的比例,从而进行耦合效应的分析。本文的工作创新主要体现在以下三个方面:(1)对一阶变异和二阶变异进行分析,发现在变异测试中,一阶变异体的检测难度大于二阶变异体。(2)使用测试用例约简算法对一阶测试用例集进行约简得到一阶测试充分集,计算一阶测试充分集杀死二阶变异体的错误检测概率,实验结果表明对于任一种故障类型,耦合效应都不能保证百分百存在,特别当高阶变异体设计故障类型ENF和ORF时,耦合效应存在的概率明显偏低。(3)通过对实验结果处理分析,得出在今后变异测试中哪些故障类型需要进行高阶变异,并对布尔规格高阶变异测试提出方法论的指导。
其他文献
对存量政策措施进行公平竞争审查是公平竞争审查制度的重点内容,但目前存量政策措施公平竞争审查的实施机制只有一个暂时适用且原则性的工作框架,难以确保审查工作的有效落实
无线电通信技术快速发展和广泛应用导致当前频谱资源分配紧张,而传统的固定频谱分配模式导致频谱使用不均衡和利用率低。在频谱资源供需矛盾的背景下,一种全新的无线电通信技术——认知无线电应运而生,它被认为是解决当前频谱资源相对紧张的最佳解决方案。认知无线电以频谱检测技术为基础,在一定的时间和空间上探测频谱空洞,机会地利用空闲频段进行通信,从而达到提高频谱利用率的目的。本论文深入研究无线电频谱检测技术,并利
长期演进语音承载(VoLTE)技术带给4G用户最直接的感受就是接通等待时间更短,以及更高质量、更自然的语音视频通话效果,故此运营商发展高质量语音数据业务的主要是利用长期演进技术(LTE),将语音承载于是移动网络数据传输快速发展的重大使命。在现如今的通信领域,世界各国的运营商都用4G网络作为数据业务的承载,而通话功能需要切到2G/3G,而未来的高速语音业务发展必定是在LTE领域的,这是移动网络发展的
耳熟能详的点对点传输协议,移动电子支付和云计算技术快速发展,有创新人士灵感迸现地将这些技术应用到金融上,于是P2P网络借贷诞生。该行为具体是指的是发生在对等主体间的并
碳点（C-dots,Carbon Dots）作为新一代的纳米荧光材料,具有低廉的制备成本、低毒性和环境友好等优势而引起广泛关注。同时,材料本身具有的优异光学和电学性能也使其在近年来得以
近年来,随着各种智能电子设备,物联网以及人工智能的发展,非易失性存储器市场不断扩大。基于电荷存储的闪存是非易失性存储器市场三十多年的主流产品。但是,这种器件的缺点非
为了建立和维持用人单位的正常经营秩序,法律规定用人单位拥有制定规章制度的权利。当劳动者行为违反劳动纪律时,用人单位可以依据规章制度对其进行惩罚。但是,自2008年《企业职工奖惩条例》废止后,我国劳动立法并未对用人单位惩戒权进行必要的规制,造成实践中用人单位惩戒权的滥用,导致劳动者合法劳动权利受到侵害,引发诸多劳动争议。因此,对用人单位惩戒权法律规制进行探讨具有现实紧迫性。就用人单位惩戒权的来源,主
零件的表面精度影响零件的外观、工作性能、可靠性及寿命。激光熔覆3D成形有制造流程短、熔层质量好、材料利用率高等一系列优点,但至今此方法一直还处于为毛坯制造阶段,根据
聚对苯二甲酸乙二醇酯(PET)使用泛滥,但非常难降解,导致其污染物在生物圈中广泛分布,从而引发一系列生态和社会问题。目前已发现细菌Ideonella sakaiensis 201-F6可以产生IsP