分享到:

数字电路的故障测试模式生成方法研究

IC 业是全球经济发展的高速增长点,其质量和可靠性尤为重要。而IC 制造测试是确保IC 质量的一种重要手段。开发测试的核心主题是可测性设计、测试模式生成、测试模式评价和测试程序开发与调试。本论文的主要研究工作是测试模式生成与测试模式评价方法。随着VLSI 电路的复杂度越来越高,对其质量要求也越来越高,因此测试生成问题也就变得更加重要,同时也变得更加困难。如今全扫描设计已经成为了事实上的工业标准,这使得多年来未得到根本解决的时序电路测试生成问题变成了组合电路的测试生成问题。因此,组合电路的测试生成问题也就成了研究的焦点。自动测试生成技术是电子设计自动化中最难的问题之一。它所涉及的问题及其相关的子问题几乎都是NP 难问题,它有着极强的理论性和实践性。它一直是EDA 领域中的一个重要研究主题,因为它与测试经济和半导体技术的飞速发展密切相关,其目的就是要加速测试生成时间和提高测试模式质量。本论文在理论和实践方面系统地研究了测试生成方法及  (本文共134页) 本文目录 | 阅读全文>>

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

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

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

内蒙古大学
内蒙古大学

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

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

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

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

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

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

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

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

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

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

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