一种改进的UIO序列生成算法

摘要：

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

关键词：UIO、状态图、测试、序列、投影

所属期刊栏目：27

分类号：TP31(计算技术、计算机技术)

在线出版日期：2006-10-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：3277-3279