测试集自动生成工具TUGEN的设计与实现

测试集自动生成工具的研究是协议一致性测试领域中比较活跃的一个分支，本文在对目前已有的各种测试集生成方法进行分析的基础上，提出了一种新的测试集自动生成方法并对它的实现ＴＵＧＥＮ作了介绍．ＴＵＧＥＮ基于一种称为ＥＢＥ的形式模型，ＥＢＥ模型只对协议的外部行为进行描述，而且可以从协议的Ｅｓｔｅｌｌｅ或ＬＯＴＯＳ描述中转化得到．ＴＵＧＥＮ以协议的ＥＢＥ－ＮＦ描述作为输入，使用我们新提出的一套测试事例生成策略，最后产生出ＴＴＣＮ．ＭＰ格式的测试集．我们用Ｘ．２５ＬＡＰＢ协议的ＥＢＥ－ＮＦ描述作为例子，对ＴＵＧＥ