%0 Journal Article
%T UIO序列优化搜索算法的研究
%A 孙海平
%A 高明伦
%J 电子学报
%P 667-671
%D 2002
%X UIO序列是对有限状态机进行功能测试的有效手段,在VLSI、通信协议等时序系统中有很强的实际应用背景.本文基于可区分状态组这一概念设计了一个搜索算法,进一步利用搜索信息建立了一个基于"小于"关系的启发策略,有效的剪枝策略的设计将尽可能消除没有意义的搜索分枝,新设计出的多路OPEN/CLOSED表存储机制也加快了相关的判别、处理过程.根据实验结果,分析了优化措施对于改进了搜索过程、减少搜索信息的产生、提高搜索速度有显著的贡献.该算法与以往的算法相比,在时间复杂度和空间复杂度两方面都得到了很大改进.
%K 有限状态机
%K UIO序列
%K 启发式搜索
%K 优化策略
%K 功能测试
%U http://www.ejournal.org.cn/CN/abstract/abstract6452.shtml