UIO序列的启发式算法

作     者：孙海平 张溯 高明伦 

作者机构：合肥工业大学电气工程学院安徽合肥230009 

基　　金：国家自然科学基金资助项目 ( 6 9876 0 1 0 ) 国家教委高等学校博士学科点专项科研基金资助 ( 980 3590 1 ) 

出 版 物：《合肥工业大学学报（自然科学版）》 (Journal of Hefei University of Technology：Natural Science)

年 卷 期：2001年第24卷第4期

页      码：486-492页

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

主 题 词：有限状态机 UIO序列 启发式搜索算法 优化策略 功能测试 搜索速率 剪枝策略 

学科分类：07[理学] 08[工学] 070104[070104] 081101[081101] 0701[理学-数学类] 0811[工学-水利类] 

D　O　I：10.3969/j.issn.1003-5060.2001.04.006

馆 藏 号：203110449...