分享到:

数字集成电路多故障测试生成算法和可测性设计的研究

微电子技术是当今发展最快的技术领域之一。随着集成电路设计及工艺技术的发展,电路的规模和复杂度日益增大,芯片故障的测试日趋困难,对电路的测试也提出了更高的要求,从而推动了测试生成算法的研究。传统的测试生成算法已不能满足要求,因此集成电路测试研究的重点主要集中于研究新的更加有效的测试生成算法和电路可测性设计技术。本论文主要研究数字集成电路中组合电路的多故障测试生成算法和可测性设计技术,以提高算法的故障覆盖率、减少测试生成时间及减少测试矢量的产生和施加为研究目标,主要研究了以下内容:在深入研究了二值神经网络模型基础上,建立了三值神经网络模型,并将三值神经网络成功应用于组合电路测试生成算法中。通过构建被测电路的约束网络,采用遗传算法并使用本文提出的适应度函数,求出约束网络对应能量函数的最小值点。通过编程仿真,在基准电路上得到故障的测试矢量。给出了三值模型与二值模型测试的比较结果。用三值神经网络表示数字电路,可以减小搜索空间,避免很多不必  (本文共124页) 本文目录 | 阅读全文>>

《仪表技术》2013年12期
仪表技术

基于遗传算法的数字集成电路多故障测试生成方法

在数字集成电路多故障测试生成算法的研究中,寻求具有高故障覆盖率,较短测试生成时间是问题的关键。文...  (本文共4页) 阅读全文>>

内蒙古大学
内蒙古大学

基于迭代反馈的云资源弹性测试生成方法研究

云计算技术发展日益成熟,进一步提升云资源配置效率对资源提供商和用户来说都至关重要。而当前通过模型预测用户未来需求的方式需要提前分配固定数量资源,易造成非峰值期间资源闲置浪费;而利用云平台弹性服务动态分配资源并通过算法优化云资源配置策略的方式,主要从云服务提供商角度实施,用户对于如何合理配置资源仍然存在困难,因为弹性伸缩功能由多种规则功能决定。所以本文旨在以弹性测试的方式筛选能实现最佳弹性水平的规则集,根据该规则集为用户提供云资源配置策略,从而实现提升云资源配置效率的目标。而目前弹性测试中测试例生成均根据经验值设置或随机选取,生成的测试例通常不能代表云平台的最佳弹性水平,因此将不能作为云资源配置策略的设置依据。所以本文改进了弹性测试流程,提出弹性测试生成方法,通过测试例生成驱动弹性测试迭代执行,最终从生成的测试例中选取最佳规则集。根据改进的测试流程,本文首先设计了相关测评指标用于评估弹性水平,并提取弹性的重要属性定义为规则集。然后...  (本文共62页) 本文目录 | 阅读全文>>

华东师范大学
华东师范大学

布尔表达式的测试生成算法研究与优化

软件测试可以帮助开发人员揭示程序中存在的故障,是提高软件质量的有效手段。它的基本思想是选取有限的测试用例来组成程序的输入集合,然后观察程序的输出结果,如果输出结果和预期不同,那么测试用例就发现了程序中的故障。随着越来越多大型软件的诞生,测试的成本也在不断地增加,工业界越来越倾向于使用自动化测试来替代传统的人工测试。相比人工测试,自动化测试拥有成本低、精确度好、效率高等诸多优点,而测试用例的自动生成是其中最重要的一环。在诸如联锁软件这类安全攸关系统中,由于其复杂的控制逻辑,存在着大量的大规模布尔表达式,因此保证布尔表达式的正确性至关重要。布尔表达式的测试生成问题一直以来都是测试领域的研究热点,多年来,BOR、MI、MUMCUT等经典算法被相继提出。但是这些算法往往把关注点放在测试用例的揭错能力和测试集合的精简程度上,算法本身的时间复杂度则忽略不计。在处理一些小规模输入的情况下,时间复杂度显得不那么重要。但是在遇到一些大规模输入时,...  (本文共69页) 本文目录 | 阅读全文>>

中国科学院研究生院(计算技术研究所)
中国科学院研究生院(计算技术研究所)

基于寄存器传输级层次模型的测试生成研究

集成电路(Integrated Circuit,简称IC)的设计验证和测试是确保数字系统正常工作的必要手段。无论是设计验证还是芯片测试,测试生成都作为其主要内容而被广泛关注。本文首先综述了集成电路的测试和设计验证的基本原理和方法;其次针对设计所采用的寄存器传输级(Register Transfer Level,简称RTL)行为描述方式,介绍了若干已有的高层次测试生成方法;最后提出了一种可行的RTL级测试生成算法,所产生的测试序列可有效地应用于电路的功能测试或设计验证。本文工作贡献主要有以下三个方面:1.建立了一种有效的RTL行为模型。本文从电路的控制结构和数据路径两方面出发,建立了电路的控制流图和数据流图两层次模型:第一层通过控制流图反映电路语句间的连接关系;第二层通过控制流图中的每一结点所对应的数据流图,反映语句的具体操作。该模型实现了对电路的分层描述,相对于以往的电路模型具有形式简单、规模小、易于处理的优点,便于根据测试的具...  (本文共126页) 本文目录 | 阅读全文>>

《煤矿机械》2010年10期
煤矿机械

基于阈值的数字电路故障测试生成算法

针对数字电路中的可接受故障提出了一种有效的基于阈值的测试生成算法。该算法构建了数字电路的阈值测试生成模型,使用此...  (本文共3页) 阅读全文>>