集成数据流和控制流的协议测试集自动生成方法研究

An Automatic Test Suite Generator Based on Data-Flow and Data-selection

测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支。提出了一种基于EBE模型，集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现TUGEN。EBE模型只对协议的外部行为进行描述，强调变迁之间的数据依赖性。在TUGEN中，我们引入控制流测试中的UIO序列算法和描述协议不确定性的AIO树的概念，运用协议约束集来灵活地控制自动生成过程中的协议空间搜索的复杂性。并采用测试集的验证技术分析测试集的覆盖能力。TUGEN工具已运用于OSI协议和TCP／IPRFC等协议的测试生成。

TUGEN integrates the features of data-flow and control-flow test and is based on a formal model called EBE, which specifies only the external behavior of a protocol. UIO sequence algorithm is introduced to determine the state and the concept of AIO tree to solve the nondeteminism of a protocol and the prolocol constraint set is used to control the complexity of exploring space. Furthermore, a test suite is optimally generated by simulate testing.