扩展D算法

本文以集合运算为基础,提出扩展D算法。通过九值集合运算,特别是集合的逆映射,直接导出各种立方表,然后同D 算法一样,对故障的测试立方进行D 驱赶和一致性相交运算,求出故障的测试。算法保留了九值算法,主通路法,和星算法等现存算法的优点。可用于求组合线路多故障和时序线路的测试。扩展D 算法简便直观,更便于工程实现,已在IBM 370/148机上用PL/I 语言实现了一个插件测试码生成系统。