文档介绍：维普资讯
第卷第期电子秘技大学学报. .
年月.
元树临界输人的一种启发式排序方法
陈朝阳一冻光福/ 虞厥邦
:;大学自动化系: 石成都
测试生成。其基于知识的树结构特别适用于专家系统环境【然而’的大小
。文中提出了一种临界输入的启发
式识别方法,以求获碍较小的日,加速测试生成过程。.
关键词些墨三垂丝界入启发式识别方法,兰丝型生生,
中圉分类号宅除,丁尸/
自动测试模式生成,系统通过生成测试输入矢量集使
故障系统与无故障系统产生的响应不同,从而达到故障诊断的目的,这对于增强系统的可靠性具有
十分重要的意义。目前,用于诊断组合电路门级果滞型故障—的测试方法主要分为两
类;一类基于电路的拓朴结构搜索产生测试矢量;另一类通过代数运算产生测试矢量。
随着电路复杂性与多样性不断地增加,仅依赖门级测试生成技术是不够的,必须提出更加抽
象,更为有效的测试方法。作为电路功能描:萎疗法应用于电路功能级测试生成,将电路的内
部故障等效为输入输出端的故障,测试速度快,测试矢量精炼,通过门级故障仿真,在大多数情况
下,故障覆盖率可达以上,可见用于电路的功能级测试生成是一种有效的电路测试方法。
然而,的大小取决于临界输入的识别,;..∞
的三种启发式方法口,但仅适用于已知电路的功能真值表及布尔表达式的情况,对于大多数由具体
逻辑门构成的组合电路却不适用。为了更好地识别这类电路的临界输入而建立较小的,我们结
合二元决策图及其输入变量排序研究中的成果口,从研究与
的关系入手,提出一种有效的电路临界输入识别方法。
与的关系
作为布尔函数的一种处理方法广泛应用于电路的测试与校验中。提出的
对于给定的缉功能为一范式表达嘲由于的大小对输入
变量编序十分敏感,等提出了一种基于深度优先遍历—的变量排序算
法,对于树型电路所有输入和门仅与一个门相连和准树型电路仅有一个门或一个输入具有两
个扇出取得了满意的结果。然而,在从输出至输入的深度优先遍历中,扇入的选择任意,因此对同
一电路可能会产生不同的排序结果,如图所示。
年月日收稿年月日修改定稿
国家“八五’’重点科研项目
男岁博士生讲师
维普资讯
第期陈朝阳等: 临界二元树临界输入的一种启发式排序方法
电路排序为:一工的【排序为甸一现的
图逻辑电路及其
图中两个都具有最少结点数;用——运算编写二元决策程序如下:
程序对应于图
,—,
,≈一,·
,,
,
程序Ⅱ对应于图
, ,, ,‘
,∞: ,
, —
,,
,
很显然,程序的执行速度由于测试次数少而快于程序,而测试次数少主要因为其对应的
图的路径数少,因此图是最简的。
对图所示电路,对应于排序≈和一堍得到的如图所示。
、
入, /\。
【】, ⋯
维普资讯
电子科技大学学报第卷
电路的最简。
根据定义及以上分析,不难得出描述与之间关系的定理。
定理对给定电路,其最简对应输入变量排序,当作为临界输入排序时,其对应的日
也是最简的。
因此