测试生成相关论文
软件规模和复杂性的日益增大,程序代码中的错误和缺陷层出不穷,给软件测试和程序调试带来了新的挑战,自动程序修复成了解决测试和......
随着数字集成电路技术的飞速发展,集成电路的测试生成变得越来越困难,花费的时间也越来越多。对于大规模的集成电路,传统的测试生......
随着微电子技术的迅猛发展，集成电路规模的急速扩大和集成度的迅速提高，给传统的测试技术和测试方法带来了严峻的挑战。 本文首先......
传统软件测试通常是设计合适的测试用例,检测软件是否能够输出预期结果,是对错误表象的检测;而基于故障模型的软件故障检测是根据......
随着计算机的迅速发展,软件复杂性逐渐增大,软件质量问题受到越来越多的关注。软件测试是保障软件质量的关键技术,研究表明测试通......
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的状态同步序列算法和状态验证序列算法,并在此基础上提出了基......
