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

Test Sequence Generation Algorithm Based on UIO Sequence

作　　者：王小银[1] 

机构地区：[1]西安邮电学院计算机系,西安710061

出　　处：《昆明理工大学学报（理工版）》2009年第5期46-49,共4页Journal of Kunming University of Science and Technology(Natural Science Edition)

基　　金：西安市科技创新基金项目(项目编号:YF07024)

摘　　要：在通信协议的一致性测试中,寻找一条简洁高效的测试序列是关键工作之一.基于FSM模型的协议一致性测试,提出一种新的UIO序列生成方法,利用遗传算法求解UIO序列.研究结果表明,该算法能生成更短且结果稳定的UIO序列.In the communication protocol conformance testing, it is essential to find a simple and efficient test sequence. Based on protocol conformance testing of the FSM model,a new generation method of UIO sequence, which adopts genetic algorithm, is proposed in this paper. The algorithm is proved through experiments to be able to generate shorter and more stable UIO sequence.

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

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]