%0 Journal Article
%T TUGEN: A TOOL FOR AUTOMATIC TEST SUITE GENERATION<br>测试集自动生成工具TUGEN的设计与实现
%A Hao Ruthing
%A <br>郝瑞兵
%J 软件学报
%D 1994
%I 
%X This paper presents a tool called TUGEN which is used for automatic test suite derivation from formal protocol specification. TUGEN is based on a formal model called EBE (External Behavior Expression) which can be obtained from formal protocol specification in either Estelle of LOTOS. This model specifies only the external behavior of a protocol in terms of the input/output sequences and their logical (function and predicate) relations. Based on the EBE specification of a protocol, a test sequence derivation method is used to identify associations between inputs and outputs through the interaction paths and their I/O subpaths, then generic test cases specified in TTCN (Tree and Tabular Combined Notation) can be generated from these I/O subpaths. Comparison of test cases generated from this tool and those in ISO/IEC DIS 8882 part 2 for X. 25 LAPB protocol shows that the resulting set of test cases of TUGEN is concise and effective. It is our belief that TUGEN can be a powerful utility for protocol test suite generation.
%K Protocol conformance testing
%K implementation under testing
%K test suite
%K test case/test sequence
%K interaction path
%K sub-interaction path<br>协议一致性测试，被测协议实现（IUT），测试集，测试事例／测试序列，交互路径，子交互路径
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=1B5410D35175A9DEBEC0F1C0A6527A17&yid=3EBE383EEA0A6494&vid=94C357A881DFC066&iid=94C357A881DFC066&sid=96C778EE049EE47D&eid=16D8618C6164A3ED&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=8