期刊文献+
共找到1,181篇文章
< 1 2 60 >
每页显示 20 50 100
组合测试用例生成技术 被引量:34
1
作者 王子元 徐宝文 聂长海 《计算机科学与探索》 CSCD 2008年第6期571-588,共18页
组合测试是一种科学有效的软件测试方法,该方法旨在使用较少的测试用例有效地检测软件系统中各个因素以及它们之间的相互作用对系统产生的影响,实践证明其具有较高的错误检测能力。当前组合测试研究的热点之一是组合测试用例生成问题,... 组合测试是一种科学有效的软件测试方法,该方法旨在使用较少的测试用例有效地检测软件系统中各个因素以及它们之间的相互作用对系统产生的影响,实践证明其具有较高的错误检测能力。当前组合测试研究的热点之一是组合测试用例生成问题,即如何针对具体待测软件,在满足给定组合覆盖要求的前提下,生成规模尽可能小的测试用例集,以便在保证错误检测能力的前提下尽可能降低测试成本。从N维组合覆盖和变力度组合覆盖等两类不同的组合覆盖标准出发,简要介绍了迄今为止人们在组合测试用例生成领域所取得的研究成果,对现有的组合用例生成方法进行了分类和总结。此外,还对优先级、组合约束、错误定位等条件和应用场景下的组合测试用例生成技术进行了介绍。最后,分析了现有成果中存在的问题,并对该领域未来的研究方向进行了分析和讨论。 展开更多
关键词 软件测试 组合测试 测试用例生成
下载PDF
Fuzzing技术综述 被引量:30
2
作者 吴志勇 王红川 +2 位作者 孙乐昌 潘祖烈 刘京菊 《计算机应用研究》 CSCD 北大核心 2010年第3期829-832,共4页
通过分析比较多种Fuzzing技术的定义,结合其当前发展所基于的知识和采用的方法,给出了Fuzzing技术的一个新的定义;重点从与黑盒测试技术的区别、测试对象、架构和测试数据产生机理四个方面总结了当前Fuzzing技术采用的一些新思想、新方... 通过分析比较多种Fuzzing技术的定义,结合其当前发展所基于的知识和采用的方法,给出了Fuzzing技术的一个新的定义;重点从与黑盒测试技术的区别、测试对象、架构和测试数据产生机理四个方面总结了当前Fuzzing技术采用的一些新思想、新方法以及它们的缺陷。针对这些缺陷和实际应用中的需求,分别提出了当前Fuzzing技术下一步的具体研究方向和对应的研究方法。 展开更多
关键词 FUZZING技术 黑盒测试 架构 测试数据 生成 变异 动态测试 知识
下载PDF
一种基于Messy GA的结构测试数据自动生成方法 被引量:14
3
作者 薛云志 陈伟 +2 位作者 王永吉 赵琛 王青 《软件学报》 EI CSCD 北大核心 2006年第8期1688-1697,共10页
结构性测试是标识测试用例的基本方法之一.由于程序语言的复杂性以及被测程序的多样性,自动生成结构测试数据的一种有效方法是根据程序运行结果指导生成过程,通过不断迭代,生成符合要求的测试数据集.提出一种基于MessyGA的结构测试数据... 结构性测试是标识测试用例的基本方法之一.由于程序语言的复杂性以及被测程序的多样性,自动生成结构测试数据的一种有效方法是根据程序运行结果指导生成过程,通过不断迭代,生成符合要求的测试数据集.提出一种基于MessyGA的结构测试数据自动生成方法,将测试覆盖率表示为测试输入集X的函数F(X),并利用MessyGA不需要染色体模式排列的先验知识即可进行优化求解的性质对F(X)进行迭代寻优,进一步提高了搜索的并行性,并最终提高测试覆盖率.对一组标准测试程序和若干实际应用程序的实验结果表明,较之现有基于遗传算法的生成方法,该方法能够以更高的效率生成更高质量的测试数据,并适用于较大规模的程序. 展开更多
关键词 结构测试 测试数据 测试用例 自动生成 遗传算法 变长度染色体 Messy GA
下载PDF
基于Python语言的GUI自动化测试脚本技术研究 被引量:16
4
作者 吴立金 简阳 +2 位作者 张凯 唐龙利 韩新宇 《计算机测量与控制》 2015年第10期3330-3332,3337,共4页
为解决嵌入式软件GUI测试自动化控制问题,提出Python测试脚本扩展嵌入的方法,采用开源库Boost.Python将Python解析器嵌入GUI自动化测试平台软件中,并为GUI软件测试行为扩展了测试函数,建立了用例要素与脚本要素的对应关系,针对不同类型... 为解决嵌入式软件GUI测试自动化控制问题,提出Python测试脚本扩展嵌入的方法,采用开源库Boost.Python将Python解析器嵌入GUI自动化测试平台软件中,并为GUI软件测试行为扩展了测试函数,建立了用例要素与脚本要素的对应关系,针对不同类型的扩展测试函数提出了基于关键字索引和图像建模的脚本函数自动生成方法,并且从脚步的解析与调度两方面分析了Python测试脚本的驱动执行原理,使嵌入式软件GUI自动化测试平台支持Python脚本的创建并通过脚本的执行实现GUI软件自动化测试,并且提高了测试控制的易用性和灵活性。 展开更多
关键词 测试脚本 图像用户界面 自动化测试 脚本生成 PYTHON语言
下载PDF
数字电路板自动测试与故障诊断系统的设计与实现 被引量:15
5
作者 黄鑫 常天庆 +1 位作者 邢士勇 陈旦 《计算机测量与控制》 CSCD 北大核心 2010年第7期1512-1514,共3页
为了实现对某型装备数字电路板的功能测试需要,给出了一种便携式自动测试与故障诊断系统的设计方案;该系统采用嵌入式主板作为系统的控制中心,内部总线采用串行数据总线——USB设计实现,为了减少接口测试适配器的数目,采用了固态继电器... 为了实现对某型装备数字电路板的功能测试需要,给出了一种便携式自动测试与故障诊断系统的设计方案;该系统采用嵌入式主板作为系统的控制中心,内部总线采用串行数据总线——USB设计实现,为了减少接口测试适配器的数目,采用了固态继电器作为测试开关阵列,针对不同的被测对象通过施加不同的测试程序集(TPS)完成测试任务;本系统使用方便灵活,扩展性能良好,可靠性高。本系统可以对数字电路板的故障定位到元器件级别,不仅可以直接应用于现场维修工作,而且对电路板的生产检验工作同样适用。 展开更多
关键词 自动测试系统 USB 矩阵开关 测试生成
下载PDF
FAN算法在瞬态电流测试产生中的应用 被引量:8
6
作者 魏小芬 邝继顺 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2002年第10期1239-1243,共5页
在不考虑冒险的情况下 ,对于CMOS电路中的开路故障 ,探讨了利用FAN算法进行瞬态电流测试产生的可能性 .定义了三种不同的D前沿 ,并将测试产生分为激活故障、使无故障电路和故障电路的瞬态电流差别最大化、减少旁路的影响三个部分 .实验... 在不考虑冒险的情况下 ,对于CMOS电路中的开路故障 ,探讨了利用FAN算法进行瞬态电流测试产生的可能性 .定义了三种不同的D前沿 ,并将测试产生分为激活故障、使无故障电路和故障电路的瞬态电流差别最大化、减少旁路的影响三个部分 .实验结果说明 ,在不考虑冒险的情况下 ,将FAN算法应用于瞬态电流测试产生是可行的 . 展开更多
关键词 CMOS电路 开路故障 测试产生 瞬态电流测试 D前沿 数字集成电路 FAN算法
下载PDF
神经网络在组合电路故障模拟测试生成算法中的应用 被引量:12
7
作者 徐建斌 李智 《电路与系统学报》 CSCD 2001年第4期107-110,共4页
本文在基于故障模拟的测试生成算法基础上,提出了一种初始测试矢量的生成方法,即采用神经元网络模型来生成初始矢量,既避免了随机生成初始矢量的盲目性,又避免了确定性算法使用回溯所带来的大运算量。试验结果证明这种方法是有效的。
关键词 神经网络 故障模拟 测试生成算法 初始矢量 组合电路 集成电路
下载PDF
集成电路测试原理和向量生成方法分析 被引量:14
8
作者 宋尚升 《现代电子技术》 2014年第6期122-124,128,共4页
测试向量生成是集成电路测试的一个重要环节。在此从集成电路基本测试原理出发,介绍了一种ATE测试向量生成方法。通过建立器件模型和测试平台,在仿真验证后,按照ATE向量格式,直接生成ATE向量。以一种实际的双向总线驱动电路74ALVC16424... 测试向量生成是集成电路测试的一个重要环节。在此从集成电路基本测试原理出发,介绍了一种ATE测试向量生成方法。通过建立器件模型和测试平台,在仿真验证后,按照ATE向量格式,直接生成ATE向量。以一种实际的双向总线驱动电路74ALVC164245为例,验证了此方法的可行性,并最终得到所需的向量文本。该方法具有较好的实用性,对进一步研究测试向量生成,也有一定的参考意义。 展开更多
关键词 集成电路测试 自动测试设备 测试向量 向量生成
下载PDF
测试用例自动生成方法的现状及研究 被引量:12
9
作者 马亮 张刚 《现代电子技术》 2008年第6期126-129,132,共5页
软件测试数据生成在软件系统开发费用中占很大比重。如果该过程能自动实现,则会极大地减少软件开发的周期和费用。测试用例的生成工作包含选定被测任务、分析输入数据、确定其取值并分析对应的输出数据。其中分析对应的输出数据是决定... 软件测试数据生成在软件系统开发费用中占很大比重。如果该过程能自动实现,则会极大地减少软件开发的周期和费用。测试用例的生成工作包含选定被测任务、分析输入数据、确定其取值并分析对应的输出数据。其中分析对应的输出数据是决定测试是否成功的关键环节。测试用例选取的一个中心原则,就是以用最少的测试用例找到尽可能多的错误。目前的工具尚不能完成自动生成测试用例这个环节,往往是只能采用人工选取的方法。按所采用的方法和研究对象的不同,将测试用例自动生成方法主要分为5类:基于有限状态集的测试,基于标注的转换系统的测试,针对面向模型的需求规格说明的测试,针对面向对象软件的测试,以及运用模型检查生成测试用例的方法。在简单介绍前4种方法之后,重点对模型检查的方法进行详细的分析和探讨。 展开更多
关键词 测试用例 自动生成 模型检查 形式化建模
下载PDF
Myring型回转体直航阻力计算及艇型优化 被引量:14
10
作者 庞永杰 王亚兴 +1 位作者 杨卓懿 高婷 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2014年第9期1093-1098,共6页
在水下智能机器人(AUV)方案设计阶段,针对如何在主尺度和巡航速度确定的前提下得到直航阻力最小的回转体形状这个问题,以Myring型回转体为研究对象,利用计算流体力学(CFD)方法计算其在水中做匀速直航运动时的阻力并与试验值比较以验证... 在水下智能机器人(AUV)方案设计阶段,针对如何在主尺度和巡航速度确定的前提下得到直航阻力最小的回转体形状这个问题,以Myring型回转体为研究对象,利用计算流体力学(CFD)方法计算其在水中做匀速直航运动时的阻力并与试验值比较以验证准确性。分别对二维和三维2种网格形式,标准和加强2种壁面函数的计算精度和计算效率进行了对比,并在此基础上探讨单独改变艏部或艉部形状时阻力的变化规律。再利用EXCEL、ICEM、FLUENT建立优化平台,基于多岛遗传算法在限制条件范围内对Myring型回转体参数进行全局寻优,寻找不同流速时阻力最小的Myring型回转体,为AUV设计阶段的阻力性能预报和艇型优化提供参考。 展开更多
关键词 水下智能机器人 回转体 阻力 模型试验 多岛遗传算法 流体力学 网格生成 壁面函数
下载PDF
A Parallel Genetic Algorithm Based on Spark for Pairwise Test Suite Generation 被引量:12
11
作者 Rong-Zhi Qi Zhi-Jian Wang Shui-Yan Li 《Journal of Computer Science & Technology》 SCIE EI CSCD 2016年第2期417-427,共11页
Pairwise testing is an effective test generation technique that requires all pairs of parameter values to be by at least one test case. It has been proven that generating minimum test suite is an NP-complete problem c... Pairwise testing is an effective test generation technique that requires all pairs of parameter values to be by at least one test case. It has been proven that generating minimum test suite is an NP-complete problem covered Genetic algorithms have been used for pairwise test suite generation by researchers. However, it is always a time-consuming process, which leads to significant limitations and obstacles for practical use of genetic algorithms towards large-scale test problems. Parallelism will be an effective way to not only enhance the computation performance but also improve the quality of the solutions. In this paper, we use Spark, a fast and general parallel computing platform, to parallelize the genetic algorithm to tackle the problem. We propose a two-phase parallelization algorithm including fitness evaluation parallelization and genetic operation parallelization. Experimental results show that our algorithm outperforms the sequential genetic algorithm and competes with other approaches in both test suite size and computational performance. As a result, our algorithm is a promising improvement of the genetic algorithm for pairwise test suite generation. 展开更多
关键词 pairwise testing parallel genetic algorithm SPARK test generation
原文传递
基于遗传算法的自适应测试生成 被引量:8
12
作者 刘晓东 孙圣和 《微电子学与计算机》 CSCD 北大核心 2002年第3期14-16,共3页
文章介绍了一种基于遗传算法的自适应测试生成方法。首先讨论了用遗传算法进行测试生成时构造评价函数的一些方法,然后应用组合电路的Hopfield神经网络模型,提出了基于遗传算法的自适应测试生成算法,该方法不同于传统的方法,它不需要故... 文章介绍了一种基于遗传算法的自适应测试生成方法。首先讨论了用遗传算法进行测试生成时构造评价函数的一些方法,然后应用组合电路的Hopfield神经网络模型,提出了基于遗传算法的自适应测试生成算法,该方法不同于传统的方法,它不需要故障传播、回退等过程。实验结果表明了本算法的可行性。 展开更多
关键词 测试生成 遗传算法 自适应 数字集成电路
下载PDF
CTCS-2级列控车载ATP组合测试用例集生成方法 被引量:13
13
作者 饶畅 郭进 +1 位作者 张亚东 查志 《铁道学报》 EI CAS CSCD 北大核心 2020年第11期110-117,共8页
车载ATP是CTCS-2级列控系统的核心设备之一,针对车载ATP的组合测试,在保障设备功能安全方面具有重要意义。根据车载ATP设备接口参数的特点,提出一种基于最优覆盖数组的带约束组合测试用例集生成方法。首先,辨识出车载ATP接口参数及其约... 车载ATP是CTCS-2级列控系统的核心设备之一,针对车载ATP的组合测试,在保障设备功能安全方面具有重要意义。根据车载ATP设备接口参数的特点,提出一种基于最优覆盖数组的带约束组合测试用例集生成方法。首先,辨识出车载ATP接口参数及其约束条件;其次,基于参数映射算法,将接口参数映射到最优覆盖数组中重构该覆盖数组;然后,在重构的覆盖数组中移除不满足约束的无效行,并扩展覆盖数组;最终,得到满足约束条件和覆盖强度的车载ATP测试用例集。以车载ATP模式转换等三种场景为例,对本方法进行了验证。结果表明,相比于现有方法,本方法生成的测试用例集普遍更加精简,其规模降幅最高可达11.11%,有效降低了测试成本,提高了测试效率。 展开更多
关键词 列控系统 车载设备 组合测试 测试用例生成 最优覆盖数组
下载PDF
基于One-test-at-a-time策略的可变力度组合测试用例生成方法 被引量:13
14
作者 王子元 钱巨 +1 位作者 陈林 徐宝文 《计算机学报》 EI CSCD 北大核心 2012年第12期2541-2552,共12页
组合测试可以有效地检测软件系统中由各个因素间交互作用所引发的软件故障.但传统的组合测试方法对系统中各因素之间的实际交互关系考虑不足,难以有效处理交互力度不统一的情况,进而可能导致测试用例的冗余和检错能力的降低.针对该问题... 组合测试可以有效地检测软件系统中由各个因素间交互作用所引发的软件故障.但传统的组合测试方法对系统中各因素之间的实际交互关系考虑不足,难以有效处理交互力度不统一的情况,进而可能导致测试用例的冗余和检错能力的降低.针对该问题,应在充分考虑因素间实际交互关系的基础上,使用可变力度组合测试方法,从而实现对于因素间实际交互关系的覆盖.为此,文中针对一种新的可变力度组合测试模型,提出了两种基于one-test-at-a-time策略的可变力度组合测试用例集生成算法.实验表明,相对于已有的具备类似功能的测试用例生成算法和工具,文中提出的算法在测试用例集规模和算法运行时间上均具备一定优势,并可适用于固定力度组合测试、可变力度组合测试等不同测试模型. 展开更多
关键词 软件测试 可变力度组合测试 测试用例生成 交互关系
下载PDF
边界扫描测试的数学描述模型 被引量:7
15
作者 胡政 温熙森 《国防科技大学学报》 EI CAS CSCD 1999年第5期83-87,共5页
IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计的有效方法,为了高效地应用边界扫描机制对电路系统进行测试,必须对其所涉及的理论方法进行深入探讨。本文应用布尔矩阵理论建立起边界扫描测试的数学描述模型,并基于所... IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计的有效方法,为了高效地应用边界扫描机制对电路系统进行测试,必须对其所涉及的理论方法进行深入探讨。本文应用布尔矩阵理论建立起边界扫描测试的数学描述模型,并基于所建立的模型导出了边界扫描测试中的故障检测条件和故障隔离条件。为边界扫描测试生成算法的深入研究奠定了理论基础。 展开更多
关键词 可测试性设计 边界扫描 测试 数学描述模型 VLSI
下载PDF
边界扫描测试优化算法——极小权值-极大相异性算法 被引量:9
16
作者 胡政 钱彦岭 温熙森 《测控技术》 CSCD 2000年第9期9-11,共3页
IEEE 1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计方法 ,在边界扫描测试过程中 ,生成合理的测试向量集是有效应用边界扫描机制对电路系统进行测试的关键。在分析现有边界扫描测试生成算法的基础上 ,提出了一种极小权值 ... IEEE 1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计方法 ,在边界扫描测试过程中 ,生成合理的测试向量集是有效应用边界扫描机制对电路系统进行测试的关键。在分析现有边界扫描测试生成算法的基础上 ,提出了一种极小权值 极大相异性算法。该算法可以在确定边界扫描测试向量集的紧凑性指标的前提下 ,生成故障诊断能力相当优化的测试向量集。仿真试验表明 ,该算法的性能优于现有的类似算法。 展开更多
关键词 VLSI 边界扫描 测试 优化算法 IEEE1149.1
下载PDF
网络协议测试生成方法综述 被引量:6
17
作者 朱振华 许毅平 周曼丽 《计算机工程与应用》 CSCD 北大核心 2005年第15期172-175,共4页
在简单介绍协议测试及一致性测试的基础上,重点评述了测试生成方法的发展状况,将其分为两大类:基于形式化描述模型和非形式化描述模型。对形式化模型中的基于有限状态机模型的测试生成方法作了重点介绍。同时对基于扩展有限状态机、确... 在简单介绍协议测试及一致性测试的基础上,重点评述了测试生成方法的发展状况,将其分为两大类:基于形式化描述模型和非形式化描述模型。对形式化模型中的基于有限状态机模型的测试生成方法作了重点介绍。同时对基于扩展有限状态机、确定有限状态机、标号变迁系统、外部行为描述等模型的方法也作了介绍。对每类方法均介绍了它的主要原理和重要概念,分析了它的特点及局限性。最后指出了这一领域中有待进一步研究的若干问题和发展趋势。 展开更多
关键词 网络协议 一致性测试 测试生成
下载PDF
I_(DDQ)测试全面系统化的研究 被引量:4
18
作者 雷绍充 邵志标 《国外电子测量技术》 2004年第5期2-9,共8页
基于稳态电流测试方法的IDDQ 测试 ,因其故障覆盖率高 ,在集成电路测试中得以广泛应用。IDDQ测试的概念比较简单 ,但实现并不容易 ,特别是当今SOC和深亚微米技术的影响使得其实现更为复杂 ,有必要作以全面、系统化的研究。本文的第 1节... 基于稳态电流测试方法的IDDQ 测试 ,因其故障覆盖率高 ,在集成电路测试中得以广泛应用。IDDQ测试的概念比较简单 ,但实现并不容易 ,特别是当今SOC和深亚微米技术的影响使得其实现更为复杂 ,有必要作以全面、系统化的研究。本文的第 1节概括地总结了IDDQ测试的发展和目前的现状 ,对IDDQ测试广泛应用的原因作了阐述。第 2节论述的是测试机理 ,同时用一些重要的术语和数据来说明深亚微米等技术对IDDQ测试的影响。第 3节研究的是适于IDDQ测试的各种电流测量方法和结构。第 4节深入地研究了CMOS电路中的物理缺陷及其电流测试方法 ,并用大量的图文数据作以详细说明。第 5节讨论的是IDDQ测试的测试图形生成方法。第 6节对深亚微米技术对IDDQ测试的影响以及测试中要注意的问题作了说明。 展开更多
关键词 深亚微米技术 测试图形 故障覆盖率 集成电路测试 CMOS电路 SOC 测试机 数据 生成方法 电流测量
下载PDF
基于标号变迁系统的测试集自动生成 被引量:6
19
作者 蒋凡 宁华中 《计算机研究与发展》 EI CSCD 北大核心 2001年第12期1435-1445,共11页
首先 ,依照 ISO 96 46的定义 ,阐述了协议一致性测试的基本概念 .然后 ,介绍标号变迁系统 (L TS)的形式化理论的定义和基本性质 ,利用 L TS,给出测试例、测试集以及测试生成的形式化定义 .第 3,表述了实现关系在测试生成中的地位和作用 ... 首先 ,依照 ISO 96 46的定义 ,阐述了协议一致性测试的基本概念 .然后 ,介绍标号变迁系统 (L TS)的形式化理论的定义和基本性质 ,利用 L TS,给出测试例、测试集以及测试生成的形式化定义 .第 3,表述了实现关系在测试生成中的地位和作用 ,定义了输入输出系统 ,并在输入输出系统以及Δ变换的基础上引入实现关系 ioco.根据实现关系 ioco给出了一个测试集自动生成算法 .该算法能很好地适用于递归的 L TS. 展开更多
关键词 标号变迁系统 形式化方法 有限状态机 测试集 自动生成 网络协议 ISO9646
下载PDF
基于粒子群算法的故障测试集优化 被引量:9
20
作者 侯艳丽 赵春晖 胡佳伟 《电子测量与仪器学报》 CSCD 2008年第4期21-25,共5页
为加速测试进程和减少测试开销,数字集成电路在生成测试矢量后必须进行故障测试集的优化。文中利用粒子群优化算法生成最小完备测试集,根据故障测试集优化问题的具体特点,构造粒子的表达方式和编码规则,建立粒子群的速度—位置模型;同... 为加速测试进程和减少测试开销,数字集成电路在生成测试矢量后必须进行故障测试集的优化。文中利用粒子群优化算法生成最小完备测试集,根据故障测试集优化问题的具体特点,构造粒子的表达方式和编码规则,建立粒子群的速度—位置模型;同时为提高优化效率,引入混沌优化算法来初始化粒子群。实验结果表明,在测试生成后,该方法能在较短的时间内生成最小完备测试集,验证了它的实用性和有效性。 展开更多
关键词 测试集优化 粒子群算法 混沌优化 测试生成
下载PDF
上一页 1 2 60 下一页 到第
使用帮助 返回顶部