期刊文献+
共找到21篇文章
< 1 2 >
每页显示 20 50 100
遗传优化三值神经网络多故障测试生成算法 被引量:8
1
作者 吴丽华 王旭东 +1 位作者 史芳芳 杨洁琼 《仪器仪表学报》 EI CAS CSCD 北大核心 2010年第8期1744-1749,共6页
对于复杂的大规模集成电路,传统的测试生成算法已不再适用,研究新型有效的数字集成电路测试生成算法具有十分重要的理论价值和实际意义。提出了一种基于遗传优化的三值神经网络多故障测试生成算法。该算法利用三值神经网络的相关定理、... 对于复杂的大规模集成电路,传统的测试生成算法已不再适用,研究新型有效的数字集成电路测试生成算法具有十分重要的理论价值和实际意义。提出了一种基于遗传优化的三值神经网络多故障测试生成算法。该算法利用三值神经网络的相关定理、定义,推导出了数字电路逻辑门的三值神经网络能量函数,由此构成了三值神经网络的约束网络。用遗传算法求解出了约束网络能量函数的最小值点即多故障测试矢量。遗传算法中的适应度函数是与具体应用问题的主要接口,它的构造直接影响问题求解的效率。在研究了其他遗传算法适应度函数的基础上,提出了新的适应度函数,并用软件实现了算法,在国际基准电路上的仿真实验结果表明了该算法的正确性。 展开更多
关键词 三值神经网络 测试生成算法 遗传算法 适应度函数 多故障
在线阅读 下载PDF
基于神经网络的组合电路测试生成算法 被引量:13
2
作者 刘晓东 孙圣和 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2002年第2期255-257,共3页
介绍了一种基于神经网络的组合电路测试生成算法 .该算法不同于传统的方法是它既不需要回退也不需要故障传播的过程 .利用Hopfield神经网络模型将组合电路表示成双向的神经网络 ,通过故障注入 ,建立被测电路的约束网络 ,并构造网络的能... 介绍了一种基于神经网络的组合电路测试生成算法 .该算法不同于传统的方法是它既不需要回退也不需要故障传播的过程 .利用Hopfield神经网络模型将组合电路表示成双向的神经网络 ,通过故障注入 ,建立被测电路的约束网络 ,并构造网络的能量函数 ,将组合电路的测试矢量对应于神经网络能量函数的最小值点 ,从而运用遗传算法求解能量函数的最小值点来求得测试矢量 .在一些基准电路上的实验结果表明本算法具有较高的故障覆盖率和较短的测试时间 . 展开更多
关键词 神经网络 组合电路 测试生成算法 遗传算法 集成电路
在线阅读 下载PDF
一种有效的组合电路测试生成算法(英文) 被引量:2
3
作者 曲萍萍 赵莹 +2 位作者 赵航 马建宇 李艳娟 《机床与液压》 北大核心 2018年第18期100-103,156,共5页
为了改善组合电路测试生成效率,提出了一种有效的基于三值神经网络的组合电路测试生成算法。该算法不需要传播和回溯,而是使用三值神经网络把组合电路表示为双向神经元网络,并构建网络的能量函数,最后使用遗传算法求出全局最小值点作为... 为了改善组合电路测试生成效率,提出了一种有效的基于三值神经网络的组合电路测试生成算法。该算法不需要传播和回溯,而是使用三值神经网络把组合电路表示为双向神经元网络,并构建网络的能量函数,最后使用遗传算法求出全局最小值点作为电路的测试矢量,所以组合电路的测试生成问题转换为优化问题。在标准电路上的测试实验结果表明该算法具有较高的故障覆盖率和较短的测试生成时间。 展开更多
关键词 三值神经网络 测试生成算法 遗传算法 能量函数
在线阅读 下载PDF
数字电路阈值故障测试生成算法(英文) 被引量:1
4
作者 赵莹 宋在勇 +1 位作者 赵航 李艳娟 《机床与液压》 北大核心 2019年第12期19-23,共5页
提出一种有效的数字电路故障阈值故障测试生成算法。首先构造出数字电路的阈值测试模型,通过这个模型可以区分出可接受故障和不可接受故障,然后使用成熟的固定故障测试生成算法得到不可接受故障的测试生成矢量。在ISCAS’85和ISCAS’89... 提出一种有效的数字电路故障阈值故障测试生成算法。首先构造出数字电路的阈值测试模型,通过这个模型可以区分出可接受故障和不可接受故障,然后使用成熟的固定故障测试生成算法得到不可接受故障的测试生成矢量。在ISCAS’85和ISCAS’89电路上的实验结果表明:该算法的故障覆盖率能达到96%,故障测试生成时间少于0. 019 s。 展开更多
关键词 可接受故障 阈值测试生成 测试生成算法
在线阅读 下载PDF
面向同步时序电路的电路并行测试生成算法
5
作者 刘蓬侠 曾芷德 李思昆 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2002年第10期1215-1221,共7页
面对VLSI设计规模日益增大的挑战 ,除了电路并行以外 ,其它已有的基本并行策略都无法从根本上解决测试生成的复杂性问题 .然而 ,已有的电路并行测试生成算法并未取得理想的结果 ,尤其对时序电路 .因此 ,如何划分电路 ,成为电路并行算法... 面对VLSI设计规模日益增大的挑战 ,除了电路并行以外 ,其它已有的基本并行策略都无法从根本上解决测试生成的复杂性问题 .然而 ,已有的电路并行测试生成算法并未取得理想的结果 ,尤其对时序电路 .因此 ,如何划分电路 ,成为电路并行算法的设计基础和成功的关键 .面向逻辑级描述的同步时序电路 ,以触发器为核的电路划分算法BWFSF将电路划分为大功能块 .对Benchmark - 89电路的实验结果表明 ,基于G -F二值算法和BWFSF算法的电路并行测试生成算法在有效减少存储空间消耗的同时 ,还能够获得稳定的加速比 . 展开更多
关键词 测试生成系统 同步时序电路 电路并行 触发器 大功能块 并行策略 VLSI电路 并行测试生成算法
在线阅读 下载PDF
测试生成算法评估与预报系统
6
作者 杭静 徐拾义 《计算机工程》 CAS CSCD 北大核心 2001年第5期102-104,共3页
测试生成算法评估与预报系统分别利用回归算法、神经网络算法和遗传算法为测试生成算法建立预报模型,使得对给定电路,不必 实际运行测试生成算法,就可快速地得到最有效的测试生成算法。对如何利用遗传算法建立预报模型进行了较为详细的... 测试生成算法评估与预报系统分别利用回归算法、神经网络算法和遗传算法为测试生成算法建立预报模型,使得对给定电路,不必 实际运行测试生成算法,就可快速地得到最有效的测试生成算法。对如何利用遗传算法建立预报模型进行了较为详细的论述。 展开更多
关键词 遗传算法 预报模型 测试生成算法 可测性参数 VLSI 超大规模集成电路
在线阅读 下载PDF
一种数字电路的测试向量生成算法 被引量:5
7
作者 何华锋 胡昌华 +1 位作者 许化龙 张伟 《系统工程与电子技术》 EI CSCD 北大核心 2002年第6期95-98,共4页
结合一个实际电路 ,研究了一种可把数字电路故障定位到器件级的测试向量生成算法。该算法首先划分电路功能块 ,然后基于功能测试的思想 ,通过功能块测试向量的迭代生成整个电路的测试向量。还提出了一种基于器件布尔函数建立故障字典的... 结合一个实际电路 ,研究了一种可把数字电路故障定位到器件级的测试向量生成算法。该算法首先划分电路功能块 ,然后基于功能测试的思想 ,通过功能块测试向量的迭代生成整个电路的测试向量。还提出了一种基于器件布尔函数建立故障字典的方法 ,这种方法思路清楚 ,软件编程实现方便。 展开更多
关键词 数字电路 测试向量 故障字典 测试生成算法
在线阅读 下载PDF
多故障测试生成的一种简化算法 被引量:3
8
作者 吴丽华 李涛 +1 位作者 邹海英 王鹏 《电机与控制学报》 EI CSCD 北大核心 2008年第3期348-352,共5页
针对求解布尔差分要做大量的异或运算,特别是求解高阶布尔差分繁琐的问题,提出一种具有约束条件的布尔差分简化方法。通过对布尔差分算法进行剖析,得出所求测试应该使测试集方程中的布尔函数f(X)随变量的改变而改变,由此可将差分方程表... 针对求解布尔差分要做大量的异或运算,特别是求解高阶布尔差分繁琐的问题,提出一种具有约束条件的布尔差分简化方法。通过对布尔差分算法进行剖析,得出所求测试应该使测试集方程中的布尔函数f(X)随变量的改变而改变,由此可将差分方程表示成恒等式。为保证故障能向输出端传播,需要加入测试矢量生成的约束条件,所以该方法只需通过求解恒等式及约束条件来得到完全测试集。通过采用简化算法和未采用简化算法实例的比较,证明了简化方法的正确性和简化性,仿真验证了所求测试矢量可以检测出设定故障。 展开更多
关键词 组合逻辑电路 布尔差分算法 测试生成算法 约束条件
在线阅读 下载PDF
基于有向图的最小完全覆盖互操作测试序列生成算法 被引量:11
9
作者 林华辉 赵保华 屈玉贵 《中国科学技术大学学报》 CAS CSCD 北大核心 2006年第2期225-229,共5页
互操作测试过程目的是用尽量少的测试序列数目对目标系统实施测试,而又能检测出尽可能多的错误.采用基于有向图的满足互操作测试的最小完全覆盖准则的测试序列生成算法可以生成更有效的互操作测试集.
关键词 互操作性测试 互操作等价 最小完全覆盖准则 有向图 测试序列生成算法
在线阅读 下载PDF
印刷线路板测试点自动生成算法研究 被引量:1
10
作者 平玲娣 潘雪增 李明新 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 1997年第5期402-407,共6页
根据我国PCB制造业的特点,提出了一种PCB测试点自动生成的算法,该算法经厂家实用验证,效果良好,具有手工标注测试点无法比拟的优点。
关键词 印刷线路板 测试生成算法 PCB
在线阅读 下载PDF
测试向量生成的新搜索算法 被引量:2
11
作者 曾成碧 陈光 《系统工程与电子技术》 EI CSCD 2000年第6期73-76,共4页
描述一种新的健全高效的测试向量自动生成方法———测试向量生成的可满足性算法。与现有的测试向量生成算法相比 ,满足性算法是一种有效改进搜索空间的搜索算法 ,运用几种简化技术 ,进一步改进故障诊断的方法。由部分ISCAS’85基准电... 描述一种新的健全高效的测试向量自动生成方法———测试向量生成的可满足性算法。与现有的测试向量生成算法相比 ,满足性算法是一种有效改进搜索空间的搜索算法 ,运用几种简化技术 ,进一步改进故障诊断的方法。由部分ISCAS’85基准电路的仿真结果表明 ,满足性算法健全、有效 ,而且电路增大 。 展开更多
关键词 故障诊断 测试向量生成算法 搜索算法
在线阅读 下载PDF
一种基于软件体系结构配置的测试用例生成算法研究 被引量:2
12
作者 叶俊民 赵恒 +1 位作者 黄萍 王振宇 《计算机科学》 CSCD 北大核心 2006年第2期266-268,F0003,共4页
从软件体系结构配置生成测试用例是软件测试领域中的一个重要分支。本文首先提出了一组基于软件体系结构配置的测试标准及其计算规则。基于此,实现了基于软件体系结构配置的测试用例生成算法并分析了其时间复杂性。对人机结口(Man-Machi... 从软件体系结构配置生成测试用例是软件测试领域中的一个重要分支。本文首先提出了一组基于软件体系结构配置的测试标准及其计算规则。基于此,实现了基于软件体系结构配置的测试用例生成算法并分析了其时间复杂性。对人机结口(Man-Machine Interface,MMI)的实验表明,所提出的算法能够根据测试标准生成测试用例。 展开更多
关键词 软件体系结构 测试用例生成算法 软件测试
在线阅读 下载PDF
基于有向同步交互图的类族测试用例生成算法
13
作者 龚红仿 李军义 《计算机应用研究》 CSCD 北大核心 2007年第6期48-51,共4页
根据类对象之间的消息通信产生的同步消息、消息传递以及消息等待的交互特征,设计了一种有向同步交互图(DSIG)模型,提出了类继承的同步交互路径(SIAPaths)测试用例生成方法,给出了自动生成同步交互路径的算法。同时,提出了同步交互序列... 根据类对象之间的消息通信产生的同步消息、消息传递以及消息等待的交互特征,设计了一种有向同步交互图(DSIG)模型,提出了类继承的同步交互路径(SIAPaths)测试用例生成方法,给出了自动生成同步交互路径的算法。同时,提出了同步交互序列测试充分性准则,并从基本交互路径序列和基本交互消息序列的测试覆盖率两方面阐述了测试的可行性。 展开更多
关键词 类继承测试 有向同步图 交互路径 测试用例生成算法 同步交互序列
在线阅读 下载PDF
改进可满足性的测试向量生成算法
14
作者 曾成碧 陈光 《四川大学学报(工程科学版)》 EI CAS CSCD 2000年第3期54-57,共4页
描述了可满足性的测试向量生成 (SAT ATPG)算法 ,针对此算法的不足 ,提出反向路径敏化算法 (BPS)嵌入SAT ATPG中 ,减少了CNF的构成时间和搜索空间 ,而且减轻故障压缩的工作量 。
关键词 搜索算法 可满足性 测试向量生成算法 集成电路
在线阅读 下载PDF
加速可满足的测试向量生成算法
15
作者 曾成碧 陈光褕 《实用测试技术》 CAS 2000年第2期1-4,共4页
本文描述了可满足的测试向量生成 (ATPG)算法 ,对可满足的测试向量生成算法的不足 ,提出改进的全局蕴涵及唯一确定值的计算 ,来简化搜索空间、降低搜索量、加速测试生成。
关键词 搜索算法 测试向量生成算法 数字电路
在线阅读 下载PDF
基于UIO的协议测试序列生成方法的改进 被引量:12
16
作者 田野 屈玉贵 赵保华 《计算机工程与应用》 CSCD 北大核心 2000年第12期153-155,175,共4页
文章在FSM模型下基于UIO序列的协议测试生成算法的基础上,介绍了UIO(S)序列和IO(S,K)序列的生成算法.并针对在IUT中,会出现UIO(S)和IO(S,K)序列失效的问题,提出了一种有效的检验方法.最后,给出了完整的测试序列生成方法.
关键词 UIO序列 网络通信协议 协议测试生成算法
在线阅读 下载PDF
基于FSM的测试理论、方法及评估 被引量:22
17
作者 刘攀 缪淮扣 +1 位作者 曾红卫 刘阳 《计算机学报》 EI CSCD 北大核心 2011年第6期965-984,共20页
为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试... 为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试方法评估的5项量化指标,实验评估了若干基于FSM模型的测试方法,给出了一些基于FSM测试的经验建议.文中的评估有助于基于FSM的测试方法在工业中的推广. 展开更多
关键词 基于FSM的测试 测试评估 测试生成算法 基于FSM的测试理论 冗余约简
在线阅读 下载PDF
基于状态图的航天器测试用例设计 被引量:6
18
作者 吕笑慰 王华茂 闫金栋 《航天器工程》 2014年第6期135-140,共6页
为进一步提高航天器测试效率和测试覆盖性,提出了一种基于状态图的航天器测试用例设计方法,以状态图模型作为测试用例设计的依据,通过模型覆盖准则,由算法生成测试用例,并以自主热控功能的测试为例,对新方法进行了可行性验证,给出了原... 为进一步提高航天器测试效率和测试覆盖性,提出了一种基于状态图的航天器测试用例设计方法,以状态图模型作为测试用例设计的依据,通过模型覆盖准则,由算法生成测试用例,并以自主热控功能的测试为例,对新方法进行了可行性验证,给出了原始用例和新用例的比较结果。该方法有利于准确衡量测试用例覆盖率,缩短用例设计时间,可为工程应用提供参考。 展开更多
关键词 航天器测试 状态流 状态图模型 测试生成算法
在线阅读 下载PDF
超大规模集成电路测试技术 被引量:6
19
作者 朱莉 林其伟 《中国测试技术》 2006年第6期117-120,共4页
随着系统集成度与加工技术的飞速发展,超大规模集成电路测试已经成为一个越来越困难的问题。测试的理论与技术已经成为VLSI领域中的一个重要研究方向。本文较全面的介绍了各种VLSI测试方法,并分析了各自的特点。最后预计了VLSI测试技术... 随着系统集成度与加工技术的飞速发展,超大规模集成电路测试已经成为一个越来越困难的问题。测试的理论与技术已经成为VLSI领域中的一个重要研究方向。本文较全面的介绍了各种VLSI测试方法,并分析了各自的特点。最后预计了VLSI测试技术的发展趋势。 展开更多
关键词 测试生成算法 自动测试矢量生成 可测性设计 内建自测试 存储器测试 静态功耗电流
在线阅读 下载PDF
Sequential fault diagnosis strategy with imperfect tests considering life cycle cost 被引量:2
20
作者 张士刚 胡政 温熙森 《Journal of Central South University》 SCIE EI CAS 2013年第12期3513-3521,共9页
The problem of sequential fault diagnosis is to construct a diagnosis tree that can isolate the failure sources with minimal test cost. Pervious sequential fault diagnosis strategy generating algorithms only consider ... The problem of sequential fault diagnosis is to construct a diagnosis tree that can isolate the failure sources with minimal test cost. Pervious sequential fault diagnosis strategy generating algorithms only consider the execution cost at application stage, which may result in a solution with poor quality from the view of life cycle cost. Furthermore, due to the fact that uncertain information exists extensively in the real-world systems, the tests are always imperfect. In order to reduce the cost of fault diagnosis in the realistic systems, the sequential fault diagnosis problem with imperfect tests considering life cycle cost is presented and formulated in this work, which is an intractable NP-hard AND/OR decision tree construction problem. An algorithm based on AND/OR graph search is proposed to solve this problem. Heuristic search based on information theory is applied to generate the sub-tree in the algorithm. Some practical issues such as the method to improve the computational efficiency and the diagnosis strategy with multi-outcome tests are discussed. The algorithm is tested and compared with previous algorithms on the simulated systems with different scales and uncertainty. Application on a wheel momentum system of a spacecraft is studied in detail. Both the simulation and application results suggest that the cost of the diagnosis strategy can be reduced significantly by using the proposed algorithm, especially when the placement cost of the tests constitutes a large part of the total cost. 展开更多
关键词 test sequencing problem sequential fault diagnosis imperfect test life cycle cost AND/OR graph
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部