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