测试生成相关论文
软件规模和复杂性的日益增大,程序代码中的错误和缺陷层出不穷,给软件测试和程序调试带来了新的挑战,自动程序修复成了解决测试和......
随着数字集成电路技术的飞速发展,集成电路的测试生成变得越来越困难,花费的时间也越来越多。对于大规模的集成电路,传统的测试生......
随着微电子技术的迅猛发展，集成电路规模的急速扩大和集成度的迅速提高，给传统的测试技术和测试方法带来了严峻的挑战。 本文首先......
传统软件测试通常是设计合适的测试用例,检测软件是否能够输出预期结果,是对错误表象的检测;而基于故障模型的软件故障检测是根据......
随着计算机的迅速发展,软件复杂性逐渐增大,软件质量问题受到越来越多的关注。软件测试是保障软件质量的关键技术,研究表明测试通......
Minix操作系统是运行在PC机上的多用户、多任务的类Unix操作系统。Minix3是一款新的开源微内核操作系统,它松散的基于以前的Minix......
测试生成在软件测试过程中起到很重要的作用,现有的生成测试例的方法大多依靠测试人员手工进行,不仅生成效率低下,生成的测试例在......
介绍了采用单变迁故障模型的时序系统状态组区别序列测试方法 ,通过选择状态组区别序列优化测试序列长度。这种测试生成方法比时序......
如何知道一款球拍是否是适合你？很多人评价一款球拍的好坏集中在球拍所提供的力量、灵活性和舒服度上。对于一个球员来讲，如果按照其......
电路板的广泛应用使得对电路板测试的需求日益增加。本论文在对当前电路测试理论及技术进行分析后，针对捣固车所使用的电路板的特点......
摩尔定律的不断延续给集成电路测试带来了巨大挑战。目前，数字集成电路测试需要处理的数据量非常庞大，这使得一些传统的测试方法逐渐......
[摘要]对组合电路的测试生成算法进行研究，介绍具有约束条件的布尔差分算法，还对时序电路的测试生成算法进行研究，九值算法比D算法在......
针对通信软件的模型驱动测试框架中出现的测试生成问题,对MSC测试模型的测试生成方法进行改进,获得有效的系统测试集.采用符号执行......
由于传统的组合电路测试方法 ,如 D算法、PODEM算法和 FAN算法等 ,在搜索过程中都不可避免地要进行反向回溯 ,因此严重地影响了算......
介绍了采用单变迁故障模型的时序系统状态组区别序列测试方法,通过选择状态组区别序列优化测试序列长度.这种测试生成方法比时序电......
对于VLSI中具有邻域子空间的电路模块,提出了一种高效测试生成方法.利用该方法得到了行波进位、超前进位加法器的测试生成,并予以......
IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测性设计方法,在边界扫描测试过程中,生成合理的测试向量集是有效应用边界扫......
基于加法器的测试生成,提出了直接实现形式的细粒度流水线延迟最小均方自适应滤波器的一种可测性设计的测试方案。在测试模式下,该......
基于组合电路测试生成的离散Hopfield神经网络模型,将混沌搜索与Hopfield网络的梯度算法相结合,利用混沌搜索的内随机性及遍历性来......
提出了一种基于测试对象参数和功能特性描述的测试系统生成方法,并根据面向对象的方法提出了一种测试系统模型.并对各模型之间的关......
本文在阐述遗传算法基本理论的基础上,针对当前内建自测试技术中存在的一些问题,着重研究了一种由被测电路自己产生测试向量的测试......
检测CMOS电路中的开路故障通常需要使用测试向量对。内建自测试(BIST)作为一种有效的测试技术可以大大降低测试开销。本文采用一种......
逻辑验证和逻辑综合中 ,利用对称变量的性质能提高算法整体的效率 .通常 fxixj=fxjxi被用来检验变量的对称性 .一般先分别建立......
本文介绍了可满足性的测试向量生成 (SAT- ATPG)算法。通过控制输入跟踪算法 (CITA)嵌入 SAT- ATPG中 ,减少了 CNF的构成时间和搜......
为了进行分层有限状态自动机(HFSM)的一致性测试生成,提出了基于HFSM的状态同步序列算法和状态验证序列算法,并在此基础上提出了基......
提出了一种自适应遗传算法并用来解决强健时滞测试生成的问题,基本思想是:充分利用强健时滞测试的启发信息来选取优良的初始群体,......
针对数字电路测试矢量生成复杂、数量庞大的问题，研究了采用遗传算法进行优化选择的数字电路动态电流测试矢量生成方法。利用遗传算......
基于组合电路测试生成的Hopfield神经网络模型,讨论分析了利用混沌神经网络的全局搜索能力进行测试生成的有效算法和基于遗传算法......
对遗传算法的种群规模、选择策略、迭代策略等环节进行了研究,设计实现了一种实用的基于遗传算法的组合测试用例生成算法,具有用例......
基于模型检验的自动化测试技术已经得到普遍应用，由于测试用例自动化生成过程中会产生巨大的资源消耗，优化问题越来越受到软件测试行......
瞬态电流测试可以检测一些用电压测试和稳态电流测试不能检测的故障。对每一个故障都进行一次测试生成所花费的时间太多,而且没有......
提出了一种用户自定义故障的EFSM测试集生成方法。该方法应用EFSM切片对EFSM模型进行合理的缩减,有效地避免了从EFSM到FSM转换得到......
文章介绍了一种基于遗传算法的自适应测试生成方法.首先讨论了用遗传算法进行测试生成时构造评价函数的一些方法,然后应用组合电路......
研究一种对复杂时序电路行之有效的测试生成的方法，关系到VLSI电路自动测试技术真正付诸实用的问题。本文从时序电路的结构和功能两......
在时序电路中,由于时序元件的存在,使测试生成问题复杂化。为了避免故障传播和状态确认的大计算量,对基于仿真的测试生成方法进行......
介绍了一种基于神经网络的组合电路测试生成算法。利用Hopfield神经网络模型将组合电路表示成对应的神经网络，通过建立被测电路的约......
测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对......
针对装备现场原位测试诊断需要,提出了一种基于SOPC的便携式测试设备设计方案,并进行了工程实现;该设备综合应用SOPC技术的优点,能......
故障注入技术分为硬件故障注入技术和软件故障注入技术，它是保证装备测试性设计阶段验证其可靠性的重要手段，而硬件故障注入因为有其......
针对边界扫描中的测试生成问题,研究了一种SVF文件解析器;通过解析SVF文件,生成符合JTAG时序的测试信号,包括TCK、TMS、TDI以及预......
现代数字集成电路因规模庞大而导致测试困难,内建自测试是一种有效的可测性设计技术;由于内建自测试在电路内部设计测试生成与分析......
提出了一种基于改进粒子群算法的组合电路测试生成算法,即在故障模拟的基础上应用改进粒子群算法来进行组合电路的测试生成。在一......
对于VLSI中具有邻域子空间的电路模块，提出了一种高效测试生成方法。利用该方法得到了行波进位、超前进位加法器的测试生成，并予以了......
针对数字电路中非鲁棒路径时滞故障测试时间长、故障覆盖率较低的问题，提出了人工蜂群优化的测试生成算法。该算法首先应用电路转换......
在已有的数字电路测试生成算法基础上，通过对一种结构简单且容易实现的算法——粒子群算法的研究，提出了一种基于模拟的测试矢量生成......
