通信协议一致性测试序列自动生成算法研究

在通信协议的一致性测试领域中,自动生成满足测试需要的一致性测试序列一直是该领域研究的一个重要问题。在对两种基于UIO序列的通信协议的一致性测试序列的自动生成算法进行了研究和比较后,分析了这两种算法各自的测试序列的生成过程及优缺点。实验结果表明,将这两种测试序列的生成算法相结合,能够对通信协议的控制流部分进行充分的测试,使生成的测试序列具有比较高的错误覆盖率,从而提高了一致性测试的效率。

数据流控制流相叠加的可执行测试序列生成研究

提出了一种可执行的测试序列的自动生成策略。先从UML模型中提取出协议模型的EFSM信息,然后利用变迁可执行性分析自动生成可执行的测试序列。该生成策略同时结合了数据流测试和控制流测试的优点,既具有比较高的错误覆盖率,又对通信协议中的数据部分进行了充分的测试,从而提高了一致性测试的效率。

基于MPLS-DiffServ的LSP动态抢占算法研究

在支持具有不同优先级和不同QoS需求的多业务网络中,抢占是带宽分配和管理的有效策略,但同时也对网络造成了振荡。基于普通的LSP路由方案,提出了一个动态的LSP抢占算法——Min_Prec算法:总是首先抢占最低优先级的LSP;在同一个优先级别内最优化被抢占的带宽和LSP数目。最后,通过引入一个抢占策略对于路由过程的反馈机制,减少抢占引起的重路由,增强网络稳定性。仿真结果验证了算法的有效性、优越性。

AS400小型机双同轴电缆通信协议的研究

ＡＳ４００小型机双同轴电缆通信协议是研制ＡＳ４００计算机外部设备的技术关键．本文介绍了ＩＢＭ５２５０信息显示系统的典型结构，硬件接口，通信协议和通信数据流的实例．

基于SNA体系结构的群集型通信控制器

介绍了自主研制的基于SNA体系结构的群集型通信控制器 ,重点介绍SNA链路控制层、路径控制层、传输控制层协议的实现。

EFSM可执行状态验证序列的生成

在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中,为了解决状态验证序列的可执行性问题,提出了一种新的可执行状态验证序列(ESIS)生成算法.新算法基于宽度优先搜索可执行分析树(EAT)的思想,从状态验证需求的角度,在EFSM的状态格局投影子空间中,采用分步计算的方式生成具体验证场景下的最短可执行状态验证序列,从而减少了在完全状态格局空间中单步计算所有状态验证序列的复杂性.实验结果表明了新算法对生成EFSM可执行状态验证序列是有效的.

MPLS的基于最小干涉的负载均衡算法研究

当MPLS网络中的业务流请求存在时间上的先后顺序时,选择一个高效的路由算法使得已存在的业务流的LSP对后续业务流的LSP路由影响最小变得很重要。在分析了常用的几种QoS保障的算法基础上,提出了一种基于最小干涉的负载均衡算法。该算法解决了MPLS网络中所有“入口/出口对”之间的业务流相互干扰的问题,为后续业务流路由预留了必要的“关键链路”。

基于COM原理的UML模型信息提取技术

提出了一种提取UML模型信息的方法。UML是一种优秀的建模语言,使用UML可以为软件模型的建立带来很多方便。同时,为了验证模型的一致性,有必要将模型信息提取出来,通过一些成熟的算法进行测试。因此,研究如何从UML图中提取相应的模型信息有其现实意义。利用Rose提供的基于COM技术的REI,实现了从UML文档中自动提取用于软件测试的模型信息。

面向CIMS的数据库体系化环境和OLAP

说明了基于CIMS环境数据仓库建立的重要性和必要性,阐明了基于数据仓库的联机分析处理是实现智能决策支持系统的基础。提出了构建企业数据库体系环境的设计、实施和维护方案,并给出一个应用实例。最后,对CIMS环境下数据仓库的发展方向进行了讨论。

IBM DFT通信协议及其实现

IBM A类设备分布式功能终端(Distributed Functkon Terminal)通信协议(以下简称:IBM DFT通信协议)主要应用在IBM S370/390大中型计算机上,它是IBM公司专用的内部通信协议,IBM公司不对外提供协议文本。任何通过IBM A类设备方式和S370/390大中型计算机相连接的外部设备(如:终端、打印机、工作站等)必须符合IBM DFT通信协议,因此它是研制IBM大中型计算机外部设备的技术关键。经过努力,我们解决了这个技术关键,并且研制成功和IBM3472/S中文工作站功能兼容的E3472中西文工作站。

Ad Hoc网络QoS路由协议研究

AdHoc网络自身固有的特点使得AdHoc网络QoS路由协议面临许多新的挑战和机遇。通过对基于标签探测(ticket-based probing,TBP)协议和在TBP协议基础上提出的延时约束最小费用的Ad Hoc网络中的完全分布式QoS路由协议——基于熵的长寿的分布式QoS路由(entropy-based long-life distributed QoS routing,EBLLD)协议进行的详细地分析和比较,可以得出以下结论:EBLLD协议有较高的路由成功率,具有可扩展性,可应用于较大规模的Ad Hoc网络。

一种新的面向协议测试的包捕获结构

WinPcap是一个基于Win32平台的优秀的高性能包捕获结构 ,许多嗅探器软件都使用它作为一个底层的包捕获程序 .WinPcap在数据帧捕获方面表现了极佳的性能 ,但统计功能比较简单 ,数据帧的发送也达不到较高的速率 .针对这些问题 ,提出了一种在WinPcap基础上改进的包捕获结构PtPcap ,该结构主要实现了强大的实时统计分析和高速的数据帧成组发送 .PtPcap应用于国产局域网协议测试软件LPT 2 0 0 0之中 。

基于UML状态图的模型信息自动提取技术研究

UML是OMG用于软件系统的可视化、详述、构造和文档化的统一建模语言,状态图是UML模型的重要组成部分,用于描述系统的动态行为。在研究Rational Rose及其状态图文档的基础上,提出了通过UML状态图自动提取模型信息的两种方法—基于LALR(1)文法和基于Rose的扩展接口的提取方法,并对两种方法进行了比较分析。自动提取模型信息技术提高了协议测试序列的自动生成效率。

基于BISON的UML语法分析器设计

目前基于UML类图和状态图做面向对象软件测试方面已有不少研究,因此研究如何实现一个UML语法分析器有其现实意义。利用BISON设计了一个UML语法分析器,通过对UML文档的词法语法分析,实现了从UML文档中自动提取用于软件测试的信息,提高了软件测试效率。在VC6.0环境下对该分析器仿真,实验结果表明,软件能正确提取测试需要的信息。

基于MSC的TTCN-3测试例生成研究

提出了从消息序列图(MSC)生成TTCN-3测试例的方法。测试者可以先针对被测系统(SUT)中感兴趣的部分利用MSC描述出具体的测试场景,再从MSC映射成TTCN-3测试例。将MSC映射成TTCN-3的方法主要包括对MSC文档、基本MSC和高级MSC这3部分的映射。

MSC代数语义研究

文章介绍了MSC(MessageSequenceCharts)的形式化语义及其进程理论。在原有消息机制的基础上对状态操作符进行扩展,增加了全局顺序对事件发生轨迹的约束。结合MSC2000中新增的时间概念,提出了时间事件与时限归并,用于分析包含时间概念的MSC系统进程轨迹。

将UML模型转换成SDL模型的方法

提出了一种将UML模型转换成SDL模型的方法。UML是一种优秀的建模语言,使用UML可以为协议建立模型带来很多方便。但是,UML缺乏形式化语义,因此不能满足协议精确性的要求。SDL是一种用于通信软件规格的标准语言,它拥有形式化语义,而且有很多商业软件都支持它。在协议设计和开发中,将UML模型转换成SDL模型可以克服这样的缺点。通过为UML制作适当的profile,并制定严格的转换规则可以实现模型的转换。

网络协议测试仪的研制

本文介绍自行研制的WPT-2000广域网协议测试仪的设计,从体系结构、硬件组成、软件设计等几方面详细地阐述了设计思想和实现方法.所研制协议测试仪性能指标已达到了国际同类产品的先进水平.

SDL语言动态语义模型的研究

介绍了SDL系统规范,基于通信扩展有限状态机CEFSM的SDL进程。系统最重要的属性是行为,动态语义模型用元进程描述系统可观察的行为。研究了ITUZ.100建议附件F中元进程的划分,提出一种新的元进程定义,并举例描述了SDL系统的动态语义模型。

局域网协议测试仪的设计与实现

为了有效地管理网络,通常需要使用协议测试仪这样的工具。文章介绍了网络协议测试软件LPT-2000的体系结构和实现细节。通过对比测试表明,LPT-2000具有较高的包捕获能力和产生负载能力。