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

【文件属性】：

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

文件大小：561KB

文件格式：PDF

更新时间：2022-10-02 23:46:14

论文研究

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