作 者:曹泽翰
作者机构:重庆大学计算机研究所
出 版 物:《重庆大学学报》 (Journal of Chongqing University)
年 卷 期:1985年第S1期
页 面:87-93页
主 题:故障测试 组合网络 标记变量 逻辑式 状态变量 输入变量 下标 冗余网络 故障屏蔽 故障遮掩 故障测试生成 算法
摘 要:本文应用必不成环的概念提出一种产生组合网络多故障测试的算法,文中定义了一阶和高阶必不成环测试函数并给出了用已经检测的故障去简化测试函数的规则,从而把复杂的故障屏蔽分析隐含在测试生成过程中。对算法的计算复杂性和测试长度的上界进行了分析,表明该算法可用于大型组合网络的多故障测试生成。