蜕变测试相关论文
在核工业数字化转型的浪潮中，构建基于人工智能和机器学习的高质量软件正成为学术界和行业中非常热门的研究课题。由于核技术领域的......
随着微服务架构的广泛应用,微服务质量得到了越来越多的关注,以规约为基础的软件测试技术是保证服务质量的一种有效途径。作为一种......
科学计算软件现已广泛应用到了各个研究领域中,而科学计算软件的功能实现需要由多个数值计算程序构成,所以数值计算程序的输出结果......
软件测试是保证和提高软件质量的一种重要手段。在进行软件测试时，经常会碰到oracle问题，即程序的预期输出难以确定。蜕变测试通过检......
传统测试中通过对比程序的输出结果与预期结果是否一致,来判断此次测试中是否发现了错误。但当一个待测程序的输入与输出关系很复......
在过去的几年中,图像分类算法,特别是深度神经网络(Deep Neural Networks,DNN)在诸多领域被广泛应用,并且取得了极大的成就。但最......
软件测试贯穿于软件的整个生命周期,是保证和提高软件质量的重要手段。软件测试面临一个挑战问题—测试Oracle问题,即测试人员难以......
软件测试是评估和保证软件质量的重要途径之一。构造预期输出问题(即Oracle问题)是软件测试工作中经常碰到的难题。蜕变测试技术通......
随着现代社会数据膨胀,数据挖掘算法的应用越来越普遍,然而如何对该领域的应用程序进行质量保证具有极大的挑战。由于数据挖掘领域......
近年来机器学习技术取得了长足的发展,成为诸多软件的创新驱动力,其质量与可靠性问题正逐渐引起人们的高度关注。软件测试是保障软......
基于用户查询的搜索和显示数据是大多数软件应用程序的关键功能系统,这些系统管理大量的数据,由于很难确定预期的输出结果,因此使......
机器翻译是利用计算机将一种自然语言转换成另一种自然语言的任务,是人工智能领域研究的热点问题之一.近年来,随着深度学习的发展,......
图像识别是图像处理的重点研究领域,在测试结果难以判定以及数据集样本类别不平衡的影响下,适用于图像识别系统健壮性以及稳定性的......
蜕变测试技术被广泛应用于不同软件测试领域，但在实际应用中也遇到一些问题——缺少实用的蜕变关系构造方法，本文提出一种新的方法，使......
图像区域增长是图像处理技术研究的热点问题,是图像分割的重要手段。图像处理软件的测试面临测试判定难题,当前其结果判定主要由领......
模型驱动架构中模型转换结果正确与否常常难以判断(即测试Oracle问题),而蜕变测试通过验证多个执行结果之间是否满足蜕变关系可以......
为缓解软件测试的Oracle问题,蜕变测试通过验证多个测试用例及其输出之间是否满足蜕变关系来验证测试结果.可见蜕变关系是蜕变测试......
蜕变测试对于预期输出难以构造的程序是实用和高效的．作者在系统研究已有蜕变测试方法和路径分析技术的基础上，首先针对使用二元蜕变......
提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验......
在软件测试中，测试预言是一种用于检查程序在测试中是否正常运行的机制．然而在某些实际情况下，还无法制定测试预言或者难以有效地应用......
核电设计与分析软件的数值计算程序的验证测试过程,受制于代码中数值算法执行的正确性,但存在Oracle问题,即测试人员很难构造或者......
基准题计算是核电设计与安全分析软件验证测试的主要方式之一,但其存在研制成本高、周期长、题量少的问题。本文针对中子扩散程序......
数值计算方法被广泛运用于实际生活中,解微分方程问题则是数值计算问题中的一个重要分支,但由于求解微分方程的程序很难直接找到一......
在面向服务软件的测试过程中,由于在服务发现之前不可知的交互对象和同一个服务可能会有不同实现,往往出现程序执行结果不能提前预......
坡度、坡向量算是地理信息系统的主要功能之一。然而,由于截断误差、舍入误差以及误差传播的影响,导致测试判定难以获取。基于此,......
机器学习的普遍应用引起了人们对其信任度的关注,利用蜕变测试技术研究机器学习程序质量逐步成为软件测试领域的研究热点之一。为......
数据挖掘技术在计算机系统中的应用越来越广泛,对其软件做质量保证的测试势必日益受到重视。然而,传统的测试方法难以适应数据挖掘......
蜕变测试时经常会出现蜕变关系检错能力低下的情况．基于命题逻辑的推理规则，提出了复合蜕变关系的构造方法，该方法对已构造的关系依次......
在传统的软件测试领域中,测试人员通常需要构造测试预言来验证程序输出是否正确。然而,在很多情况下测试预言是难以获取甚至无法获......
搜索引擎是指根据用户输入的关键词,采取一定的策略,从互联网上搜集信息,在对信息进行组织和处理之后,将用户检索的相关信息展示给......
编译器在软件的发展中扮演着非常重要的角色,同时也有越来越多的研究人员研究如何提高编译器的可靠性。如果编译器出现错误,那么这......
蜕变测试技术认为,测试中成功的测试用例可为构造蜕变关系提供有价值的信息,而似然蜕变关系的动态发现方法是根据已经成功运行的测......
摘要：蜕变测试应用于数值计算时，通常因截断和舍入误差以及误差传播导致蜕变关系成立判定产生偏差。以地形量算程序中不规则区域面积......
蜕变测试可解决测试Oracle问题，但不是所有的蜕变关系都能有效地发现软件缺陷。提出了一种基于复合函数的蜕变关系构造方法，通过该方......
提出了一种通过验证程序切片是否满足ECPMR的方式来验证编译器的方法。首先,选取一些满足特定蜕变关系的正确程序作为待测编译器的......
数据分类是实现海量数据高效组织与有效利用的基础,随着大数据技术的发展,数据分类应用程序正确性测试日益受到重视。针对数据分类......
随着计算机硬件运算性能的不断提升和分布式算法的应用,通过计算机进行求解复杂的数学问题变得可能。近些年,大数据、智能算法的兴......
提出一种基于蜕变关系的多路径覆盖测试数据生成方法。在多路径测试数据进化生成过程中,对于已生成的测试数据,利用被测程序的蜕变......
软件调试是软件开发过程中最耗时和最昂贵的过程之一。随着信息技术的发展,软件系统变得越来越复杂,规模越来越大,软件调试也变得......
针对当前蜕变关系构造多数依赖测试人员测试程序时所在领域知识,存在局限性和高成本的问题,提出一种新的蜕变关系生成方法.该方法......
蜕变测试的实践应用研究虽得到了极大发展,但其理论基础却还未引起学者的足够关注,蜕变关系的描述就是其中关键问题之一。分析蜕变......
针对如何选取检错能力优良蜕变关系的问题,提出一种基于差异度分析的蜕变关系选取方法。从程序结构出发,分析每条蜕变关系能达到的......
机器学习在计算机视觉、语音识别和自然语言处理等实际应用中已经取得了显著的成功。图像分类作为计算机视觉的一个主要分支。不久......
搜索引擎是指根据用户输入的关键词,采用一定的策略,从互联网上搜集信息,在对信息进行组织和处理后,将用户检索相关的信息展示给用......
在数据挖掘中,分类器是一种比较重要的方法,其中Fisher分类器属于一种基础的分类器。文中将蜕变测试应用于Fisher分类器,结合既有......
变异分析是研究软件测试的一种有效手段,在蜕变测试的研究中也经常采用这种方法。测试数据杀死变异需要满足一定的条件,但在蜕变测......
本文针对GIS空间分析程序特点，提出了一套由原始测试用例生成、蜕变关系构造、测试结果判定和测试充分性判定等组成的集成化的适用......
