论文部分内容阅读
测试集自动生成工具的研究是协议一致性测试领域中比较活跃的一个分支，本文在对目前已有的各种测试集生成方法进行分析的基础上，提出了一种新的测试集自动生成方法并对它的实现ＴＵＧＥＮ作了介绍．ＴＵＧＥＮ基于一种称为ＥＢＥ的形式模型，ＥＢＥ模型只对协议的外部行为进行描述，而且可以从协议的Ｅｓｔｅｌｌｅ或ＬＯＴＯＳ描述中转化得到．ＴＵＧＥＮ以协议的ＥＢＥ－ＮＦ描述作为输入，使用我们新提出的一套测试事例生成策略，最后产生出ＴＴＣＮ．ＭＰ格式的测试集．我们用Ｘ．２５ＬＡＰＢ协议的ＥＢＥ－ＮＦ描述作为例子，对ＴＵＧＥＮ的正确性和有效性进行了验证并得到了满意的结果．我们相信，ＴＵＧＥＮ完全可以成为一个测试集自动生成的有力工具．
The research of automatic generation of test set is a branch which is more active in the area of protocol conformance testing. Based on the analysis of the existing generation methods of test sets, this paper proposes a new automatic test set generation method And introduced TUGEN to its realization. TUGEN is based on a formal model called EBE, which describes only the external behavior of the protocol and can be derived from the Estelle or LOTOS description of the protocol. TUGEN takes the protocol’s EBE-NF description as input, uses our new set of test case generation strategies, and produces a TTCN. MP format test set. We use X. The EBE-NF description of 25LAPB protocol is taken as an example to verify the correctness and validity of TUGEN and to get satisfactory results. We believe TUGEN can be a powerful tool for automatically generating test suites.