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

【文件属性】：
文件名称：论文研究-基于FSM的协议一致性测试序列生成算法研究.pdf
文件大小：561KB
文件格式：PDF
更新时间：2022-10-02 23:46:14
论文研究 在通信协议的一致性测试领域里，如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题，在介绍了通信协议的主要形式化模型FSM后，先研究了基于UIO的测试序列生成算法，然后对原算法进行了改进。改进后的算法所生成的测试序列具有较高的错误覆盖率，并且能够缩短测试序列的长度。