FSM下UIO与BUIO引导的高效测试序列生成算法

本文主要探讨了通信协议一致性测试序列自动生成算法的研究，针对现有的测试序列生成方法的不足，作者赵建光和胡永锋在有限状态机(FSM)模型的框架下，引入了UIO（Unlimited Input Output）序列和BUIO（Basic Unlimited Input Output）序列的概念。UIO序列允许无限长度的输入和输出，而BUIO序列则是一种简化形式，仅考虑了基本的输入输出行为。两位作者提出了一种全新的测试序列自动生成算法，其核心在于将这两种序列作为基础，通过算法的优化设计，生成的测试序列相较于传统方法更加精简。 该算法的流程分为三个步骤：首先，通过FSM模型分析通信协议的行为，生成UIO序列，这一步旨在覆盖协议的所有可能输入和预期输出；其次，从UIO序列中提取出BUIO序列，这个过程着重于找出协议中的关键路径和基本交互模式；最后，利用生成的UIO和BUIO序列，结合FSM的状态转换，构造出测试序列，确保测试的全面性和有效性。通过这种方式，测试序列不仅具有较高的覆盖率，还能减少冗余，从而提高测试效率。 文中提到，新提出的算法成功地生成了比其他现有算法更短的测试序列，并且通过实际的ECMA-264标准案例进行了验证。ECMA-264是一种广泛应用于多媒体编码标准，例如JPEG XR和WebP，对协议一致性有严格要求。这一实证结果证明了新算法在实际应用中的优越性能。 测试序列的长度直接影响到一致性测试的执行时间，因此，一个高效的自动生成算法对于大规模、复杂协议的测试至关重要。本文的贡献在于提供了一个实用的工具，有助于提升通信协议一致性测试的自动化水平，降低测试成本，同时保证了测试的质量和准确性。 本文的研究对于提高通信协议一致性测试的效率和准确性具有重要意义，也为其他领域的协议测试提供了一种新的思考和实践方向。