论文部分内容阅读
针对最优测试序列生成问题，采用与或图搜索生成测试序列，将系统故障与测试之间的关系作为节点生成的依据，在综合了信息论与启发式搜索理论的基础上，由霍夫曼编码和信息熵构成的启发式搜索函数来引导与或图的搜索生成诊断树，安排最优的测试顺序，实现用最少的代价隔离系统故障；在解决与或图搜索问题中应用了改进后的AO^＊算法，避免出现“NP-完全”的复杂计算问题，整个过程大大减少了生成节点的数量，提高了故障隔离效率。