[发明专利]一种基于电路仿真的可测试性模型自动建立方法

摘要

本发明公开了一种基于电路仿真的可测试性模型自动建立方法，首先获取电路中的器件信息和物理连接关系，然后对电路进行无故障的仿真，再依次对各个器件进行故障模拟，通过有无故障情况下各节点电压的比较，得到每个器件的可影响节点集合，将每个器件作为一个模块，根据每个器件的可影响节点集合，推算每个模块的故障传递树，根据故障传递树对有向总邻接矩阵中的元素值进行设置，得到包含模块与节点的有向图模型，再消除有向图模型中的节点，得到最终的可测试性模型。本发明实现了电路可测试性模型的自动建立，大大降低了人工对电路功能分析的难度和工作量，并且利用电路仿真提高了建模的准确度与效果。

主权项

一种基于电路仿真的可测试性模型自动建立方法，其特征在于，包括以下步骤：S1：获取电路中的器件信息和物理连接关系；S2：对电路进行无故障的仿真，获得无故障时各节点的电压，再依次对各个器件进行故障模拟，通过仿真获得发生故障时各节点的电压，通过有无故障情况下电压的比较，得到每个器件的可影响节点集合；S3：将每个器件作为一个模块，根据步骤S2中得到的每个器件的可影响节点队列集合，推算每个模块的故障传递树，具体方法为：S3.1：根据模块的信号传播方向，获取有向的节点邻接矩阵；S3.2：依次判断模块i是否是有向器件，其中i的取值范围是0≤i≤N，如果是，根据器件i的输入输出端口确定模块与相邻节点的故障流传播方向，如果不是，遍历模块i的各个相邻节点，设置遍历标识为“已遍历”，记录其树形父节点，如果相邻节点为模块i的可影响节点，则将其加入可影响节点队列，记录其故障可传递标识为“是”，否则加入非影响节点队列，记录其故障可传递标识为“否”；S3.3：判断可影响节点队列是否为空，如果不是，进入步骤S3.4，否则判断非可影响节点队列是否为空，如果不是，进入步骤S3.4，否则进入步骤S3.5；S3.4：将队列的首节点出列作为遍历起点，根据节点邻接矩阵对首节点的相邻节点进行遍历，如果相邻节点遍历标识为“已遍历”，则遍历下一个相邻节点，如果未被遍历过，则记录其树形父节点，再判断该相邻节点是否为模块i的可影响节点，如果是，将该相邻节点加入可影响节点队列，设置故障传递标识为“是”，并向上回溯该节点的所有父节点，将途经的节点的故障可传递标识均设置为“是”，直到某个祖先节点的故障可传递标识已经为“是”，否则将该相邻节点加入非影响节点队列，记录其故障可传递标识为“否”；首节点的相邻节点遍历完毕后，返回步骤S3.3；S3.5：判断电路中的模块是否已遍历完毕，如果不是，令i＝i+1，返回步骤S3.2，否则故障传递树推算完毕；S4：初始化包含模块和节点的有向总邻接矩阵所有元素值为0，根据步骤S3得到的故障传递树对总邻接矩阵中的元素值进行设置，当故障传递树中单步传递关系的两个节点之间有多条经过单个中间模块的路径，如果中间模块为有向器件且其故障传播方向与单步传递关系方向相反，则不作任何操作，否则按单步传递关系方向将路径中包含的邻接关系对应的元素值置为1，得到包括模块与节点的有向图模型；S5：消除步骤S4得到的有向图模型中的节点，得到最终的可测试性模型。