论文研究 基于FSM的协议一致性测试序列生成算法研究.pdf

在通信协议的一致性测试领域里，如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题，在介绍了通信协议的主要形式化模型FSM后，先研究了基于UIO的测试序列生成算法，然后对原算法进行了改进。改进后的算法所生成的测试序列具有较高的错误覆盖率，并且能够缩短测试序列的长度。