论文部分内容阅读
本文以UIO(Unique Input/Output)方法为核心,概述了基于自动机等多种协议测试序列生成方法的研究进展。把优化的T方法与UIO方法相结合,提出了一种新的全优的测试序列生成方法-扩展T方法,序列长度几乎等同于优化的T方法,而纠错能力要同改善的UIO方法一样好。
一种新的网络协议测试生成方法
【摘 要】
：
本文以UIO(Unique Input/Output)方法为核心,概述了基于自动机等多种协议测试序列生成方法的研究进展。把优化的T方法与UIO方法相结合,提出了一种新的全优的测试序列生成方法
【机 构】
：
东北工学院计算机系,东北工学院计算机系
【出 处】
：
计算机工程与应用
【发表日期】
：
1990年10期
其他文献
什么是ERPERP（Enterprise Resource Planning）企业资源计划，又称“综合企业管理系统”。它是一个以“管理”为中心的，集企业采购、生产、物流、销售、财务、库存、行政资源等各个
具体介绍了徐州电业局无人值班变电站的两种模式、设备选型原则、主接线选定原则和信息管理系统；分析了徐州电业局无人值班变电站的主要特点。
腾讯设立双CTO，原CTO、创始人之一的张志东改任联席CT0，腾讯另挖角竞争对手MSN，由已在微软工作近10年的熊明华来担任另一职位。
在日渐网络化的今天,计算机病毒就象人类爱滋病,构成了计算机致命的危害。它侵扰着世界各国的计算机,已夺走了广大计算机用户的大量人力、物力和财力,引起了计算机界的恐慌。
论元杂剧悲剧的特征李唐董贵杰元朝是中国古代戏剧的第一个黄金时代，中国以后的戏剧成就都是在元杂剧的基础上发展起来的。对元杂剧悲剧的认识，不仅涉及对元杂剧规律和特点的认
随着经济水平的提升,越来越多的高楼大厦被建立起来,火灾隐患也随之增多,因此,安全的防火环境成为我们的共同追求。作为一种高效灭火剂,泡沫灭火剂的研究和应用备受关注。本
本文对PICK数据库操作系统数据库的特性及其完整性约束的系统保护功能和机制进行了详细的分析,并用一个实例数据库说明了其完整性约束的定义和保护。