期刊文献+
共找到16篇文章
< 1 >
每页显示 20 50 100
几种范畴划分测试充分性准则的比较 被引量:5
1
作者 朱彬 刘玲 缪淮扣 《计算机科学》 CSCD 北大核心 2004年第1期180-184,共5页
选择测试充分性准则对软件的测试是至关重要的。本文对范畴划分(Category-Partition)测试中的All-Combination、Each-Choice-Used和base-Choice-Coverage这三个充分性准则在揭错能力、软件可靠性、测试开销这几个方面进行分析和比较,并... 选择测试充分性准则对软件的测试是至关重要的。本文对范畴划分(Category-Partition)测试中的All-Combination、Each-Choice-Used和base-Choice-Coverage这三个充分性准则在揭错能力、软件可靠性、测试开销这几个方面进行分析和比较,并给出一个量化的比较结果,帮助测试员选择测试充分性准则。最后对基于票据计算的形式规格说明的例子进行了分析。 展开更多
关键词 范畴划分测试 充分性准则 揭错能力 可靠性 软件开发
在线阅读 下载PDF
一种基于优先级的迭代划分测试方法 被引量:3
2
作者 章晓芳 章宗长 +1 位作者 谢晓园 周谊成 《计算机学报》 EI CSCD 北大核心 2016年第11期2307-2323,共17页
随机测试和划分测试是两种重要的测试方法,关于两者在失效检测能力和效率方面的比较一直是软件测试领域的研究热点之一.适应性随机测试是对随机测试的一种增强,通过实现测试用例在输入域上的均匀分布,提高了随机测试的失效检测能力.该... 随机测试和划分测试是两种重要的测试方法,关于两者在失效检测能力和效率方面的比较一直是软件测试领域的研究热点之一.适应性随机测试是对随机测试的一种增强,通过实现测试用例在输入域上的均匀分布,提高了随机测试的失效检测能力.该文从划分测试出发,借鉴了均匀分布的思想,提出了一种基于优先级的迭代划分测试方法(Iterative Partition Testing based on Priority Sampling,IPT-PS).首先迭代划分输入域并选取划分后子域的中心点作为待执行的测试用例,随后采取优先级策略,将待执行的测试用例分为3种不同优先等级并依次执行.迭代划分和中心采样仅需要已知输入域的空间信息,优先级执行则考虑了测试用例的不同空间特性,上述3种操作均仅需要很少的时间开销并力求实现测试用例在输入域上的均匀分布,以提高失效检测能力.该文通过理论分析给出了IPT-PS检测出对应失效所需测试用例数量的上界,并通过一系列实验结果表明:IPT-PS在仅使用接近随机测试时间开销的情况下,可以获得与适应性随机测试相近甚至更好的失效检测能力,是一种高效的测试方法. 展开更多
关键词 软件测试 划分测试 随机测试 适应性随机测试 测试用例生成 失效率 F-度量
在线阅读 下载PDF
划分测试中测试用例最优分配问题研究 被引量:4
3
作者 张德平 聂长海 徐宝文 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第5期553-561,共9页
研究了划分测试中每个子域错误率已知,测试资源受约束时,测试用例如何合理分配的优化问题.主要考虑了两类测试用例分配问题:测试资源受约束的测试用例分配及测试资源受约束且各个子域的可靠性要达到一定要求时测试用例的分配,证明了带... 研究了划分测试中每个子域错误率已知,测试资源受约束时,测试用例如何合理分配的优化问题.主要考虑了两类测试用例分配问题:测试资源受约束的测试用例分配及测试资源受约束且各个子域的可靠性要达到一定要求时测试用例的分配,证明了带约束的测试用例最优分配问题是一个NPC问题.给出了动态规划求解方法,从理论上证明了该方法是最优的,并通过随机模拟将该方法与其它常见的测试用例分配策略进行分析比较,用实验数据验证了该方法能合理利用有限测试资源,有效地提高缺陷检测能力. 展开更多
关键词 划分测试 测试资源 动态规划 测试用例分配方案
在线阅读 下载PDF
片上网络互联的划分测试 被引量:4
4
作者 欧阳一鸣 齐芸 梁华国 《电子测量与仪器学报》 CSCD 2009年第11期101-107,共7页
在伪穷举测试的基础上,提出了一种片上网络互联的划分测试。将片上的资源(主要是路由器和通道)按一定的方法划分为4个区,然后采用伪穷举测试的方法分别对每个分区进行测试。实验证明,随着芯片规模的增大,本方法比伪穷举测试减少了测试... 在伪穷举测试的基础上,提出了一种片上网络互联的划分测试。将片上的资源(主要是路由器和通道)按一定的方法划分为4个区,然后采用伪穷举测试的方法分别对每个分区进行测试。实验证明,随着芯片规模的增大,本方法比伪穷举测试减少了测试时间和测试包数,降低了测试功耗,缩小了片上报错的范围。另外,本文还在划分测试的基础上提出了一种错误定位的方法,可以将出错的路由器或通道定位到出错分区的具体位置。 展开更多
关键词 片上网络 单固定故障 伪穷举测试 划分测试
在线阅读 下载PDF
划分测试用例选择的风险决策方法 被引量:2
5
作者 张德平 查日军 《计算机应用研究》 CSCD 北大核心 2010年第12期4536-4540,共5页
研究了划分测试中划分方案确定情形下,如何在各个子域中合理选择测试用例问题。在充分利用测试者对待测软件导致错误输入分布信息了解的基础上,提出了一种基于风险决策的测试用例选择模型,给出测试用例选择的期望风险准则,并证明了该方... 研究了划分测试中划分方案确定情形下,如何在各个子域中合理选择测试用例问题。在充分利用测试者对待测软件导致错误输入分布信息了解的基础上,提出了一种基于风险决策的测试用例选择模型,给出测试用例选择的期望风险准则,并证明了该方法选择的测试用例集具有较高的缺陷检测能力。最后采用蒙特卡罗方法进行仿真模拟,结果表明该方法明显优于划分测试用例的其他选择策略。 展开更多
关键词 划分测试 测试用例选择 风险决策方法 期望风险准则
在线阅读 下载PDF
随机测试与划分测试比较的一种新方法 被引量:1
6
作者 张猛 唐应辉 吴明旺 《电子科技大学学报》 EI CAS CSCD 北大核心 2007年第S1期463-465,共3页
在测试用例不放回的情况下,给出了经过一次随机测试或划分测试发现软件错误数的概率分布及其期望值,并在此基础上提出了一种比较随机测试和划分测试的方法,即从测试后程序的可靠性这个角度来比较随机测试与划分测试的有效性问题.
关键词 划分测试 随机测试 可靠性 测试用例
在线阅读 下载PDF
考虑测试剖面时随机测试与划分测试的比较
7
作者 张玲霞 陈明 白耀辉 《计算机工程》 CAS CSCD 北大核心 2002年第11期114-115,125,共3页
随机测试与划分测试的有效性问题一直是人们争论的焦点。人们从不同的角度和标准出发,对二者的有效性以及决定各自有效性的条件进行了分析和比较,并得出不同的结论。该文与他们不同,在无失效发生时,考虑了测试剖面,即在测试剖面与... 随机测试与划分测试的有效性问题一直是人们争论的焦点。人们从不同的角度和标准出发,对二者的有效性以及决定各自有效性的条件进行了分析和比较,并得出不同的结论。该文与他们不同,在无失效发生时,考虑了测试剖面,即在测试剖面与操作剖面不完全一致的情况下,提出分别以失效概率的置信上限、置信度和测试用例总数为标准,评价这两种测试策略的有效性。 展开更多
关键词 失效概率 随机测试 划分测试 测试剖面 操作剖面 测试用例 软件测试 软件开发
在线阅读 下载PDF
划分测试与随机测试的比较 被引量:5
8
作者 王华忠 宋雨 《华北电力大学学报(自然科学版)》 CAS 北大核心 2002年第1期41-44,共4页
对划分测试和随机测试在不同的假设模型下(确定模型和不确定模型)进行比较并得出以下结论:在确定失败率的假设下,随机测试优于划分测试;而在不确定模型的假设下,划分测试优于随机测试。该结论对软件测试具有实用价值。
关键词 划分测试 随机测试 错误检测率 软件测试 比较研究
在线阅读 下载PDF
UML模型驱动的划分测试用例生成方法研究 被引量:2
9
作者 王瑞雪 张涛 《计算机应用研究》 CSCD 北大核心 2012年第9期3334-3337,共4页
测试用例的自动生成是软件测试研究的主要方向之一。针对现有的UML模型驱动测试方法在测试数据生成方面存在低效、无目的性、冗余等问题,提出了基于UML活动图模型驱动的划分测试用例自动生成方法。该方法将测试场景归为五种类型,并为每... 测试用例的自动生成是软件测试研究的主要方向之一。针对现有的UML模型驱动测试方法在测试数据生成方面存在低效、无目的性、冗余等问题,提出了基于UML活动图模型驱动的划分测试用例自动生成方法。该方法将测试场景归为五种类型,并为每种类型规划了测试数据取值范围和选择方法。构建了基于该方法的原型工具软件,提供被测软件原模型和数据约束即可生成测试用例。实验结果表明,该方法能够在不降低测试覆盖率的情况下,能生成数量少、针对性强的测试用例集。 展开更多
关键词 软件测试 测试用例生成 UML活动图 划分测试
在线阅读 下载PDF
基于划分的自适应随机测试综述 被引量:4
10
作者 李志博 李清宝 +1 位作者 于磊 侯雪梅 《计算机科学》 CSCD 北大核心 2019年第3期19-29,共11页
随机测试是一种广泛应用于实践的基础测试方法。自适应随机测试(ART)是对随机测试的改进,其检错有效性优于随机测试。首先,分析了具有较高检错有效性但时间开销较大的经典ART算法;其次,重点综述了能降低时间开销的基于划分的ART算法,并... 随机测试是一种广泛应用于实践的基础测试方法。自适应随机测试(ART)是对随机测试的改进,其检错有效性优于随机测试。首先,分析了具有较高检错有效性但时间开销较大的经典ART算法;其次,重点综述了能降低时间开销的基于划分的ART算法,并对各种划分策略和测试用例生成算法进行了分析和对比;同时,分析了影响ART算法有效性的关键因素以及高维输入域空间中算法有效性低下的问题,梳理了算法有效性度量指标以及测试用例分布度量指标;最后,论述了ART算法中存在的问题及面临的挑战。 展开更多
关键词 软件测试 随机测试 自适应随机测试 基于划分的自适应随机测试
在线阅读 下载PDF
基于遗传算法的NoC互连测试研究 被引量:1
11
作者 许川佩 张结龙 任智新 《半导体技术》 CAS CSCD 北大核心 2012年第7期567-571,共5页
针对互连测试难题的分析,提出一种基于遗传算法的NoC互连测试方案。该方案采用NoC重用测试机制的方法,在功耗限制条件下,选取合适的测试端口和最短测试路径,同时根据互连测试中实际存在的问题,对算法进行适当改进,建立基于遗传算法的No... 针对互连测试难题的分析,提出一种基于遗传算法的NoC互连测试方案。该方案采用NoC重用测试机制的方法,在功耗限制条件下,选取合适的测试端口和最短测试路径,同时根据互连测试中实际存在的问题,对算法进行适当改进,建立基于遗传算法的NoC互连测试模型,旨在获取最优矢量集的同时,测试代价更小。当NoC的规模达到一定程度时,采用划分测试方法,缩短测试路径,降低测试时间,提高测试效率。以SoCIN结构电路为仿真平台,分别对不同规模的NoC进行实验仿真。实验结果表明,遗传算法能快速有效地收敛到最优解,在测试运行代数及测试生成时间上取得了良好的测试效果。 展开更多
关键词 遗传算法 片上网络 测试生成 划分测试 互连测试
在线阅读 下载PDF
面向不同应用的可行性数据流测试准则
12
作者 刘宏伟 杨孝宗 +1 位作者 李香 曲峰 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2002年第10期1178-1182,共5页
测试准则是完成软件测试必须满足的条件 ,一个可行的测试准则是当且仅当对任意一个程序 ,都存在一个测试用例集能够满足该准则 .但在通常情况下 ,由于程序中不可执行的语句或路径的存在 ,使得基于数据流的测试准则不可行 .在一类具有可... 测试准则是完成软件测试必须满足的条件 ,一个可行的测试准则是当且仅当对任意一个程序 ,都存在一个测试用例集能够满足该准则 .但在通常情况下 ,由于程序中不可执行的语句或路径的存在 ,使得基于数据流的测试准则不可行 .在一类具有可行性的测试准则FDF的基础上 ,给出了三类新的基于数据流的测试准则 ,并且证明其中两类准则比FDF测试准则具有更强的故障检测能力 . 展开更多
关键词 软件测试 数据流分析 测试准则 划分测试 故障检验能力 包含关系
在线阅读 下载PDF
Z规格说明的测试用例自动生成
13
作者 朱彬 缪淮扣 王娜 《应用科学学报》 CAS CSCD 北大核心 2006年第4期377-381,共5页
软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规划模型,通过构造线性规划模型来实例化测试框架,并且较好地解决了测试框架是否可行的判断问题.同时结合票... 软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规划模型,通过构造线性规划模型来实例化测试框架,并且较好地解决了测试框架是否可行的判断问题.同时结合票据计算的例子,探讨了从Z规格说明推导出测试用例的过程、方法和技术. 展开更多
关键词 范畴划分测试 测试用例 线性规划 形式规格说明 Z
在线阅读 下载PDF
SOC可测试性设计与测试技术 被引量:42
14
作者 胡瑜 韩银和 李晓维 《计算机研究与发展》 EI CSCD 北大核心 2005年第1期153-162,共10页
超深亚微米工艺和基于芯核的设计给芯片系统(system-on-a-chip,SOC)测试带来了新的问题.对SOC可测试性设计与测试技术的国际研究现状及进展进行了广泛而深入的综述.从芯核级综述了数字逻辑、模拟电路、存储器、处理器4类芯核的可测试性... 超深亚微米工艺和基于芯核的设计给芯片系统(system-on-a-chip,SOC)测试带来了新的问题.对SOC可测试性设计与测试技术的国际研究现状及进展进行了广泛而深入的综述.从芯核级综述了数字逻辑、模拟电路、存储器、处理器4类芯核的可测试性设计与测试技术,从系统级综述了测试激励、测试响应和测试访问机制等SOC测试资源的设计以及压缩/解压缩与测试调度等测试资源划分、优化技术,并介绍了2个标准化组织开展的SOC测试标准工作.最后,展望了SOC测试未来的发展方向. 展开更多
关键词 芯片系统 测试性设计 测试资源划分 测试资源优化
在线阅读 下载PDF
改进型FDR码对SoC测试数据的压缩及解压缩 被引量:1
15
作者 欧阳一鸣 郭文鹏 梁华国 《计算机应用研究》 CSCD 北大核心 2008年第1期174-177,共4页
针对SoC测试中的关键问题——测试数据的压缩,提出了一种改进型的FDR码编码方法,称为IFDR码。它将测试序列看做连续的0串和1串,从而用同一种编码方法同时对0游程和1游程进行编码,突破了FDR码仅能对0游程进行编码的限制。通过分析可知IFD... 针对SoC测试中的关键问题——测试数据的压缩,提出了一种改进型的FDR码编码方法,称为IFDR码。它将测试序列看做连续的0串和1串,从而用同一种编码方法同时对0游程和1游程进行编码,突破了FDR码仅能对0游程进行编码的限制。通过分析可知IFDR码的解压电路的结构较简单,所需要的额外硬件开销很小;对ISCAS 89标准电路的实验结果表明,与FDR码以及同类型的其他编码方法相比,该编码方法能获得更高的压缩率,从而可以更好地节省测试数据的存储空间和测试应用时间。 展开更多
关键词 测试划分 压缩/解压缩 FDR码 系统级芯片
在线阅读 下载PDF
应用向量划分的低功耗确定性BIST方法 被引量:1
16
作者 李吉 韩银和 李晓维 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第12期2690-2695,共6页
提出一种能够与LFSR重播种技术结合的确定性向量生成方法,该方法利用扫描向量中的切片重叠来同时减少确定位数目和跳变数目,可大大降低测试功耗和测试存储.在硬件结构中,用一个译码器来生成控制信号.实验结果表明,对于ISCAS89基准电路,... 提出一种能够与LFSR重播种技术结合的确定性向量生成方法,该方法利用扫描向量中的切片重叠来同时减少确定位数目和跳变数目,可大大降低测试功耗和测试存储.在硬件结构中,用一个译码器来生成控制信号.实验结果表明,对于ISCAS89基准电路,采用文中方法能够减少80%左右的跳变,而只需要原始Mintest测试集25%左右的测试数据存储. 展开更多
关键词 确定性BIST LFSR重播种 低功耗 测试向量划分
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部