主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第4期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
郝瑞兵.测试集自动生成工具TUGEN的设计与实现.软件学报,1994,5(5):26-38
测试集自动生成工具TUGEN的设计与实现
TUGEN: A TOOL FOR AUTOMATIC TEST SUITE GENERATION
投稿时间:1993-08-12  
DOI:
中文关键词:  协议一致性测试,被测协议实现(IUT),测试集,测试事例/测试序列,交互路径,子交互路径
英文关键词:Protocol conformance testing, implementation under testing, test suite, test case/test sequence, interaction path, sub-interaction path.
基金项目:国家自然科学基金
作者单位
郝瑞兵 清华大学计算机系北京 100084 
摘要点击次数: 2116
全文下载次数: 2505
中文摘要:
      测试集自动生成工具的研究是协议一致性测试领域中比较活跃的一个分支,本文在对目前已有的各种测试集生成方法进行分析的基础上,提出了一种新的测试集自动生成方法并对它的实现TUGEN作了介绍.TUGEN基于一种称为EBE的形式模型,EBE模型只对协议的外部行为进行描述,而且可以从协议的Estelle或LOTOS描述中转化得到.TUGEN以协议的EBE-NF描述作为输入,使用我们新提出的一套测试事例生成策略,最后产生出TTCN.MP格式的测试集.我们用X.25LAPB协议的EBE-NF描述作为例子,对TUGEN
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利