基于UIO序列的状态机测试序列生成算法

摘要：

在通信协议的一致性测试中,寻找一条简洁高效的测试序列是关键工作之一.基于FSM模型的协议一致性测试,提出一种新的UIO序列生成方法,利用遗传算法求解UIO序列.研究结果表明,该算法能生成更短且结果稳定的UIO序列.

关键词：测试序列、有限状态机、唯一输入输出序列、遗传算法

所属期刊栏目：34

分类号：TP301.6(计算技术、计算机技术)

资助基金：西安市科技创新基金项目YF07024

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

页数：共4页

页码：46-49