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

来源 :软件学报 | 被引量 : 0次 | 上传用户:anywho
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
测试集自动生成工具的研究是协议一致性测试领域中比较活跃的一个分支,本文在对目前已有的各种测试集生成方法进行分析的基础上,提出了一种新的测试集自动生成方法并对它的实现TUGEN作了介绍,TUGEN基于一种称为EBE的形式模型,EBE模型只对协议的外部行为进行描述,而且可以从协议的Estelle或LOTOS描述中转化得到,TUGEN以协议的EBE-NF描述作为输入,使用我们新提出的一套测试事例生成策略
其他文献
本文提出了一种脸剖图象识别的新方法:系统先对对每幅图象进行参数化,然后再把那些经过分析得到的参数用于脸部图象的识别,而这些参数代表了图象的主要的结构特征。
目的观察以参苓白术散为主方化裁治疗慢性结肠炎(腹泻型)的临床疗效。方法对48例慢性结肠炎患者,采用水煎参苓白术散成汤剂,每剂约140 mL,每日1剂,早晚2次口服,20剂为1个疗程,
本文提出一种事件代数,它由一组基本事件和作用在事件上的运算组成,从而各种复杂事件都可用这种代数中的事件表达表示,然后,本文在事件代数的基础上提出了主动知识库系统的概念,在
粒度控制是逻辑程序并行执行的重要问题之一,本文首先引入粒度和粒度值的概念,量化地反映执行一个目标的响应时间,然后建立目标粒度值的计算模型,最后提出了一个并行模型的粒芳控
开放分布式处理ODP(open distributed processing)的目标是试图解决分布环境下软件的接口问题,以达到分布式系统的可移植性、透明性、互操作性,本文介绍了ODP要达到上述目标所需解决的一些关键性问题,分析了分析
针对具有多个子系统,多种不确定因素的多变量系统,基于BP神经网络的学习规划,提出了一种能消除多变量耦合引起的随机现象的神经网络。
大型、复杂的分布式实时系统除了有严格的时间要求外,还需要有更大的灵活性、可预测性和可靠性。本文提出一个分布式实时系统的描述工具-配置说明语言UECspec,用来描述分布式实时系统UECnet应
数据模型的智能化扩充旨在从数据模型着手,提高数据库系统的性能与功能,使其可存贮和处理复杂对象和知识,增强结构和行为的建模能力,语义构造能力,能演绎推理,本文承接此思路,基于面
笔者自2001~2008年采用中药外敷配合针刺治疗周围性面神经麻痹40例,疗效满意,报道如下。
本文描述了采用规则与人工神经网络表示知识的专家系统,一种前向式神经网络模型及其学习算法,表明采用多种形式表示知识有利于提高系统的灵活性和有效性。