用二叉决策图学习加速测试模式生成

• 作者: 刘歆 熊有伦
• 来源期刊: 测试技术学报
• 学科: 工学
• 关键词: 测试模式生成 布尔可满足性 二叉决策图学习
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 信号检测、算法与仿真
• 页码范围: 63-69
• 页数: 7页
• 分类号: TN407
• 字数: 4663字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-7449.2007.01.013

摘要

提出了基于总会聚点的有序二叉决策图(BDD)学习方法,用以提高使用布尔可满足性方法的组合电路测试模式生成系统的性能.它有效地结合了基于布尔可满足性、BDD和结构等方法各自的优点,可以有效地解决局部信号赋值之间的关联性.其具体的做法是:首先分析电路的拓扑结构,收集局部信号的关联信息,构造局部电路结构的BDD图;之后从该图中学习出引起冲突赋值的合取范式子句,将这些学习的子句增补到子句库中,用以限制和修剪测试生成的搜索空间,从而加速测试模式的生成过程.实验结果说明了该方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	熊有伦	华中科技大学机械电子信息工程系	97	1709	24.0	37.0
2	刘歆	湖北工业大学电气与电子工程学院	5	5	1.0	2.0