-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=蜕变测试 "
共 条 记 录，以下是1-10

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
一种面向ATL模型转换程序的自动化缺陷修复方法
《软件工程与应用》2022年第6期1297-1309,共13页谭泽理 杜柯柯 江明月 
模型转换是模型驱动架构(Model Driven Architecture, MDA)的核心活动,它的质量直接影响到基于MDA的软件产品的质量。因此,基于模型转换开展的测试、错误定位以及缺陷修复对于基于MDA的软件开发来说至关重要。然而,由于模型转换程序自...
关键词：缺陷修复 ATL模型转换 蜕变测试 变异操作 补丁生成 
面向神经机器翻译系统的多粒度蜕变测试被引量：13
《软件学报》2021年第4期1051-1066,共16页钟文康 葛季栋 陈翔 李传艺 唐泽 骆斌 
国家自然科学基金(61802167,61972197,61802095);江苏省自然科学基金(BK20201250)。
机器翻译是利用计算机将一种自然语言转换成另一种自然语言的任务,是人工智能领域研究的热点问题之一.近年来,随着深度学习的发展,基于序列到序列结构的神经机器翻译模型在多种语言对的翻译任务上都取得了超过统计机器翻译模型的效果,...
关键词：神经网络 机器翻译 质量评估 蜕变测试 多粒度 
分类算法应用程序的蜕变测试方法研究被引量：6
《计算机应用与软件》2020年第7期9-13,48,共6页吴金波 唐前进 杨明 
国家重点研发计划项目(2017YFC0803700)。
数据分类是实现海量数据高效组织与有效利用的基础,随着大数据技术的发展,数据分类应用程序正确性测试日益受到重视。针对数据分类应用程序在正确性测试方面存在的"Oracle"问题,将蜕变测试方法应用到数据分类应用程序评测中,以KNN算法...
关键词：蜕变测试 分类算法 “Oracle”问题 
关于蜕变测试和特殊用例测试的实例研究(英文)被引量：13
《软件学报》2005年第7期1210-1220,共11页吴鹏 施小纯 唐江峻 林惠民 陈宗岳 
国家自然科学基金No.60223005;中国科学院知识创新工程~~
提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutationscore和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊...
关键词：软件测试 蜕变测试 特殊用例测试 随机测试 变异分析 
解常微分方程程序的蜕变测试方法被引量：6
《舰船电子工程》2016年第12期29-33,共5页邱舒婷 张志祥 
数值计算方法被广泛运用于实际生活中,解微分方程问题则是数值计算问题中的一个重要分支,但由于求解微分方程的程序很难直接找到一个测试Oracle来验证程序的有效性,进而提出用蜕变测试方法检测解微分方程程序的有效性。通过对解常微分...
关键词：数值计算 微分方程 蜕变测试 Oracle问题 
科学计算程序蜕变关系层次分类模型被引量：3
《计算机科学》2020年第S02期557-561,共5页阳小华 闫仕宇 刘杰 李萌 
国家科技重大专项子课题(2019ZX06005001);湖南省自然科学基金项目(2020JJ4519)。
蜕变测试是一种解决测试Oracle问题的有效方法,其关键在于蜕变关系的发现。文中通过分析科学计算程序的研发过程,提出物理模型蜕变关系、计算模型蜕变关系和代码模型蜕变关系的概念,明确了3类蜕变关系之间的层次结构,建立了蜕变关系的...
关键词：科学计算程序 蜕变测试 蜕变关系 分类模型 
蜕变测试技术综述被引量：22
《计算机科学与探索》2009年第2期130-143,共14页董国伟 徐宝文 陈林 聂长海 王璐璐 
国家自然科学基金No.60425206,60633010,60773104,60503033;国家教育部博士点基金No.20060286020~~
软件测试是一种重要的、不可缺少的软件质量保证技术,用于发现和纠正软件中存在的缺陷和错误,但在很多情况下待测程序的预期输出难以确定。蜕变测试技术通过检查程序的多个执行结果之间的关系来测试程序,可以有效地解决上述问题。经过...
关键词：软件测试 蜕变测试 蜕变关系 
基于ECPMR的编译器测试方法
《吉林大学学报（工学版）》2017年第4期1262-1267,共6页刘磊 刘利娟 吴新维 张鹏 
中国博士后面上基金项目(2016M591482);吉林省自然科学基金项目(20150101054JC)
提出了一种通过验证程序切片是否满足ECPMR的方式来验证编译器的方法。首先,选取一些满足特定蜕变关系的正确程序作为待测编译器的输入。然后,使用这些被选程序来生成程序切片。最后,检查程序切片的输出是否满足ECPMR从而发现编译器中...
关键词：计算机系统结构 蜕变关系 蜕变测试 编译器测试 程序切片 
基于GAN的图像识别系统蜕变测试方法被引量：3
《计算机与现代化》2021年第2期24-29,共6页江竞捷 徐络 李宁 
图像识别是图像处理的重点研究领域,在测试结果难以判定以及数据集样本类别不平衡的影响下,适用于图像识别系统健壮性以及稳定性的测试技术较为欠缺。为有效测试图像识别系统,本文提出将蜕变测试方法用于图像识别系统的测试过程中,依据...
关键词：蜕变测试 图像识别 生成式对抗网络 
空间分析程序的蜕变测试框架
《攀枝花学院学报》2013年第2期113-115,119,共4页林仁超 刘晓明 黄松 陆丽丽 
解放军理工大学预研基金项目(20110210)
本文针对GIS空间分析程序特点,提出了一套由原始测试用例生成、蜕变关系构造、测试结果判定和测试充分性判定等组成的集成化的适用于空间分析程序的蜕变测试框架,并且给出了每个组成部分的实现方法,具有很好的实践意义。
关键词：空间分析 蜕变测试 蜕变测试框架 
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部