论文部分内容阅读
测试序列的生成是协议一致性测试中重要的研究领域，怎样使生成的测试序列既具有较强的检错能力又具有较广的差错覆盖范围成为许多科研人员研究的重点。文章在介绍了有限状态机族型和唯一输入／输出序列后，对基于UIO的测试序列生成方法进行了分析，然后对该方法进行了优化研究。使用优化后的算法可以缩短测试序列的长度，提高了测试效率和差错覆盖率。