论文部分内容阅读
基于UIO的测试方法都需要先找到FSM状态图中所有状态的UIO序列。Kshirasagar Naik提出一种基于FSM的UIO生成算法,可以避免求UIO树时先求出较长的UIO序列,但该方法采用的推导过程却使得出的UIO序列越来越长。该文利用宽度与深度相结合的方法,对上述算法得出的结果做了进一步处理,缩短了测试序列。