改进的UIO序列生成算法
有限自动机(FSM)被广泛用对软硬件进行建模.唯一输入/输出序列(UIO Sequence)用于构造测试序列来验证FSM是否到达某一状态.UIO序列寻找过程就是构造一棵UIO树,但是构造过程中使用的分解节点方法会产生许多不需要的节点.在结合已有的广度优先搜索算法和搜寻过程中构造UIO树的方法、本文提出将UIO树的节点标记为”需要”和”不需要”状态的方法,以降低搜索空间,加快UIO序列生成过程.该算法与以往算法相比,在时间复杂度和空间复杂度两方面有较大改进.
有限自动机 节点标记 生成算法 输入序列 输出序列
黎中文 张来顺 肖健鹏
解放军信息工程大学电子技术学院,河南郑州450004 中国人民解放军65012部队,辽宁沈阳110101
国内会议
郑州
中文
54-57
2010-11-12（万方平台首次上网日期，不代表论文的发表时间）