蔡 璐，朱怡安，郑 炜

(西北工业大学计算机学院，西安 710072)

1 引言

随着系统越来越复杂，通过建立被测系统的FSM模型进行一致性测试。人们主要研究方向之一是基于FSM测试用例的生成算法，W－方法［1］利用规格FSM的状态特征集W和迁移覆盖集P生成测试序列，然后将测试序列应用到实现FSM中进行结果比较。Wp－方法［2］主要由两步构成，首先利用状态特征集W产生能覆盖所有状态的序列，然后利用迁移覆盖集P和部分状态特征集Wi产生能覆盖所有迁移的测试序列。显然，如果FSM满足状态的可达性，则迁移覆盖必然包含了状态覆盖，W－方法实质上就是生成迁移覆盖的测试序列，而Wp－方法则是将迁移覆盖分解为状态覆盖和对于各个状态的剩余迁移覆盖，这种做法让测试集得以减小。文献［4］不用计算所有的状态特征集W，而只需要部分特征集R(前提是R能将待测的FSM划分成特定数目的状态集合)从而减少计算W的时间，改进了W－方法，但它只是W－方法一种通用的方法。C－ 方法［3］是基于 W － 方法［1］和 G － 方法［4］，对于组合状态机和回归测试此算法有明显的优势。它们都存在测试序列重置到初始态的次数过多的问题。

此文基于它们共同的故障模型，利用模型中部分状态特征集，在与C－方法的组合思想相反面上，从分解的思想出发提出了DC－方法，能使得用例集相对减少，同时使得每次重置到初始态的次数减少，从而节省了时间。以下章节如下安排:第二节给出了相关的定义及条件假设;第三节提出了DC－方法及相关理论证明;第四节通过实例分析DC－方法相对其他方法所具备的优势;最后是全文总结并讨论了未来可进行研究的方向。……