论文部分内容阅读
UIO序列是对有限状态机进行功能测试的有效手段,在VLSI、通信协议等时序系统中有很强的实际应用背景,本文基于可区分状态组这一概念设计了一个搜索算法,进一步利用搜索信息建立了一个基于“小于”关系的启发策略,有效的剪枝策略的设计将尽可能消除没有意义的搜索分枝,新设计出的多路OPEN/CLOSED表存储机制也加快了相关的判别、处理过程。根据实验结果,分析了优化措施对于改进了搜索过程、减少搜索信息的产生、提高搜索速度有显著的贡献。该算法与以往的算法相比,在时间复杂度和空间复杂度两方面都得到了很大改进。