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

来源 :软件学报 | 被引量 : 0次 | 上传用户：anywho

【摘要】

：

测试集自动生成工具的研究是协议一致性测试领域中比较活跃的一个分支，本文在对目前已有的各种测试集生成方法进行分析的基础上，提出了一种新的测试集自动生成方法并对它的实现

【作者】

：

郝瑞兵

【机构】

：

清华大学计算机系

【出处】

：

软件学报

【发表日期】

：

1994年5期

【关键词】

：

通信协议测试 TUGEN 设计 Protocol conformance testing implementation under testing tes

【基金项目】

：

国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

一种脸部图象识别的新方法

本文提出了一种脸剖图象识别的新方法：系统先对对每幅图象进行参数化，然后再把那些经过分析得到的参数用于脸部图象的识别，而这些参数代表了图象的主要的结构特征。

期刊

模式识别国图象分析图象识别脸剖图象

参苓白术散加减治疗慢性结肠炎临床体会

目的观察以参苓白术散为主方化裁治疗慢性结肠炎（腹泻型）的临床疗效。方法对48例慢性结肠炎患者,采用水煎参苓白术散成汤剂,每剂约140 mL,每日1剂,早晚2次口服,20剂为1个疗程,

期刊

参苓白术散/治疗应用慢性结肠炎/中医药疗法党参白术

事件代数与主动知识库系统

本文提出一种事件代数，它由一组基本事件和作用在事件上的运算组成，从而各种复杂事件都可用这种代数中的事件表达表示，然后，本文在事件代数的基础上提出了主动知识库系统的概念，在

期刊